scientific article; zbMATH DE number 2084339

zbMATH Open1073.68554MaRDI QIDQ3043821FDOQ3043821

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• Mobile Processes and Termination
• Programming language semantics: It’s easy as 1,2,3
• Programming language description languages. From Christopher Strachey to semantics online
• 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)