1194 search results - page 12 / 239 » A Calculus for Predicative Programming |
AI
2004
Springer
14 years 11 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
77
Voted
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
116
Voted
JAIR
2012
13 years 2 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
182
Voted
POPL
1999
ACM
15 years 4 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...