147 search results - page 7 / 30 » Relational Parametricity and Separation Logic |
INAP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
147
click to vote
OOPSLA
1995
Springer
15 years 3 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
IWMM
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper describes a generation method for spatially natural biped walking. By limiting the COG (Center of Gravity) motion space to a sculptured surface, the degree of freedo...
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....