A formal semantics for debugging synchronous message passing-based concurrent programs

DOI10.1007/S11432-014-5150-4MaRDI QIDQ2348946zbMATH OpenOpenAlexFDO

Authors He Li, Jie Luo, Wei Li

Publication date 16 June 2015

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL http://engine.scichina.com/doi/10.1007/s11432-014-5150-4

zbMATH Keywords

concurrent programdebuggingmessage passingoperational semanticssynchronous

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A formal semantics for program debugging
• Development of a debugger for a concurrent language
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Locally abstract, globally concrete semantics of concurrent programming languages
• Model checking concurrent programs

Cites work

• A calculus of communicating systems
• A formal semantics for program debugging
• Communicating sequential processes
• Mathematical logic. Foundations for information science
• Program Slicing
• Proof systems for message-passing process algebras

Cited in

(5)

• Development of a debugger for a concurrent language
• A formal semantics for program debugging
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Debugging process algebra specifications
• Prefix-based tracing in message-passing concurrency

This page was built for publication: A formal semantics for debugging synchronous message passing-based concurrent programs

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