This volume introduces and explores those parts of programming language theory that have important applications in improving the quality of software. Provides an elementary introduction to Floyd-Hoare logic and Calculus, Combinators and Functional Programming.
"synopsis" may belong to another edition of this title.
Book Description Prentice Hall, 1988. Hardcover. Book Condition: New. Bookseller Inventory # DADAX013730417X