Matthew Flatt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged abstract machine

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009.

An Abstract Machine for the Stochastic Bioambient calculusAndrew Phillips. ENTCS, 227:143-159, 2009. [doi]

The York Abstract MachineGreg Manning, Detlef Plump. ENTCS, 211:231-240, 2008. [doi]

Minimal BSDT Abstract Selectional Machines and Their Selectional and Computational PerformancePetro M. Gopych. ideal 2007: 198-208 [doi]

Strongly reducing variants of the Krivine abstract machinePierre Crégut. lisp, 20(3):209-230, 2007. [doi]

The Euclid Abstract Machine: Trisection of the Angle and the Halting ProblemJerzy Mycka, Francisco Coelho, José Félix Costa. uc 2006: 195-206 [doi]

A functional correspondence between monadic evaluators and abstract machines for languages with computational effectsMads Sig Ager, Olivier Danvy, Jan Midtgaard. TCS, 342(1):149-172, 2005. [doi]

An Abstract Machine for the Kell CalculusPhilippe Bidinger, Alan Schmitt, Jean-Bernard Stefani. fmoods 2005: 31-46 [doi]

The Cryptographic Abstract MachineDean Rosenzweig, Davor Runje. asmta 2004: 202-217 [doi]

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]

An abstract machine for efficiently computing queries to well-founded modelsKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. jlp, 45(1-3):1-41, 2000.

An abstract machine model of dynamic module replacementChris Walton, Dilsun Kirli Kaynar, Stephen Gilmore. fgcs, 16(7):793-808, 2000. [doi]

Sequential and Concurrent Abstract Machines for Interaction NetsJorge Sousa Pinto. fossacs 2000: 267-282 [doi]

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine CodeAtsushi Ohori. FLOPS 1999: 300-318

DREAM: The DistRibuted Eden Abstract MachineSilvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena. IFL 1998: 250-269 [doi]

EPIC: An Equational Language -Abstract Machine Supporting Tools-H. R. Walters, J. F. Th. Kamperman. RTA 1996: 424-427

Machine Support for Software Development (Abstract)Douglas R. Smith. ICSE 1996: 167-168 [doi]

Towards an abstract parallel branch and bound machineArie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens. scoop 1996: 145-170

An Abstract Machine for Fixed-Order Dynamically Stratified ProgramsKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. cade 1996: 328-342

The Hedge: An Efficient Storage Device for Turing Machines with One Head (Extended Abstract)Martin Hühne. mfcs 1995: 247-256

An Abstract Machine for OzMichael Mehl, Ralf Scheidhauer, Christian Schulte. plilp 1995: 151-168

StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUstppp 1995: 121-136

Categorical Abstract Machines for Higher-Order Typed lambda-CalculiEike Ritter. TCS, 136(1):125-162, 1994.

An Abstract Machine for SLG Resolution: Definite ProgramsTerrance Swift, David Scott Warren. SLP 1994: 633-652

Talking to machines (abstract)Chris K. Cowley, Dylan M. Jones. chi 1993: 522 [doi]

The Parallel Abstract Machine: A Common Execution Model for FDTsGuillaume Doumenc, Jean-François Monin. FM 1993: 285-293

Concurrent Abstract Machines (Abstract)Gérard Berry. tapsoft 1991: 49

Warren s Abstract Machine: A Tutorial ReconstructionHassan Aït-Kaci. MIT Press, 1991.

Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract MachineChristian Schulte. Master's thesis, Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, 1991.

Warren s Abstract MachineHassan Aït-Kaci. ICLP 1991: 939

ADAM - An Abstract Dataflow Machine and Its Transputer ImplementationWolfgang Schreiner. edmcc 1991: 392-401

The Pandora Abstract Machine: An Extension of JAMReem Bahgat. ICLP 1991: 83-103

Making Abstract Machines Less AbstractJohn Hannan. fpca 1991: 618-635

FCP Sequential Abstract Machine Characteristics for the Systems Development WorkloadLeon Alkalaj, Tomás Lang, Ehud Y. Shapiro. SLP 1990: 321-339

The ADAM Abstract Dataflow MachineWolfgang Schreiner. Dagstuhl 1992: 270-289

The Chemical Abstract MachineGérard Berry, Gérard Boudol. POPL 1990: 81-94

An Abstract Machine for Lambda-Terms NormalizationPierre Crégut. lfp 1990: 333-340 [doi]

Abstract Machine for LDLDanette Chimenti, Ruben Gamboa, Ravi Krishnamurthy. edbt 1990: 153-168 [doi]

An Abstract Machine SimulatorMoon-Chuen Lee. iccal 1990: 129-141

Abstract computing machinesGiacomo R. Sechi. micro 1989: 97-111 [doi]

The Categorical Abstract MachineGuy Cousineau, Pierre-Louis Curien, Michel Mauny. SCP, 8(2):173-202, 1987.

An Abstract KL1 Machine and Its Instruction SetYasunori Kimura, Takashi Chikayama. SLP 1987: 468-477

Implementing Functional Languages in the Categorical Abstract MachineMichel Mauny, Ascánder Suárez. lfp 1986: 266-278

A simple abstract machine to execute supercombinatorsJon Fairbairn. gr 1987: 49-52

Fast Elementary Function Algorithms for 370 Machines (Abstract)Fred G. Gustavson. ACCURATE 1986: 17

The Categorical Abstract MachineGuy Cousineau, Pierre-Louis Curien, Michel Mauny. fpca 1985: 50-64

Combining Speed with Alpha-Particle Induced Memory Error Tolerance in a Large Boolean Vector Machine (Extended Abstract)Richard M. King, Robert A. Wagner. isca 1984: 251-253

Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract)Walter J. Savitch. stoc 1969: 247-248

Simulation of one abstract computing machine by anotherGabor T. Herman. CACM, 11(12):802, 1968. [doi]

Bounded Action Machines: Toward an Abstract Theory of Computer StructureEric G. Wagner. jcss, 2(1):13-75, 1968.

runs on WebDSL