scholarly journals From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

2012 ◽  
Vol 76 ◽  
pp. 163-177 ◽  
Author(s):  
Wouter Swierstra
Keyword(s):  
Abstract Machine ◽  
Formal Derivation ◽  
Krivine Machine

scholarly journals A Concrete Framework for Environment Machines

2006 ◽  
Vol 13 (3) ◽  
Author(s):  
Malgorzata Biernacka ◽  
Olivier Danvy
Keyword(s):  
Lambda Calculus ◽  
Intermediate Step ◽  
Abstract Machine ◽  
Abstract Machines ◽  
Reduction Strategies ◽  
Explicit Substitutions ◽  
One Step ◽  
The Common ◽  
Krivine Machine ◽  
Common Understanding

We materialize the common understanding that calculi with explicit substitutions provide an intermediate step between an abstract specification of substitution in the lambda-calculus and its concrete implementations. To this end, we go back to Curien's original calculus of closures (an early calculus with explicit substitutions), we extend it minimally so that it can also express one-step reduction strategies, and we methodically derive a series of environment machines from the specification of two one-step reduction strategies for the lambda-calculus: normal order and applicative order. The derivation extends Danvy and Nielsen's refocusing-based construction of abstract machines with two new steps: one for coalescing two successive transitions into one, and the other for unfolding a closure into a term and an environment in the resulting abstract machine. The resulting environment machines include both the Krivine machine and the original version of Krivine's machine, Felleisen et al.'s CEK machine, and Leroy's Zinc abstract machine.

scholarly journals Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation

2021 ◽  
Author(s):  
Federico A. Galatolo ◽  
Mario G. C. A. Cimino ◽  
Gigliola Vaglini
Keyword(s):  
Neural Networks ◽  
Formal Derivation

Deleuze as Subject – B2430.D454 – Mapping Deleuze Studies in the Library

2017 ◽  
Vol 11 (3) ◽  
pp. 429-456
Author(s):  
Melissa Adler
Keyword(s):  
Academic Libraries ◽  
The Body ◽  
Theory And Practice ◽  
Library Of Congress ◽  
Abstract Machine ◽  
Discipline Formation ◽  
The World ◽  
Circulation Of Knowledge

Guided by Deleuze's taxonomic theory and practice and his concepts concerning the body, literature, territory and assemblage, this article examines library classification as a technique of discipline and bibliographic control. Locating books written by and about Deleuze reveals processes of discipline formation and the circulation of knowledge, and it troubles the principles upon which the classification is based. A Deleuzian critique presents the Library of Congress Classification as an abstract machine that diagrams knowledge in many academic libraries around the world.

scholarly journals Fine-grain parallelism with minimal hardware support: a compiler-controlled threaded abstract machine

1991 ◽  
Vol 25 (Special Issue) ◽  
pp. 164-175
Author(s):  
David E. Culler ◽  
Anurag Sah ◽  
Klaus E. Schauser ◽  
Thorsten von Eicken ◽  
John Wawrzynek
Keyword(s):  
Hardware Support ◽  
Abstract Machine ◽  
Fine Grain ◽  
Minimal Hardware
Sign in / Sign up

Export Citation Format

Share Document