6740 search results - page 326 / 1348 » Using Classification as a Programming Language |
168
click to vote
PLDI
1996
ACM
15 years 7 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
122
click to vote
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
119
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
239
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
117
click to vote
TOOLS
2010
IEEE
15 years 8 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...