Sciweavers

10575 search results - page 229 / 2115
» Programming Languages
Sort
View
151
Voted
PADL
1999
Springer
15 years 10 months ago
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
Galleys have been introduced by Jeff Kingston as one of the key concepts underlying his advanced document formatting system Lout. Although Lout is built on a lazy functional progra...
Wolfram Kahl
SIGPLAN
2008
15 years 6 months ago
An aspect-oriented approach to the undergraduate programming language curriculum
Three key forces are shaping the modern Computer Science (CS) curriculum: (1) new topics/courses are squeezing out existing ones; (2) a focus on "big picture" and interd...
Mark A. Sheldon, Franklyn A. Turbak
ECOOPW
2004
Springer
15 years 11 months ago
Programming Languages and Operating Systems
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report pres...
Olaf Spinczyk, Michael Schoettner, Andreas Gal
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
15 years 5 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan
ECOOP
2011
Springer
14 years 6 months ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross