198 search results - page 6 / 40 » Time Equations for Lazy Functional (Logic) Languages |
114
Voted
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
99
Voted
PLILP
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
124
Voted
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
85
Voted
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
PLANX
2008
15 years 1 months ago
2008
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...