1288 search results - page 101 / 258 » Integrating formal models into the programming languages cou... |
SAC
2009
ACM
14 years 5 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
JLP
2008
13 years 10 months ago
2008
Based on a set of criteria and a measuring lattice, we introduce relational measures as generalizations of fuzzy measures. The latter have recently made their way from the interva...
SIGMOD
2005
ACM
14 years 10 months ago
2005
ACM
There has been an information explosion in fields of science such as high energy physics, astronomy, environmental sciences and biology. There is a critical need for automated sys...
APLAS
2011
ACM
12 years 10 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...