6740 search results - page 559 / 1348 » Using Classification as a Programming Language |
135
click to vote
JUCS
2008
15 years 4 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
137
click to vote
FORTE
2004
15 years 6 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
148
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
144
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
118
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
This paper introduces the Bantam Java compiler project, a new language and compiler designed specifically for the classroom. Bantam Java, the source programming language, is a sma...