Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk)

DOI10.1007/978-3-319-08918-8_2zbMATH Open1416.68030OpenAlexW103648928MaRDI QIDQ5170804

Manfred Schmidt-Schauß

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_2

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (3)

Direct semantics of concurrent languages in the SMoLCS approach ⋮ Abstract Semantic Diffing of Evolving Concurrent Programs ⋮ Erratic Fudgets: A semantic theory for an embedded coordination language

Uses Software

• AProVE
• HERMIT

This page was built for publication: Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk)

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