Add to ORKGThis paper describes a SETL interpreter written in SETL. This module may be reused as a basis to build debuggers, type checkers, symbolic executers, tracers, and many other general purpose programming tools. Other more advanced uses include experimenting with altered semantics for SETL and building interpreters for multi-paradigm languages, as in SetLog project, which aims at constructing a language integrating logic programming and set-oriented programming
AbstractThe problem of programming is discussed and a two-stage approach to programming is proposed....
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
This paper describes a SETL interpreter written in SETL. This module may be reused as a basis to bui...
This thesis deals with the relation between computer languages and computer architecture. In particu...
Various characteristics of a programming language, or of the hardware on which it is to be implemen...
Set constructs and notations provide in many areas an unprecedented expressive power. Sets are never...
A meta-level extension of a logic programming language is presented. The resulting language, called ...
Abstract. A meta-level extension of a logic programming language is presented. The resulting languag...
An approach for systematically modifying the semantics of programming languages by semantics modifie...
Meta-programming, the ability to manipulate programs as data, is fundamental to the suc-cess of decl...
Writing meta interpreters is a well-known technique to enhance the expressive power of logic program...
AbstractWe present a Language Prototyping System that facilitates the modular development of interpr...
We present a program interpretation technique relying on an higher order abstract syntax which allow...
Abstract. This paper reports on results concerning the combination of non-standard semantics via int...
AbstractThe problem of programming is discussed and a two-stage approach to programming is proposed....
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
This paper describes a SETL interpreter written in SETL. This module may be reused as a basis to bui...
This thesis deals with the relation between computer languages and computer architecture. In particu...
Various characteristics of a programming language, or of the hardware on which it is to be implemen...
Set constructs and notations provide in many areas an unprecedented expressive power. Sets are never...
A meta-level extension of a logic programming language is presented. The resulting language, called ...
Abstract. A meta-level extension of a logic programming language is presented. The resulting languag...
An approach for systematically modifying the semantics of programming languages by semantics modifie...
Meta-programming, the ability to manipulate programs as data, is fundamental to the suc-cess of decl...
Writing meta interpreters is a well-known technique to enhance the expressive power of logic program...
AbstractWe present a Language Prototyping System that facilitates the modular development of interpr...
We present a program interpretation technique relying on an higher order abstract syntax which allow...
Abstract. This paper reports on results concerning the combination of non-standard semantics via int...
AbstractThe problem of programming is discussed and a two-stage approach to programming is proposed....
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...