59 search results - page 1 / 12 » Continuous Semantics for Strong Normalization |
CIE
2005
Springer
13 years 10 months ago
2005
Springer
TYPES
1993
Springer
13 years 8 months ago
1993
Springer
ESOP
1994
Springer
13 years 9 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
MSCS
2006
13 years 4 months ago
2006
LPNMR
2007
Springer
13 years 11 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...