Formal Specification of Programming Languages: A Panoramic Primer
- ISBN-10
- 0133290522
- ISBN-13
- 9780133290523
- Category
- History / Social History
- Pages
- 245
- Language
- English
- Published
- 1981
- Publisher
- Prentice-Hall
- Author
- Frank G. Pagan
Get the book
Similar books
-
Justice Under Pressure: A Comparison of Recidivism Patterns Among Four Successive Parolee Cohorts
By Sheldon Ekland-OlsonJustice Under Pressure: A Comparison of Recidivism Patterns Among Four Successive Parolee Cohorts
-
Larch: Languages and Tools for Formal Specification
By John V. Guttag, James J. HorningIt does not have to be that way. This book is about programming, and the role that formal specifications can play in making programming easier and programs better.
-
An Introduction to Formal Specification and Z
By David Till, Jane Sinclair, Ben PotterThe authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. The opening chapters have been rewritten to...
-
The B Language and Method: A Guide to Practical Formal Development
By Kevin LanoThis volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems.
-
Specification of Software Systems
By V.S. Alagar, K. PeriyasamyThis book provides an introduction to program specification, illustrating the advantages it confers upon the software development process.
-
Formal Specification and Software Development
By Cliff B. Jones, Dines BjørnerFormal specification meta-language. VDM and programming languages. VDM and other systems.
-
Formal Specification of Interactive Graphics Programming Languages
By William Roberts MallgrenDocuments a method for specifying all parts of interactive graphics programming languages. Contributions include a language framework that facilitates specification & a new specification technique that encompasses interactive control constructs.
-
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
By David LuckhamPrentice-Hall, Inc., 1977. R. T. Yeh, editor. Current Trends in Programming Methodology, Volume 4 – Data Structuring. Prentice-Hall, Inc., 1978. continued R.T. Gregory and E.V. Krishnamurthy Methods and Applications of 410 C.5. Testing.
-
Logics of Specification Languages
By Dines Bjørner, Martin C. HensonThis book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.
-
Programming Language Theory and Formal Methods
By Zoran GacovskiIn this book - we present topics from: formal grammars in programming, programming languages semantics, finite automata, and formal methods and semantics in distributed software.