Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)

DOI10.1007/978-3-319-08918-8_2MaRDI QIDQ5170804zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A confluent semantic basis for the analysis of concurrent constraint logic programs
• Efficient analysis of concurrent constraint logic programs
• scientific article; zbMATH DE number 3978364
• scientific article; zbMATH DE number 3890713
• Unifying Semantics for Concurrent Programming

Cited in

(5)

• scientific article; zbMATH DE number 4051577 (Why is no real title available?)
• Erratic Fudgets: A semantic theory for an embedded coordination language
• On transformations of concurrent object programs
• Abstract Semantic Diffing of Evolving Concurrent Programs
• Direct semantics of concurrent languages in the SMoLCS approach

Describes a project that uses

Uses Software

• HERMIT
• AProVE

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)