513 search results - page 86 / 103 » Operational and abstract semantics of the query language G-L... |
87
Voted
POPL
2010
ACM
15 years 8 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
100
click to vote
PPDP
2009
Springer
15 years 5 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...
188
Voted
POPL
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
CJ
2010
14 years 11 months ago
2010
Abstract. Motivated by research on how topology may be a helpful foundation for building information modeling (BIM), a relational database version of the notions of chain complex a...
122
Voted
SDM
2012
SIAM
13 years 1 months ago
2012
SIAM
The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the ...