3713 search results - page 409 / 743 » Constructing a Calculus of Programs |
124
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
148
Voted
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
156
Voted
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
187
click to vote
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
124
click to vote
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...