𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal certification of a compiler back-end or

✍ Scribed by Leroy, Xavier

Book ID
121219745
Publisher
Association for Computing Machinery
Year
2006
Weight
183 KB
Volume
41
Category
Article
ISSN
0362-1340

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A formal introduction to the compilation
A formal introduction to the compilation of Java
✍ Stephan Diehl πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 223 KB

The term abstract machine is widely accepted to denote intermediate target languages and related architectures which serve as an intermediate stage in compiling programming languages. In this paper we explain how a considerable subset of Java is translated into Byte-Code for the Java Virtual Machine

The end of shared governance: Looking ah
The end of shared governance: Looking ahead or looking back
✍ Robert Birnbaum πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons βš– 83 KB

## Abstract Proposals to make governance β€œmore efficient” by reducing or limiting the faculty role in shared governance are likely to diminish institutional effectiveness.