论文信息 - Debugging natural semantics specifications

Debugging natural semantics specifications

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.

Adrian Pop | Peter Fritzson

[1] Andrew Tolmach,et al. Debugging standard ML , 1992 .

[2] Andrew W. Appel,et al. A Debugger for Standard ML , 1995, Journal of Functional Programming.

[3] Robin Milner,et al. Definition of standard ML , 1990 .

[4] Deborah L. McGuinness,et al. Explaining reasoning in description logics , 1996 .

[5] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[6] Lee Naish,et al. Practical aspects of declarative debugging in Haskell 98 , 2003, PPDP '03.

[7] M. Otter,et al. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification , 2000 .

[8] Gilles Kahn,et al. Natural Semantics , 1987, STACS.

[9] Peter Fritzson,et al. The Open Source Modelica Project , 2002 .

[10] Mireille Ducassé,et al. Generating Deductive Database Explanations , 1999, ICLP.

[11] Hilding Elmqvist,et al. Modelica — A unified object-oriented language for physical systems modeling , 1997 .

[12] Peter Fritzson,et al. Using assertions in declarative and operational models for automated debugging , 1994, J. Syst. Softw..

[13] Henrik Nilsson,et al. Declarative debugging for lazy functional languages , 1998 .

[14] Deborah L. McGuinness,et al. Explaining Subsumption in Description Logics , 1995, IJCAI.

[15] Deborah L. McGuinness,et al. Infrastructure for Web Explanations , 2003, SEMWEB.