147 search results - page 7 / 30 » Relational Parametricity and Separation Logic |
116
click to vote
INAP
2005
Springer
15 years 9 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 ...
192
Voted
OOPSLA
1995
Springer
15 years 7 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...
141
click to vote
IWMM
2009
Springer
15 years 10 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...
140
click to vote
ICRA
2005
IEEE
15 years 9 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...
142
click to vote
PPDP
2007
Springer
15 years 10 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....