Olivier Danvy - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged abstract machine

Abstracting abstract machines: technical perspectiveOlivier Danvy, Jan Midtgaard. CACM, 54(9):100, 2011. [doi]

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract MachinesMalgorzata Biernacka, Olivier Danvy. BIRTHDAY 2009: 186-206 [doi]

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract MachinesOlivier Danvy. BIRTHDAY 2009: 162-185 [doi]

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

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusionOlivier Danvy, Kevin Millikin. ipl, 106(3):100-109, 2008. [doi]

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

A syntactic correspondence between context-sensitive calculi and abstract machinesMalgorzata Biernacka, Olivier Danvy. TCS, 375(1-3):76-108, 2007. [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]

A functional correspondence between call-by-need evaluators and lazy abstract machinesMads Sig Ager, Olivier Danvy, Jan Midtgaard. ipl, 90(5):223-232, 2004. [doi]

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

A functional correspondence between evaluators and abstract machinesMads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard. ppdp 2003: 8-19 [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.

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

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

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

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