6201 search results - page 344 / 1241 » Implementation of Axiomatic Language |
193
click to vote
ECOOP
2004
Springer
16 years 5 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
174
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
202
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
298
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
171
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...