Message analysis for concurrent languages

DOI10.1007/3-540-44898-5_5MaRDI QIDQ4813393zbMATH OpenFDO

Authors Richard Carlsson, Jesper Wilhelmsson, K. Sagonas

Publication date 13 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940073.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Efficient memory management for concurrent programs that use message passing
• Specialization of CML message-passing primitives
• Static and dynamic processor allocation for higher-order concurrent languages
• Static analysis for optimizing reference counting
• scientific article; zbMATH DE number 1254032

Cited in

(5)

• Static analysis for optimizing reference counting
• Efficient memory management for concurrent programs that use message passing
• Specialization of CML message-passing primitives
• scientific article; zbMATH DE number 1254032 (Why is no real title available?)
• The message paradigm in object-oriented analysis

Describes a project that uses

Uses Software

• Erlang
• HiPE

This page was built for publication: Message analysis for concurrent languages

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