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

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

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• On transformations of concurrent object programs
• Erratic Fudgets: A semantic theory for an embedded coordination language
• Abstract Semantic Diffing of Evolving Concurrent Programs
• Direct semantics of concurrent languages in the SMoLCS approach

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)