Formal Syntax and Semantics of Java
Title | Formal Syntax and Semantics of Java PDF eBook |
Author | Jim Alves-Foss |
Publisher | Springer |
Pages | 410 |
Release | 2003-07-31 |
Genre | Computers |
ISBN | 3540487379 |
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.
Formal Syntax and Semantics of Java
Title | Formal Syntax and Semantics of Java PDF eBook |
Author | Edwin Collins |
Publisher | Createspace Independent Publishing Platform |
Pages | 404 |
Release | 2014-09-27 |
Genre | |
ISBN | 9781724885869 |
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.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.
Formal Syntax and Semantics of Java
Title | Formal Syntax and Semantics of Java PDF eBook |
Author | Malcolm Jeremiah |
Publisher | Createspace Independent Publishing Platform |
Pages | 404 |
Release | 2017-09-22 |
Genre | |
ISBN | 9781984359544 |
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 Formal Syntax and Semantics of Programming Languages
Title | The Formal Syntax and Semantics of Programming Languages PDF eBook |
Author | William S. Merrick |
Publisher | |
Pages | 150 |
Release | 1988 |
Genre | Programming languages (Electronic computers) |
ISBN |
Crafting Interpreters
Title | Crafting Interpreters PDF eBook |
Author | Robert Nystrom |
Publisher | Genever Benning |
Pages | 1021 |
Release | 2021-07-27 |
Genre | Computers |
ISBN | 0990582949 |
Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam. That fearsome reputation belies a field that is rich with useful techniques and not so difficult as some of its practitioners might have you believe. A better understanding of how programming languages are built will make you a stronger software engineer and teach you concepts and data structures you'll use the rest of your coding days. You might even have fun. This book teaches you everything you need to know to implement a full-featured, efficient scripting language. You'll learn both high-level concepts around parsing and semantics and gritty details like bytecode representation and garbage collection. Your brain will light up with new ideas, and your hands will get dirty and calloused. Starting from main(), you will build a language that features rich syntax, dynamic typing, garbage collection, lexical scope, first-class functions, closures, classes, and inheritance. All packed into a few thousand lines of clean, fast code that you thoroughly understand because you wrote each one yourself.
Formal Syntax and Semantics of Programming Languages
Title | Formal Syntax and Semantics of Programming Languages PDF eBook |
Author | Kenneth Slonneger |
Publisher | Addison-Wesley Longman |
Pages | 664 |
Release | 1995 |
Genre | Computers |
ISBN |
With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. A "laboratory component" is integrated throughout the text.
Foundations of Programming Languages
Title | Foundations of Programming Languages PDF eBook |
Author | Kent D. Lee |
Publisher | Springer |
Pages | 365 |
Release | 2015-01-19 |
Genre | Computers |
ISBN | 3319133144 |
This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the classroom, each programming paradigm is highlighted through the implementation of a non-trivial programming language, demonstrating when each language may be appropriate for a given problem. Features: includes review questions and solved practice exercises, with supplementary code and support files available from an associated website; provides the foundations for understanding how the syntax of a language is formally defined by a grammar; examines assembly language programming using CoCo; introduces C++, Standard ML, and Prolog; describes the development of a type inference system for the language Small.