3473 search results - page 238 / 695 » Aspect-Oriented Programming with C |
106
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
103
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...
126
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...
139
click to vote
SIGADA
1997
Springer
15 years 8 months ago
1997
Springer
All students attending the U.S. Air Force Academy are required to take an introductory course in computer science. Last year we transitioned to Ada in this course. In this paper w...
147
click to vote
POPL
1989
ACM
15 years 8 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...