3470 search results - page 159 / 694 » Head-Elementary-Set-Free Logic Programs |
163
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
184
click to vote
PADL
2007
Springer
16 years 9 days ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
269
Voted
POPL
2009
ACM
16 years 6 months ago
2009
ACM
