Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Name: Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Price: 13.22 USD
Availability: InStock
ISBN: 9783540634065

ISBN-10: 3540634061

ISBN-13: 9783540634065

Edition: 1997

Authors: Markus Myller-Olm, G. Goos, J. Hartmanis, Jan Van Leeuwen

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $13.22

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This is the first comprehensive book on hypermedia and the World Wide Web that includes features of the second generation systems. Definitions, history, current technology and problems, leading-edge initiatives, future applications, all these are seen as an unfolding of a millenial communication medium that is not only serving but also involving even the non-technical person in a very technical world. Much of the promise of hypermedia lies in its applications to education, and this receives prominence in the book. The new hypermedia system HyperWave is described in detail. The book's vision, organization, and easy-to-read style make it suitable as a source of information for the…

Book details

List price: $54.99
Copyright year: 1997
Publisher: Springer Berlin / Heidelberg
Publication date: 8/6/1997
Binding: Paperback
Pages: 260
Size: 6.10" wide x 9.25" long x 1.00" tall
Weight: 1.936
Language: English




Introduction



Complete Boolean Lattices



Galois Connections



States, Valuation Functions and Predicates



The Algebra of Commands



Communication and Time



Data Refinement



Transputer Base Model



A Small Hard Real-Time Programming Language



A Hierarchy of Views



Compiling-Correctness Relations



Translation Theorems



A Functional Implementation



Conclusion


References


Index