Programming languages and operational semantics. A concise overview

DOI10.1007/978-1-4471-6368-8zbMATH Open1296.68001OpenAlexW637102270MaRDI QIDQ405750FDOQ405750

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

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

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)

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.
• Title not available (Why is that?)
• Elements for a formal model of intentional systems

Uses Software

• Prolog
• Python

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)