2688 search results - page 474 / 538 » A formal semantics for P3P |
CSL
1998
Springer
15 years 4 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
102
click to vote
PDIS
1996
IEEE
15 years 4 months ago
1996
IEEE
The World Wide Web is a large, heterogeneous, distributedcollectionof documents connected by hypertext links. The most common technologycurrently used for searching the Web depend...
120
click to vote
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
142
click to vote
SSD
1993
Springer
15 years 4 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
102
click to vote
POPL
1990
ACM
15 years 3 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...