12084 search results - page 5 / 2417 » Effect Systems with Subtyping |
126
click to vote
IWPC
1999
IEEE
15 years 8 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
146
click to vote
FMOODS
2000
15 years 5 months ago
2000
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
128
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
115
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
127
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...