Concrete VM

This is the topic for machines with concrete implementation and precise byte-level encoding, that you can readily use to transmit code.

.NET VM - A concrete VM inspired by a Microsoft proprietary VM (.Net) with an open published standard (ECMA 335, see below); it provides a means for loosely combining languages through a "Common Language Infrastructure" (CLI) in which applications written in multiple high-level languages may be executed in different system environments without porting
ANDF - Architecture Neutral Distribution Format, a technology for portable binary code distribution is a concrete VM developed by the OSF
bytecode - A machine-independent way of representing a compiled application
C-- - A portable assembly programming language, hence also a concrete VM; it is significant in being a variant of the C language that is much easier to generate code for, but it is not a sub or superset of C, however
Categorical Abstract Machine - Categorical Abstract Machine is a Concrete VM, based on the idea of categorical combinators; see Category Theory 101
Guile VM - The GNU project's Guile has some very interesting approaches for a concrete VM
HOPE - HOPE at the Oregon Institute of Science and Technology, a set of primitives on top of an concrete VM, for optimistic programming, i
Juice - A portable code infrastructure (which counts as its own concrete VM type) which could be said to store a dataflow tree as might be created by a powerful compiler
JVM - The infamous Java Virtual Machine (JVM) is a concrete VM introduced by Sun as a standard compact (so they say) low-level representation for programs written in Java
LLVM - A concrete VM that is also a compilation strategy, a virtual instruction set, and a compiler infrastructure
Lunacy - A concrete VM/compiler for the 'diamond-like' core of the Scheme programming language:
nitrOVM - A concrete VM implementation that uses reflection in order to build an extensible and adaptable computational system
Open Firmware - Open Firmware (OF) is a Forth-based concrete VM centered around building and maintaining a portable boot interface across several architectures
Parrot - A concrete VM designed to provide a low-level common platform for Perl 6, Python, Ruby, TCL, and other mostly-interpreted languages
PVM - An acronym for Parallel Virtual Machine, a concrete VM
SECD - SECD is an extremely simple concrete VM for functional programming, including the use of Lisp
Squeak VM - Squeak includes a free concrete VM used to implement a Smalltalk-80 superset, including full source in Smalltalk and a reduced Smalltalk-to-C translator
TIGRE - An acronym for Threaded Interpretive Graph Reduction Engine, a concrete VM described in Philip J. Koopman, Jr. Ph
Tube - A project developing methods of migration through reflection using an extended Scheme as both an Abstract VM and a Concrete VM: Scheme code with mobility primitives is metaprogrammed into normal Scheme code plus threading and networking
UCSD P-Code - Was a concrete VM of historical note as an early OS for some microcomputers; it was based on Pascal's operational model, and implemented in UCSD Pascal - which was also the most used language on the platform
Unity Project - An concrete VM written in C/C++ designed to provide basic abstractions for scripting with a programming language, using network connectivity transparently, some persistence, and security through ACLs
Warren Abstract Machine - Prolog's WAM, a concrete VM to support efficient Prolog compilation

Pages in this topic: .NET VM ANDF bytecode C-- Categorical Abstract Machine Guile VM HOPE Juice JVM LLVM Lunacy nitrOVM Open Firmware Parrot PVM SECD Squeak VM TIGRE Tube UCSD P-Code Unity Project Warren Abstract Machine

Also linked from: Virtual Machines