1097 search results - page 134 / 220 » Revision Programming = Logic Programming Integrity Constra... |
169
click to vote
AC
1992
Springer
15 years 7 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
195
Voted
SOFSEM
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
284
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
ENTCS
2007
15 years 3 months ago
2007
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
137
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...