1557 search results - page 69 / 312 » Programming up to Congruence |
SIGSOFT
2005
ACM
15 years 12 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspecification hinders automatic optimizers, since they must ...
115
click to vote
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
105
click to vote
AFP
2004
Springer
15 years 4 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
The new design for the introductory programming course at ETH relies on object technology, Eiffel, extensive reuse, a graphics-rich library (TRAFFIC) built specifically for the c...