Development of a debugger for a concurrent language

DOI10.1109/TSE.1986.6312902MaRDI QIDQ3713583zbMATH OpenFDO

Authors Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini

Publication date 1986

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1986.6312902

zbMATH Keywords

concurrent languageconcurrent programsCSPdebuggerprogram specificationsprogramming environment

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Debugging Tools for Concurrent Logic Programming
• scientific article; zbMATH DE number 2079626
• A formal semantics for debugging synchronous message passing-based concurrent programs
• scientific article; zbMATH DE number 2080065
• scientific article; zbMATH DE number 517022

Cited in

(9)

• Extension language automation of embedded system debugging
• Declarative debugging of concurrent Erlang programs
• A formal semantics for debugging synchronous message passing-based concurrent programs
• A Debugger-Cooperative Higher-Order Contract System in Python
• scientific article; zbMATH DE number 4005582 (Why is no real title available?)
• Debugging Tools for Concurrent Logic Programming
• scientific article; zbMATH DE number 2079626 (Why is no real title available?)
• scientific article; zbMATH DE number 1497845 (Why is no real title available?)
• Debugging process algebra specifications

This page was built for publication: Development of a debugger for a concurrent language

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