12452 search results - page 262 / 2491 » An exploration of program as language |
288
Voted
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...
232
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
193
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
While the programming languages course played a key role in Curricula '68, '78, and '91, Curriculum 2001 replaced most of the content in programming languages with ...
160
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Programming languages as a required course is disappearing from undergraduate computer science programs. This is not surprising given that the course often proves to be challengin...
180
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
Object-oriented programming promises to increase programmer productivity through better reuse of existing code. However, reuse is not yet pervasive in today’s object-oriented pro...