scientific article; zbMATH DE number 2084339

MaRDI QIDQ3043821zbMATHFDO

Authors Peter D. Mosses

Publication date 6 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440165.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Programming language description languages. From Christopher Strachey to semantics online
• scientific article; zbMATH DE number 4090774
• scientific article; zbMATH DE number 4037255
• Toward complete programming language descriptions that are both formal and understandable
• scientific article; zbMATH DE number 3854387

Cited in

(5)

• Programming language description languages. From Christopher Strachey to semantics online
• Programming language semantics: It’s easy as 1,2,3
• scientific article; zbMATH DE number 3862407 (Why is no real title available?)
• Mobile Processes and Termination
• Description semantics in utopist language and automatic program synthesis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043821)