Sciweavers

926 search results - page 53 / 186
» Prolog as the First Programming Language
Sort
View
128
Voted
PLDI
2003
ACM
15 years 7 months 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 2 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
116
Voted
OOPSLA
2004
Springer
15 years 8 months 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 2 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
DLS
2010
170views Languages» more  DLS 2010»
15 years 17 days 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