552 search results - page 14 / 111 » Languages Modulo Normalization |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
ACL
2006
13 years 10 months ago
2006
Short Messaging Service (SMS) texts behave quite differently from normal written texts and have some very special phenomena. To translate SMS texts, traditional approaches model s...
CC
2003
Springer
14 years 2 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
POPL
1997
ACM
14 years 10 days ago
1997
ACM
The following theorem of Huet and L
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...