3516 search results - page 238 / 704 » Programming Languages: Application and Interpretation |
294
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
144
click to vote
AOSD
2004
ACM
16 years 2 days ago
2004
ACM
Although aspect-oriented programming (AOP) is becoming widely used, the design of the pointcut language and the generic and reusable description of advice are still research topic...
194
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
199
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
273
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...