10585 search results - page 478 / 2117 » The Orc Programming Language |
161
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
168
click to vote
ESOP
2003
Springer
16 years 5 days ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
166
click to vote
FPCA
1989
15 years 11 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...
158
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
155
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...