19798 search results - page 8 / 3960 » Is Structural Subtyping Useful |
JOT
2008
13 years 7 months ago
2008
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
BMCBI
2010
13 years 7 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
ENTCS
2008
13 years 7 months ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
IFL
2007
Springer
14 years 1 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...