An implementation of the mechanical correspondence between algorithms for type checking
-
Updated
Oct 12, 2012 - Standard ML
An implementation of the mechanical correspondence between algorithms for type checking
An abstract machine implementation made for the "Programming Languages" course at the University of Parma in 2008.
Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
Abstract krivine machine implementing call-by-name semantics. In OCaml.
The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.
Implementation of abstract machines in Ocaml
program that accepts a tag system definition and emulates it's behavior
A compiler for a subset of Java ("miniJava") as well as an abstract machine and test suites.
A Study in Implementing Functional Programming Languages
Random Access Machine implemented in python.
While Abstract Machine implemented in python.
An implementation of the TAM (Triangle Abstract Machine) Stack Machine, in Java.
A stable version of nexus-am (created by jyy).
Code for the "Logic, machines and sequent calculus" talk
My implementation of a Norma Machine Simulator
Compiler that generates assembly code for the specified abstract machine for programs written in WinZig language
Add a description, image, and links to the abstract-machine topic page so that developers can more easily learn about it.
To associate your repository with the abstract-machine topic, visit your repo's landing page and select "manage topics."