8141 search results - page 62 / 1629 » Higher Order Generalization |
129
Voted
TYPES
2000
Springer
15 years 4 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
95
Voted
DBPL
1995
Springer
15 years 4 months ago
1995
Springer
We describe the Tycoon approach to scale the successful notion of a uniform, type-safe persistent object store to communication-intensive applications and applications where lo...
138
Voted
HOA
1995
15 years 4 months ago
1995
L.J. Steggles
96
Voted
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...