abstract-machines

There are 7 repositories under abstract-machines topic.

dhil/phd-dissertation
A summary of my activities during the past four years
Language:TeX28 4 110
zejiran/languages-and-machines
Collection of projects made on a language and computation theory course at Universidad de los Andes
Language:HTML2 1 0
sacerdot/Crumbling-Abstract-Machines
This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
Language:Mathematica1 2 01
fixedpoint/tag
A Tag system processor
Language:C0 2 10
iafisher/cs399
My senior thesis in computer science
Language:TeX0 2 00
pradyumnameena/COL226-Programming-Languages
This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.
Language:OCaml0 1 00
sankethire/COL226-Programming-Languages
Assignments under the Programming Languages Course
Language:OCaml0 0