Suchergebnisse - "Java Language Specification"
-
1
Recovering grammar relationships for the Java Language Specification
ISSN: 0963-9314, 1573-1367Veröffentlicht: Boston Springer US 01.06.2011Veröffentlicht in Software quality journal (01.06.2011)“… Grammar convergence is a method that helps in discovering relationships between different grammars of the same language or different language versions. The key …”
Volltext
Journal Article -
2
Recovering Grammar Relationships for the Java Language Specification
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 25.08.2010Veröffentlicht in arXiv.org (25.08.2010)“… Grammar convergence is a method that helps discovering relationships between different grammars of the same language or different language versions. The key …”
Volltext
Paper -
3
Recovering Grammar Relationships for the Java Language Specification
ISBN: 0769537936, 9780769537931Veröffentlicht: IEEE 01.09.2009Veröffentlicht in SCAM 2009 : proceedings: ninth IEEE International Working Conference on Source Code Analysis and Manipulation : 20-21 September 2009, Edmonton, Alberta, Canada (01.09.2009)“… We describe a completed effort to recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS …”
Volltext
Tagungsbericht -
4
JGroovy: An alternative approach to implement extensible Java compiler
ISSN: 1931-4973, 1931-4981Veröffentlicht: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.07.2013Veröffentlicht in IEEJ Transactions on Electrical and Electronic Engineering (01.07.2013)“… The main reason for the invention of computer programming languages is for these languages to express a command‐to‐control machine behavior. Some of these …”
Volltext
Journal Article -
5
Programming Language Pioneer Gilad Bracha Joins Shape Security: Co-author of Java Language Specification and creator of Newspeak programming language joins company in its mission to protect millions from fraudulent Internet interactions
Veröffentlicht: New York PR Newswire Association LLC 14.08.2019Veröffentlicht in PR Newswire (14.08.2019)Volltext
Newsletter -
6
The Java Language Specification
ISSN: 0003-0996Veröffentlicht: Sigma Xi, The Scientific Research Society 01.07.1997Veröffentlicht in American scientist (01.07.1997)Volltext
Book Review -
7
The Java language specification, 2d ed
ISSN: 0196-6006Veröffentlicht: Portland Copyright Clearance Center 01.12.2000Veröffentlicht in Scitech book news (01.12.2000)Volltext
Book Review -
8
The Java language specification; Java SE 7 edition
ISSN: 0887-3763Veröffentlicht: Portland Copyright Clearance Center, Inc 01.08.2013Veröffentlicht in Reference and research book news (01.08.2013)Volltext
Book Review -
9
The Java Programming Language / The Java Tutorial / The Java Language Specification / The Java Virtual Machine Specification / and others
ISSN: 0003-0996, 1545-2786Veröffentlicht: Research Triangle Park Sigma XI-The Scientific Research Society 01.07.1997Veröffentlicht in American scientist (01.07.1997)“… Hayes reviews "The Java Programming Language" by Ken Arnold and James Gosling, "The Java Tutorial" by Mary Campione and Kathy Walrath, "The Java Language Specification" by James Gosling, Bill Joy …”
Volltext
Book Review Journal Article -
10
Assessing the Correctness of JVM Implementations
ISSN: 1524-4547Veröffentlicht: IEEE 01.06.2014Veröffentlicht in Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.06.2014)“… The aim of the study is to assess their level of conformity to the structural constraints of the Java language specification …”
Volltext
Tagungsbericht -
11
On an algorithm determining direct superclasses in Java and similar languages with inner classes—Its correctness, completeness and uniqueness of solutions
ISSN: 0890-5401, 1090-2651Veröffentlicht: Amsterdam Elsevier Inc 01.03.2009Veröffentlicht in Information and computation (01.03.2009)“… Some object oriented programming languages allow inner classes. All of them admit inheritance. This combination of inner classes and inheritance is very …”
Volltext
Journal Article -
12
Overview of the IBM Java Just-in-Time Compiler
ISSN: 0018-8670Veröffentlicht: Armonk International Business Machines Corporation 2000Veröffentlicht in IBM systems journal (2000)“… because of both the just-in-time nature of the compiler and the requirements of he Java language specification …”
Volltext
Journal Article -
13
Traps in Java
ISSN: 0164-1212, 1873-1228Veröffentlicht: New York Elsevier Inc 01.06.2004Veröffentlicht in The Journal of systems and software (01.06.2004)“… The ambiguities are those issues that are not defined clearly in the Java language specification …”
Volltext
Journal Article -
14
Specifying multithreaded Java semantics for program verification
ISBN: 158113472X, 9781581134728ISSN: 0270-5257Veröffentlicht: New York, NY, USA ACM 01.01.2002Veröffentlicht in Proceedings - International Conference on Software Engineering (01.01.2002)“… However, the Java language specification (which any implementations of Java multithreading must follow …”
Volltext
Tagungsbericht Journal Article -
15
Elimination of Java array bounds checks in the presence of indirection
ISSN: 1532-0626, 1532-0634Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 01.04.2005Veröffentlicht in Concurrency and computation (01.04.2005)“… The Java language specification states that every access to an array needs to be within the bounds of that array, i.e …”
Volltext
Journal Article -
16
The Java memory model is fatally flawed
ISSN: 1040-3108, 1096-9128Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 01.05.2000Veröffentlicht in Concurrency (Chichester, England.) (01.05.2000)“… The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory …”
Volltext
Journal Article -
17
Functional Programming Framework for Generating Random Java Programs with Prolog-Based Grammar Validation
ISBN: 9798641898537Veröffentlicht: ProQuest Dissertations & Theses 01.01.2019“… Compilers and pRogram Analysis and Testing tool (RAT) are software programs whose correctness affects in a significant way the quality and the performance of …”
Volltext
Dissertation -
18
Traps in Java
ISSN: 0164-1212Veröffentlicht: 01.06.2004Veröffentlicht in The Journal of systems and software (01.06.2004)“… The ambiguities are those issues that are not defined clearly in the Java language specification …”
Volltext
Journal Article -
19
Characterizations for Java memory behavior
ISBN: 0818684046, 9780818684043ISSN: 1063-7133Veröffentlicht: IEEE 1998Veröffentlicht in Proceedings - International Parallel Processing Symposium (1998)“… ). The work is based on the operational definition of the Java memory consistency as given in the Java Language Specification …”
Volltext
Tagungsbericht Journal Article -
20
Specifying multithreaded Java semantics for program verification
ISBN: 158113472X, 9781581134728Veröffentlicht: IEEE 2002Veröffentlicht in Software Engineering, 24th International Conference on ICSE 2002: IEEE Computer Society (2002)“… However, the Java language specification supports a weaker model of execution, called the Java Memory Model (JMM …”
Volltext
Tagungsbericht

