3583 search results - page 122 / 717 » A Type System for the Relational Calculus of Object Systems |
POPL
1989
ACM
14 years 1 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
GIS
2009
ACM
14 years 1 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
REST
2010
ACM
13 years 10 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
CL
2002
Springer
13 years 8 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...