7529 search results - page 48 / 1506 » The Modula-3 Type System |
120
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
165
Voted
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...
112
Voted
IJCAI
1993
15 years 4 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
98
Voted
JOT
2007
15 years 2 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
141
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...