469 search results - page 47 / 94 » Language and library support for practical PRAM programming |
125
click to vote
JOT
2008
15 years 1 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
136
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
139
click to vote
VEE
2006
ACM
15 years 7 months ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
101
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...