Programming languages: Design, analysis, and semantics

zbMATH Open0982.68032MaRDI QIDQ2763544

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

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

Related Items (4)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ An abstract, reusable, and extensible programming language design architecture ⋮ Programming languages and their definition. Selected papers ed. by C. B. Jones

Recommendations

• Programming languages: Principles and paradigms 👍 👎
• Theories of Programming Languages 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)