41 search results - page 7 / 9 » Modular Statically Typed Multimethods |
107
click to vote
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
HICSS
1997
IEEE
15 years 3 months ago
1997
IEEE
The mpC language was developed to write efJicientand portable programsfor wide range of distributed memory machines. It supports both task and data parallelism, allows both static...
104
click to vote
ESORICS
2010
Springer
15 years 21 days ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
83
Voted
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
178
click to vote
ECOOP
2009
Springer
16 years 7 days ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...