Meta-interpreting SETL

Authors

  • D. Aliffi
  • D. Montanari
  • E. G. Omodeo
  • M. Pellegrini

Abstract

This 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.

Downloads

Published

1990-06-01

Issue

Vol. 43 No. 1,2 (1988)

Section

Articoli

License

The authors retain all rights to the original work without any restrictions.

License for Published Contents

Licenza Creative Commons

"Le Matematiche" published articlesa are distribuited with Creative Commons Attribution 4.0 International. You are free to copy, distribute and transmit the work, and to adapt the work. You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).

Licence scheme | Legal code

License for Metadata

"Le Matematiche" published articles metadata are dedicated to the public domain by waiving all publisher's rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law.
You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.

Licence scheme | Legal code

No Fee Charging

No fee is required to complete the submission/review/publishing process of authors paper.