Abstract | ||
---|---|---|
Modularity is a key issue in the construction of large multi-paradigm declarative programs involving complex features like higher-order, polymorphism or constraints. The modular framework defined in this paper for higher-order declarative constraint programming builds complex software systems by combining and composing existing components or modules from a number of composition operations expressive enough to model typical modularization issues like export/import relationships and inheritance. The effectiveness of our approach relies on a higher-order constraint rewriting logic over a parametrically given constraint domain as the basis of a model-theoretic and fixpoint semantics for program modules, and a modular semantics given by a suitable immediate consequence operator which is compositional and fully abstract, offering the possibility of reasoning on the composition process itself. The availability of this well-founded semantics characterization for structuring and modularizing higher-order declarative constraint programs provides the ground to perform sound semantics-based transformation, analysis, debugging and verification of declarative software. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/2003476.2003485 | PPDP |
Keywords | Field | DocType |
well-founded semantics characterization,declarative software,large multi-paradigm declarative program,higher-order declarative constraint programming,higher-order declarative programming,higher-order declarative constraint program,complex feature,fixpoint semantics,modular semantics,constraint domain,higher-order constraint,lambda calculus,software systems,modules,constraint programming,declarative programming,higher order,composition operator,rewriting logic,polymorphism | Fifth-generation programming language,Operational semantics,Programming language,Computer science,Constraint programming,Inductive programming,Theoretical computer science,Stable model semantics,Declarative programming,Modular design,Well-founded semantics | Conference |
Citations | PageRank | References |
0 | 0.34 | 27 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rafael del Vado V́ırseda | 1 | 97 | 13.26 |
Fernando Pérez Morente | 2 | 0 | 2.03 |