3470 search results - page 226 / 694 » Head-Elementary-Set-Free Logic Programs |
200
click to vote
PADL
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
199
Voted
SAS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
233
click to vote
LOPSTR
2005
Springer
16 years 18 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...