1326 search results - page 238 / 266 » Semantic Coherence in Software Engineering |
123
click to vote
TAPOS
1998
15 years 1 months ago
1998
Large object-oriented systems have, at least, four characteristics that complicate object communication, i.e the system is distributed and contains large numbers, e.g. thousands, ...
122
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
129
click to vote
OTM
2009
Springer
15 years 8 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
ECOOP
2005
Springer
15 years 7 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...
104
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...