4902 search results - page 955 / 981 » Structures, Semantics and Statistics |
122
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
126
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
127
Voted
POPL
2010
ACM
16 years 29 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
167
Voted
POPL
2010
ACM
16 years 29 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
129
Voted
POPL
2010
ACM
16 years 29 days 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...