researchr - search publication abstract machine

researchr

You are not signed in
Sign in
Sign up

844 publication results matching 'abstract machine'

Concurrent Abstract Machines (Abstract)Gérard Berry. tapsoft 1991: 49
Abstracting abstract machinesDavid Van Horn, Matthew Might. ICFP 2010: 51-62 [doi]
A Simple Applicative Language: Mini-ML
… This paper presents a formal description of the central part of the ML language in Natural Semantics. Static semantics, dynamic semantics, and translation to an abstract machine code are covered. The description has been tested …
Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn. lfp 1986: 13-27
The Chemical Abstract MachineGérard Berry, Gérard Boudol. POPL 1990: 81-94
The York Abstract MachineGreg Manning, Detlef Plump. ENTCS, 211:231-240, 2008. [doi]
Abstract Machine for LDLDanette Chimenti, Ruben Gamboa, Ravi Krishnamurthy. edbt 1990: 153-168 [doi]
An Abstract Machine for OzMichael Mehl, Ralf Scheidhauer, Christian Schulte. plilp 1995: 151-168
Warren s Abstract MachineHassan Aït-Kaci. ICLP 1991: 939
An Abstract Machine SimulatorMoon-Chuen Lee. iccal 1990: 129-141
The Categorical Abstract MachineGuy Cousineau, Pierre-Louis Curien, Michel Mauny. SCP, 8(2):173-202, 1987.
The Categorical Abstract MachineGuy Cousineau, Pierre-Louis Curien, Michel Mauny. fpca 1985: 50-64
The reflective nitrO abstract machineFrancisco Ortín Soler, Juan Manuel Cueva Lovelle, Ana Belén Martínez Prieto. SIGPLAN, 38(6):40-49, 2003. [doi]
The Cryptographic Abstract MachineDean Rosenzweig, Davor Runje. asmta 2004: 202-217 [doi]
Some Chemical Abstract MachinesGérard Boudol. rex 1994: 92-123
Distributed abstract machineSigram Schindler. comcom, 3(5):208-220, 1980. [doi]
The Chemical Abstract MachineGérard Berry, Gérard Boudol. TCS, 96(1):217-248, 1992.
Abstract Machines, Control, and SequentsPierre-Louis Curien. ac 2002: 123-136 [doi]
The Linear Abstract Machine (Corrigenda)Yves Lafont. TCS, 62(3):327-328, 1988.
The Linear Abstract MachineYves Lafont. TCS, 59:157-180, 1988.
Theory of abstract machinesSeymour Ginsburg. CACM, 4(4):195, 1961. [doi]

Sign in or sign up to see more results.

runs on WebDSL