76 search results - page 1 / 16 » Logic Programming Semantics Made Easy |
ICALP
1992
Springer
13 years 9 months ago
1992
Springer
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
PLDI
2009
ACM
13 years 9 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
ISMB
1997
13 years 6 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
CLIMA
2007
13 years 6 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...