Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008155088/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog abstract "Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.".
- catalog contributor b11339710.
- catalog created "c1999.".
- catalog date "1999".
- catalog date "c1999.".
- catalog dateCopyrighted "c1999.".
- catalog description "Formal grammar for Java / J. Alves-Foss, D. Frincke -- Describing the semantics of Java and proving type soundness / S. Drossopoulou, S. Eisenbach -- Proving Java type soundness / D. Syme -- Machine-checking the Java specification: proving type-safety / D. von Oheimb, T. Nipkow -- An event-based structural operational semantics of multi-threaded Java / P. Cenciarelli [and others] -- Dynamic denotational semantics of Java / J. Alves-Foss, F.S. Lam -- A programmer's reduction semantics for classes and mixins / M. Flatt, S. Krishnamurthi, M. Felleisen -- A formal specification of Java virtual machine instructions for objects, methods and subroutines / Z. Qian -- The operational semantics of a Java secure processor / P.H. Hartel, M.J. Butler, M. Levy -- A programmer friendly modular definition of the semantics of Java / E. Börger, W. Schulte.".
- catalog description "Includes bibliographical references.".
- catalog description "Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.".
- catalog extent "viii, 404 p. :".
- catalog identifier "3540661581 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1523".
- catalog issued "1999".
- catalog issued "c1999.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.13/3 21".
- catalog subject "Computer science.".
- catalog subject "Java (Computer program language)".
- catalog subject "Logic design.".
- catalog subject "Programming languages (Electronic computers) Semantics.".
- catalog subject "QA76.73.J38 F67 1999".
- catalog subject "Software engineering.".
- catalog tableOfContents "Formal grammar for Java / J. Alves-Foss, D. Frincke -- Describing the semantics of Java and proving type soundness / S. Drossopoulou, S. Eisenbach -- Proving Java type soundness / D. Syme -- Machine-checking the Java specification: proving type-safety / D. von Oheimb, T. Nipkow -- An event-based structural operational semantics of multi-threaded Java / P. Cenciarelli [and others] -- Dynamic denotational semantics of Java / J. Alves-Foss, F.S. Lam -- A programmer's reduction semantics for classes and mixins / M. Flatt, S. Krishnamurthi, M. Felleisen -- A formal specification of Java virtual machine instructions for objects, methods and subroutines / Z. Qian -- The operational semantics of a Java secure processor / P.H. Hartel, M.J. Butler, M. Levy -- A programmer friendly modular definition of the semantics of Java / E. Börger, W. Schulte.".
- catalog title "Formal syntax and semantics of Java / Jim Alves-Foss (ed.).".
- catalog type "text".