We present a framework for code generation that allows programs to manipulate and
generate code at the source level while the joining and splicing of executable code is …

Abstract The paper presents:(1) a graph-based theoretical background to refactoring a
correct heterogeneous meta-program into its k-stage representation;(2) the refactoring …

Abstract Execution environments like Java Virtual Machine and Microsoft CLR rely on
executables containing information about types and their structure. Method bodies are …

In this paper we discuss how extensible meta-data featured by virtual machines, such as
JVM and CLR, can be used to specify the parallelization aspect of annotated programs. Our …

Execution environments such as CLR and JVM provide many features needed by multi-
stage programming languages, though there is no explicit support for them. Besides, staged …

I sistemi di calcolo si sono significativamente evoluti dal primo computer della storia umana,
e sono diventati pervasivi in ogni aspetto della vita umana. Come ogni altra scienza e …

Virtual machines emerged during the 90s as the platform for developing frameworks and
applications, offering large base class libraries, dynamic loading, and reflection. The design …

This note describes and motivates our current plans for an undergraduate course on
programming language concepts for software development students. We describe the …

Software development and deployment is based on a well established two stage model:
program development and program execution. Since the beginning of software …

Virtual execution environments (VEE) such as the Java Virtual Machine (JVM) and the
Microsoft Common Language Runtime (CLR) have been designed when the dominant …