VDM semantics of programming languages: combinators and monads

The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott–Strachey style by making extensive use of combinators which have a fixed operational interpretation. After recalling t...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal aspects of computing Ročník 23; číslo 2; s. 221 - 238
Hlavní autor:	Mosses, Peter D.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Springer-Verlag 01.03.2011 Springer Association for Computing Machinery Springer Verlag
Témata:	Applied sciences Computation Computer Science Computer science; control theory; systems Descriptions Exact sciences and technology Math Applications in Computer Science Miscellaneous Original Article Programming languages Semantics Specifications Theoretical computing Theory of Computation Monads Denotational semantics Programming language semantics VDM Combinators Specification language Computer theory Programming language
ISSN:	0934-5043, 1433-299X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!