59 search results - page 1 / 12 » Continuous Semantics for Strong Normalization |
137
Voted
CIE
2005
Springer
16 years 6 days ago
2005
Springer
201
click to vote
ESOP
1994
Springer
15 years 10 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...
178
click to vote
LPNMR
2007
Springer
16 years 24 days 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...