Sciweavers

10575 search results - page 355 / 2115
» Programming Languages
Sort
View
POPL
2005
ACM
16 years 7 months ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann
ICLP
2007
Springer
16 years 1 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
ICLP
2007
Springer
16 years 1 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...
AOSD
2007
ACM
15 years 11 months ago
A case for explicit join point models for aspect-oriented intermediate languages
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
Hridesh Rajan
ICFP
2004
ACM
16 years 7 months ago
Relating models of backtracking
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
Mitchell Wand, Dale Vaillancourt