Debuging Natural Semantics Specifications
2005 (English)In: Proceedings of the sixth international symposium on Automated analysis-driven debugging. AADEBUG'05, New York, NY, USA: ACM , 2005, 77-82 p.Conference paper (Refereed)
In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The RML system previously had no debugging facilities, which made it hard for programmers to debug their specifications. With this work we address these issues by providing a debugging framework for debugging high level Natural Semantics specifications in RML.
Place, publisher, year, edition, pages
New York, NY, USA: ACM , 2005. 77-82 p.
debugging, logical functional languages, proof-trees, rule-based
IdentifiersURN: urn:nbn:se:liu:diva-30334DOI: 10.1145/1085130.1085140Local ID: 15871ISBN: 1-59593-050-7OAI: oai:DiVA.org:liu-30334DiVA: diva2:251156
AADEBUG2005, Sixth International Symposium On Automated And Analysis-Driven Debugging, Monterey, California, September 19-21, 2005