In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on the compilability issue for both problems, deriving mainly non-compilability results in the case preferences are subject to change. Then, we present a general notion of -normal weighted base that is parametrized by a tra...

Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small lang...

This paper presents SCM2JS a compiler that translates a variant of the Scheme programming language into JavaScript. On the one hand, some Scheme features are missing, amongst which the most important are the lack of support for continuations, the absence of exact numbers, and a partial treatment of tail recursions. On the other hand, some extensions are added for improving the connection betwee...

Computer component fabrication is approaching physical limits of traditional photolithographic fabrication techniques. Alternative computer architectures are being enabled by the rapidly maturing field of nanotechnology, and range from nanoelectronics and bioelectronics to nanomechanical computational machines and other nanoscale components. In this study, the design of a nanocompiler, which ta...

The Modechart specification language is a formalism for the specification of real-time systems. A toolset for specification, analysis and simulation for Modechart specifications exists for supporting the design and construction of real-time systems [CHLR93]. This paper introduces a new tool in the the toolset: a compiler for a class of Modechart specifications, namely, that of deterministic sys...

The evaluation of constraints needs in many cases that a large portion of the database to be accessed. This makes the process of integrity checking very di cult to implement e ciently. Thus nding methods to improve the evaluation of integrity constraints is an important area of research in the eld of database integrity. Most of these methods are based on simpli cation principles. One of these m...

The Modechart speciication language is a formalism for the speciication of real-time systems. A toolset for speciication, analysis and simulation for Modechart speciications exists for supporting the design and construction of real-time systems CHLR93]. This paper introduces a new tool in the the toolset: a compiler for a class of Modechart speciications, namely, that of deterministic system sp...

Spreadsheets are ubiquitous end-user programming tools, but lack even the simplest abstraction mechanism: The ability to encapsulate a computation as a function. This paper presents a solution in the form of sheetdefined functions, which are built from well-known spreadsheet cells, formulas and references. They should be understandable to most spreadsheet users, yet offer far more programming p...

Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented technique for producing optimizing compilers for DSELs, based on Kamin’s idea of DSELs for program generation. The technique uses a data type of syntax for basic types, a set of smart constructors that perform rewriting over those typ...