7529 search results - page 177 / 1506 » The Modula-3 Type System |
144
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
131
Voted
IJCSA
2006
15 years 5 months ago
2006
People use "name" in general to reference things easily. In addition, one name may refer to various types of things or objects (one name
148
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
119
Voted
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
157
click to vote
PVLDB
2008
15 years 4 months ago
2008
This paper introduces Clustera, an integrated computation and data management system. In contrast to traditional clustermanagement systems that target specific types of workloads,...