Juan Manuel Cueva Lovelle

Learn More
This paper describes LPS, a Language Prototyping System that facilitates the modular development of interpreters from semantic building blocks. The system is based on the integration of ideas from Modular Monadic Semantics and Generic Programming. To define a new programming language, the abstract syntax is described as the fixpoint of non-recursive pattern(More)
Using an object-oriented abstract machine brings a number of benefits for the construction of an object-oriented operating system. In this paper we describe the structure of an abstract machine designed for this task. This machine provides the basic object model and support for the rest of the system. Among other options, we propose a reflective(More)