76 search results - page 1 / 16 » Logic Programming Semantics Made Easy |
80
Voted
ICALP
1992
Springer
15 years 3 months ago
1992
Springer
105
click to vote
ICFP
2003
ACM
15 years 11 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...
96
Voted
PLDI
2009
ACM
15 years 3 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 ...
76
Voted
ISMB
1997
15 years 7 days 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...
84
Voted
CLIMA
2007
15 years 11 days 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, ...