1097 search results - page 40 / 220 » Revision Programming = Logic Programming Integrity Constra... |
126
click to vote
VLDB
1990
ACM
15 years 6 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
131
Voted
TSE
2011
14 years 9 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
149
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
146
Voted
JSS
2006
15 years 2 months ago
2006
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
107
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Grothendieck inequalities are fundamental inequalities which are frequently used in many areas of mathematics and computer science. They can be interpreted as upper bounds for the ...