1097 search results - page 126 / 220 » Revision Programming = Logic Programming Integrity Constra... |
131
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
111
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...
127
Voted
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
130
Voted
IJCAI
2003
15 years 4 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
139
click to vote
NORDSEC
2009
Springer
15 years 10 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...