Sciweavers

1914 search results - page 14 / 383
» Abstract lambda-Calculus Machines
Sort
View
ENTCS
2008
129views more  ENTCS 2008»
13 years 7 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
ASM
2004
ASM
14 years 1 months ago
The Cryptographic Abstract Machine
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
Dean Rosenzweig, Davor Runje
LOPSTR
2004
Springer
14 years 1 months ago
From Natural Semantics to Abstract Machines
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
Mads Sig Ager
SEQLEARN
2001
Springer
221views Algorithms» more  SEQLEARN 2001»
14 years 2 days ago
On the Need for a Neural Abstract Machine
eed for a Neural Abstract Machine Diego Sona, Alessandro Sperduti Dipartimento di Informatica Universit`a di Pisa
Diego Sona, Alessandro Sperduti