3815 search results - page 49 / 763 » An Implementation of Session Types |
113
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
126
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...
163
Voted
GROUP
2010
ACM
15 years 17 days ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
119
Voted
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
110
click to vote
ACL
1997
15 years 3 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...