Pages that link to "Item:Q1314414"

The following pages link to A compositional semantics for logic programs (Q1314414):

Displaying 39 items.

• Transforming semantics by abstract interpretation (Q557807) (← links)
• A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
• Transformations of CLP modules (Q671648) (← links)
• Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
• A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
• A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
• S-semantics for logic programming: a retrospective look (Q1035702) (← links)
• Abstract interpretation of resolution-based semantics (Q1035705) (← links)
• Differential logic programs: Programming methodologies and semantics (Q1126260) (← links)
• Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
• Compositionality properties of SLD-derivations (Q1274454) (← links)
• A semantics for modular general logic programs (Q1274967) (← links)
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
• The reduced relative power operation on abstract domains (Q1285656) (← links)
• A new framework for declarative programming (Q1399960) (← links)
• Non-commutative logic for compositional distributional semantics (Q1685917) (← links)
• A theory of observables for logic programs (Q1854446) (← links)
• Observable behaviors and equivalences of logic programs (Q1900312) (← links)
• Are logical languages compositional? (Q2016061) (← links)
• Composition-nominative logics of quasi-ary predicates: semantic aspects (Q2850352) (← links)
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics (Q2912692) (← links)
• A semantic approach to illative combinatory logic (Q2915681) (← links)
• A Compositional Semantics for ‘If Then’ Conditionals (Q2964013) (← links)
• A structured alternative to Prolog with simple compositional semantics (Q3087448) (← links)
• (Q3413363) (← links)
• (Q3787443) (← links)
• Composing Open Logic Programs (Q4276170) (← links)
• Composing programs in a rewriting logic for declarative programming (Q4452602) (← links)
• (Q4536450) (← links)
• A computable semantics for general logic programs (Q4730755) (← links)
• (Q4782504) (← links)
• (Q4817211) (← links)
• Correct Answers for First Order Logic (Q4923518) (← links)
• Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
• Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
• Theoretical Aspects of Computing – ICTAC 2005 (Q5395097) (← links)
• Program Development in Computational Logic (Q5712546) (← links)
• Single-domain free logic and the problem of compositionality (Q6067309) (← links)
• The merits of compositional abstraction: a case study in propositional logic (Q6165816) (← links)