Programming languages: Design, analysis, and semantics

MaRDI QIDQ2763544zbMATH OpenFDO

Authors Anders Bækgaard Sandholm

Publication date 16 January 2002

zbMATH Keywords

control synthesisdenotational semanticsstatic program analysisdomain-specific language designruntime system design

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4037154
• scientific article; zbMATH DE number 555217
• Programming languages: Principles and paradigms
• scientific article; zbMATH DE number 1178948
• scientific article; zbMATH DE number 822580
• Theories of Programming Languages
• scientific article; zbMATH DE number 400801
• Theory and realization of programming languages
• scientific article; zbMATH DE number 756366
• scientific article; zbMATH DE number 944398

Cited in

(5)

• Programming languages and their definition. Selected papers ed. by C. B. Jones
• An abstract, reusable, and extensible programming language design architecture
• scientific article; zbMATH DE number 1178948 (Why is no real title available?)
• scientific article; zbMATH DE number 2021769 (Why is no real title available?)
• scientific article; zbMATH DE number 815604 (Why is no real title available?)

This page was built for publication: Programming languages: Design, analysis, and semantics

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