Programming languages and operational semantics. A concise overview

DOI10.1007/978-1-4471-6368-8MaRDI QIDQ405750zbMATH OpenOpenAlexFDO

Authors Maribel Fernández

Publication date 5 September 2014

Published in Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4471-6368-8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Programming languages and operational semantics. An introduction.
• scientific article; zbMATH DE number 49477
• Introduction to the theory of programming languages.
• Transitions and trees. An introduction to structural operational semantics.
• scientific article; zbMATH DE number 675293

Cited in

(9)

• Programming languages and operational semantics. An introduction.
• Programming languages and their definition. Selected papers ed. by C. B. Jones
• Programming language semantics: It’s easy as 1,2,3
• Essentials of programming languages.
• Understanding Programming Language Concepts Via Operational Semantics
• Transforming concurrent programs with semaphores into logically constrained term rewrite systems
• Transitions and trees. An introduction to structural operational semantics.
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• Elements for a formal model of intentional systems

Describes a project that uses

Uses Software

• Python
• Prolog

This page was built for publication: Programming languages and operational semantics. A concise overview

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