95 search results - page 17 / 19 » Recursive Structures for Standard ML |
LFP
1992
13 years 8 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
VR
2007
IEEE
14 years 1 months ago
2007
IEEE
A Nested Marker, a novel visual marker for camera calibration in Augmented Reality (AR), enables accurate calibration even when the observer is moving very close to or far away fr...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
ECOOP
2010
Springer
14 years 8 days ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...