5451 search results - page 22 / 1091 » Typed Operational Semantics |
161
click to vote
SSD
1993
Springer
15 years 6 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...
110
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
140
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
127
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
96
Voted
FOSSACS
2003
Springer
15 years 7 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...