Semantics: Foundations and Applications
Subtitle: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Lecture Notes in Computer Science)
Contributors: J.W.de Bakker (Editor); W.-P.de Roever (Editor); G. Rozenberg (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 4, 1993
Language: eng
Format: Paperback
Number of pages: 659
ISBN-13: 9783540565963
Subjects: Databases & data structures; Programming languages; Logic Design; Computers - Languages / Programming; Programming Languages - General; Programming - Software Development; Computers / Logic Design; Concurrency; Functional Programming; Funktionales Programmieren; Logic Programming; Logisches Programmieren; Nebenläufigkeit; Programmiersprachen; Semantics; Semantik
First sentence: Statements of a programming language can be given a semantics by associating every statement with a predicate transformer, i.e., a function mapping predicates to predicates.