3583 search results - page 116 / 717 » A Type System for the Relational Calculus of Object Systems |
UTP
2010
13 years 7 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
ERCIMDL
2006
Springer
14 years 21 days ago
2006
Springer
This demonstration provides a "hands on" experience to the "internals" of Pergamos, the University of Athens DL System. Pergamos provides uniform high level DL ...
JFP
2006
13 years 9 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
CSMR
2008
IEEE
13 years 10 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
GIS
2009
ACM
14 years 1 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...