2940 search results - page 8 / 588 » Relational Parametricity and Control |
71
Voted
AAECC
2005
Springer
14 years 11 months ago
2005
Springer
107
click to vote
FROCOS
2000
Springer
15 years 3 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
JCAM
2010
14 years 6 months ago
2010
We propose a parametric tensioned version of the FVS macro-element to control the shape of the composite surface and remove artificial oscillations, bumps and other undesired beha...
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
INFSOF
2006
14 years 11 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...