Debugging natural semantics specifications

Authors:
Adrian Pop;Peter Fritzson
Affiliations:
Linköping University, Linköping;Linköping University, Linköping
Venue:
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Year:
2005

Citing 8
Cited 2

Natural Semantics

Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
Debugging standard ML

Debugging standard ML
Using assertions in declarative and operational models for automated debugging

Journal of Systems and Software
Generating deductive database explanations

Proceedings of the 1999 international conference on Logic programming
The Definition of Standard ML

The Definition of Standard ML
Practical aspects of declarative debugging in Haskell 98

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Explaining reasoning in description logics

Explaining reasoning in description logics
Explaining subsumption in description logics

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

Electronic Notes in Theoretical Computer Science (ENTCS)
MetaModelica: a unified equation-based semantical and mathematical modeling language

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.