Sciweavers

926 search results - page 53 / 186
» Prolog as the First Programming Language
Sort
View
PLDI
2003
ACM
16 years 6 days ago
Linear analysis and optimization of stream programs
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
Andrew A. Lamb, William Thies, Saman P. Amarasingh...
POPL
2003
ACM
16 years 7 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
OOPSLA
2004
Springer
16 years 9 days ago
A language-independent approach to software maintenance using grammar adapters
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
Suman Roychoudhury
ICFP
2003
ACM
16 years 6 months ago
A theory of aspects
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
David Walker, Steve Zdancewic, Jay Ligatti
178
Voted
DLS
2010
170views Languages» more  DLS 2010»
15 years 5 months ago
Contracts for first-class classes
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers ract over common scenarios with first-class classes. When it comes...
T. Stephen Strickland, Matthias Felleisen