This paper describes a completely automated method for generating efficient and competitive interpreters from formal semantics expressed in Rewriting Logic. The semantics are compiled into OCaml code, which then acts as the interpreter for the language being defined. This automatic translation is tested on the semantics of an imperative as well as a functional language, and these generated interpreters are then benchmarked across a number of programs. In all cases the compiled interpreter is faster than directly executing the definition in a Rewriting system with improvements of several orders of magnitude.unpublishednot peer reviewe
This paper shows the advantages of amalgamating functional and logic programming languages. In compa...
We show how one can use rewriting logic to faithfully capture (not implement) various operational se...
Abstract. Rewriting logic is an executable logical framework well suited for the semantic definition...
This paper describes a completely automated method for generating efficient and competitive interpre...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
The task of designing and implementing a compiler can be a di#cult and error-prone process. In this ...
Given a complete, formal description of the semantics of a programming language, it should be possib...
he task of designing and implementing a compiler can be a difficult and error-prone process. In this...
The task of designing and implementing a compiler can be a difficult and error-prone process. In thi...
We show how one can use rewriting logic to faithfully capture (not implement) various operational se...
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the i...
The paper reports on extensions to the MAX system enabling the generation and refinement of interpr...
International audienceSkeletal semantics is a framework to describe semantics of programming languag...
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational s...
This paper shows the advantages of amalgamating functional and logic programming languages. In compa...
We show how one can use rewriting logic to faithfully capture (not implement) various operational se...
Abstract. Rewriting logic is an executable logical framework well suited for the semantic definition...
This paper describes a completely automated method for generating efficient and competitive interpre...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
The task of designing and implementing a compiler can be a di#cult and error-prone process. In this ...
Given a complete, formal description of the semantics of a programming language, it should be possib...
he task of designing and implementing a compiler can be a difficult and error-prone process. In this...
The task of designing and implementing a compiler can be a difficult and error-prone process. In thi...
We show how one can use rewriting logic to faithfully capture (not implement) various operational se...
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the i...
The paper reports on extensions to the MAX system enabling the generation and refinement of interpr...
International audienceSkeletal semantics is a framework to describe semantics of programming languag...
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational s...
This paper shows the advantages of amalgamating functional and logic programming languages. In compa...
We show how one can use rewriting logic to faithfully capture (not implement) various operational se...
Abstract. Rewriting logic is an executable logical framework well suited for the semantic definition...