1194 search results - page 54 / 239 » A Calculus for Predicative Programming |
121
click to vote
JCP
2006
15 years 1 months ago
2006
Finding a maximum cardinality matching in a graph is a problem appearing in numerous settings. The problem asks for a set of edges of maximum cardinality, such that no two edges of...
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
118
click to vote
COMPGEOM
1996
ACM
15 years 6 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
131
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
208
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...