5130 search results - page 742 / 1026 » Constraint Query Languages |
144
click to vote
APLAS
2005
ACM
16 years 20 days ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
170
click to vote
ICLP
2005
Springer
16 years 18 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
144
click to vote
OOPSLA
2005
Springer
16 years 17 days ago
2005
Springer
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...
184
click to vote
APLAS
2004
ACM
16 years 16 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
184
Voted
CD
2004
Springer
16 years 15 days ago
2004
Springer
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...