A formal semantics for program debugging

DOI10.1007/S11432-011-4530-2zbMATH Open1245.68068OpenAlexW2106910606MaRDI QIDQ439714FDOQ439714

Ning Li, Wei Li

Publication date: 17 August 2012

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

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4530-2

Recommendations

• scientific article; zbMATH DE number 2086611
• scientific article; zbMATH DE number 1852164
• scientific article; zbMATH DE number 1332636
• A debugging system based on natural semantics
• A debugging scheme for functional logic programs
• A formal semantics for debugging synchronous message passing-based concurrent programs
• scientific article; zbMATH DE number 512882

zbMATH Keywords

debuggingoperational semanticsfailed test casefix-equations

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Program Slicing

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formal semantics for debugging synchronous message passing-based concurrent programs
• Fundamental Approaches to Software Engineering

This page was built for publication: A formal semantics for program debugging

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