1914 search results - page 35 / 383 » Abstract lambda-Calculus Machines |
FMCO
2003
Springer
14 years 28 days ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
The abstract goes here.
OSDI
2004
ACM
14 years 8 months ago
2004
ACM
Abstractions as the Foundation for Storage Infrastructure John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, and Lidong Zhou Microsoft Research Silicon Valley Wr...
IFL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...