1781 search results - page 137 / 357 » Functional Answer Set Programming |
119
click to vote
PLILP
1994
Springer
15 years 5 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...
115
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
120
click to vote
IEEEARES
2009
IEEE
15 years 8 months ago
2009
IEEE
—Signcryption is a cryptographic primitive that fulfills both the functions of digital signature and public key encryption simultaneously, at a cost significantly lower than th...
141
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
105
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...