Sciweavers

4231 search results - page 73 / 847
» Using Language More Responsibly
Sort
View
POPL
2007
ACM
16 years 6 months ago
Implementing deterministic declarative concurrency using sieves
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
Sam Lindley
ECOOPW
2008
Springer
15 years 7 months ago
Equation-Based Object-Oriented Languages and Tools
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
Peter Fritzson, David Broman, François Cell...
ICFP
2004
ACM
16 years 6 months ago
Making a fast curry: push/enter vs. eval/apply for higher-order languages
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
Simon Marlow, Simon L. Peyton Jones
JOT
2006
105views more  JOT 2006»
15 years 6 months ago
Improving the Use of Multiplicity in UML Association
Through the incorporation of derived classes and associations in class diagrams, this paper proposes a method to improve the specification power of multiplicity for n-ary associat...
Hee Beng Kuan Tan, Yong Yang, Lei Bian
IAT
2007
IEEE
16 years 10 days ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...