{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:38:37Z","timestamp":1778297917569,"version":"3.51.4"},"reference-count":113,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":7019,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1016\/0743-1066(94)90026-4","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:32Z","timestamp":1027655252000},"page":"149-197","source":"Crossref","is-referenced-by-count":83,"special_numbering":"S1","title":["The s-semantics approach: Theory and applications"],"prefix":"10.1016","volume":"19-20","author":[{"given":"Annalisa","family":"Bossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Gabbrielli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Levi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(94)90026-4_BIB1","series-title":"Proceedings of PLILP'91","first-page":"111","article-title":"Narrowing as an Incremental Constraint Satisfaction Algorithm","volume":"528","author":"Alpuente","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB2","series-title":"Logic Programming Languages: Constraints, Functions and Objects","first-page":"49","article-title":"The Semantics of Equational Logic Programming as an Instance of CLP","author":"Alpuente","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB3","series-title":"Handbook of Theoretical Computer Science, B: Formal Models and Semantics","first-page":"495","article-title":"Introduction to Logic Programming","author":"Apt","year":"1990"},{"key":"10.1016\/0743-1066(94)90026-4_BIB4","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB5","unstructured":"Apt, K.R., and Gabbrielli, M., Declarative Interpretations Reconsidered,Report, CWI, Amsterdam."},{"key":"10.1016\/0743-1066(94)90026-4_BIB6","series-title":"Algebraic and Logic Programming, Proceedings of the Third International Conference","first-page":"69","article-title":"A theory of First-Order Built-In's of PROLOG","volume":"632","author":"Apt","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB7","series-title":"On the Correctness of Unfold\/Fold Transformation of Normal and Extended Logic Programs","author":"Aravindan","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB8","series-title":"Proceedings of Ninth IEEE Conference on AI Applications","first-page":"270","article-title":"An Application of Constraint Propagation to Data-flow Analysis","author":"Bagnara","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB9","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(87)90004-5","article-title":"A Generalization of the Differential Approach to Recursive Query Evaluation","volume":"4","author":"Balbin","year":"1987","journal-title":"J. Logic Program"},{"key":"10.1016\/0743-1066(94)90026-4_BIB10","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/logcom\/3.6.579","article-title":"Modelling Prolog Control","volume":"3","author":"Barbuti","year":"1993","journal-title":"J. Logic Computation"},{"key":"10.1016\/0743-1066(94)90026-4_BIB11","series-title":"Algebraic and Logic Programming, Proceedings of the Third International Conference","first-page":"100","article-title":"Oracle Semantics for PROLOG","volume":"632","author":"Barbuti","year":"1992"},{"issue":"3","key":"10.1016\/0743-1066(94)90026-4_BIB12","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0167-6423(92)90038-D","article-title":"A Bottom-up Polymorphic Type Inference in Logic Programming","volume":"19","author":"Barbuti","year":"1992","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"10.1016\/0743-1066(94)90026-4_BIB13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/151646.151650","article-title":"A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs","volume":"15","author":"Barbuti","year":"1993","journal-title":"ACM Trans. Program. Languages Syst."},{"key":"10.1016\/0743-1066(94)90026-4_BIB14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(92)90045-5","article-title":"Proving Termination Properties of Prolog Programs: A Semantic Approach","volume":"14","author":"Baudinet","year":"1992","journal-title":"J. Logic Program"},{"key":"10.1016\/0743-1066(94)90026-4_BIB15","series-title":"Extensions of Logic Programming, Proceedings of the third International Workshop on Extensions of Logic Programming, ELP'92","first-page":"80","article-title":"CLP(AD) as a Deductive Database Language with Updates","volume":"660","author":"Bertino","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB16","series-title":"Master's thesis","article-title":"Propriet\u00e1 Osservabili e Diagnosi di Programmi Logici","author":"Bolzan","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB17","series-title":"Proceedings of the Tenth International Conference on Logic Programming","first-page":"374","article-title":"Fixpoint Semantics for PROLOG","author":"Bossi","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB18","series-title":"Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages","first-page":"359","article-title":"Differential Logic Programming","author":"Bossi","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB19","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0743-1066(93)90023-A","article-title":"Basic Transformation Operations for Logic Programs which Preserve Computed Answer Substitutions of Logic Programs","volume":"16","author":"Bossi","year":"1993","journal-title":"J. Logic Program"},{"key":"10.1016\/0743-1066(94)90026-4_BIB20","series-title":"Programming Language Implementation and Logic Programming\u2014Proceedings PLILP'92","first-page":"172","article-title":"On Safe Folding","volume":"631","author":"Bossi","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB21","first-page":"570","article-title":"Contributions to the Semantics of Open Logic Programs","author":"Bossi","year":"1992","journal-title":"Proceedings of the International Conference on Fifth Generation Computer Systems 1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB22","first-page":"95","article-title":"Una Semantica Composizionale per Programmi Logici Aperti","author":"Bossi","year":"1991","journal-title":"Proceedings of the Sixth Italian Conference on Logic Programming"},{"key":"10.1016\/0743-1066(94)90026-4_BIB23","series-title":"Proceedings of CAAP'94","article-title":"Compilative Constructive Negation in Constraint Logic Programs","author":"Bruscoli","year":"1994"},{"key":"10.1016\/0743-1066(94)90026-4_BIB24","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","article-title":"A Practical Framework for the Abstract Interpretation of Logic Programs","volume":"10","author":"Bruynooghe","year":"1991","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB25","doi-asserted-by":"crossref","DOI":"10.1145\/73721.73725","article-title":"Logic Programming as Constructivism: A Formalization and its Application to Databases","author":"Bry","year":"1989","journal-title":"Proceedings of the Eighth ACM Symposium on Principles of Database Systems"},{"key":"10.1016\/0743-1066(94)90026-4_BIB26","article-title":"Modularity in Logic Programming","volume":"19","author":"Bugliesi","year":"1994","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB27","series-title":"Proceedings of the Fifth International Conference on Logic Programming","first-page":"111","article-title":"Constructive Negation Based on the Completed Database","author":"Chan","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB28","series-title":"Proceedings of the North American Conference on Logic Programming'89","first-page":"477","article-title":"An Extension of Constructive Negation and its Application in Coroutining","author":"Chan","year":"1989"},{"issue":"3","key":"10.1016\/0743-1066(94)90026-4_BIB29","first-page":"187","article-title":"Equivalent Logic Programs","volume":"9","author":"Chan","year":"1990","journal-title":"J. Logic Program"},{"key":"10.1016\/0743-1066(94)90026-4_BIB30","series-title":"Research Report DOC 79\/59","article-title":"Predicate Logic as a Computational Formalism","author":"Clark","year":"1979"},{"key":"10.1016\/0743-1066(94)90026-4_BIB31","series-title":"Bottom-Up Abstract Interpretation of Logic Programs","author":"Codish","year":"1990"},{"key":"10.1016\/0743-1066(94)90026-4_BIB32","series-title":"Proceedings Twentieth Annual ACM Symposium on Principles of Programming Languages","first-page":"451","article-title":"Compositional Analysis of Modular Logic Programs","author":"Codish","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB33","series-title":"Proceedings of the 1993 International Symposium on Logic Programming","article-title":"Analysing Logic Programs using \u201cprop\u201d-ositional Logic Programs anda Magic Wand","author":"Codish","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB34","series-title":"Proceedings of the Fourth IEEE International Conference on Computer Languages","article-title":"Computations, Abstractions and Constraints","author":"Codognet","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB35","series-title":"Proceedings of OOPSLA'89","first-page":"433","article-title":"A Denotational Semantics of Inheritance and its Correctness","author":"Cook","year":"1989"},{"key":"10.1016\/0743-1066(94)90026-4_BIB36","series-title":"Proceedings of the Sixth IEEE Symposium on Logic In Computer Science","first-page":"322","article-title":"Prop Revisited: Propositional Formula as Abstract Domain for GroundnessAnalysis","author":"Cortesi","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB37","series-title":"Meta-Programming in Logic, Third International Workshop, META'92,","first-page":"192","article-title":"A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation","volume":"649","author":"De Schreye","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB38","series-title":"Advances in Logic Programming Theory","article-title":"Formal Bases for Dataflow Analysis of Logic Programs","author":"Debray","year":"1994"},{"key":"10.1016\/0743-1066(94)90026-4_BIB39","series-title":"Generalized Horn Clause Programs","author":"Debray","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB40","series-title":"A Bottom-Up Characterization of Finite Success","author":"Delzanno","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB41","series-title":"STACS 91","first-page":"511","article-title":"Unfolding, Procedural and Fixpoint Semantics of Logic Programs","volume":"480","author":"Denis","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB42","series-title":"Technical Report No. 87\/3","article-title":"Programmation en Logique avec Negation: Presentation Formelle","author":"Deransart","year":"1987"},{"key":"10.1016\/0743-1066(94)90026-4_BIB43","series-title":"Proceedings of the North American Conference on Logic Programming'89","first-page":"604","article-title":"A Fixpoint Approach to Declarative Semantics of Logic Programs","author":"Dung","year":"1989"},{"key":"10.1016\/0743-1066(94)90026-4_BIB44","series-title":"Proceedings of the Sixth International Conference on Logic Programming","first-page":"234","article-title":"Abduction Compared with Negation by Failure","author":"Eshghi","year":"1989"},{"issue":"3","key":"10.1016\/0743-1066(94)90026-4_BIB45","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1142\/S0129054190000187","article-title":"Nested Guarded Horn Clauses","volume":"1","author":"Falaschi","year":"1990","journal-title":"Int. J. Foundations Comput. Sci."},{"key":"10.1016\/0743-1066(94)90026-4_BIB46","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(90)90061-L","article-title":"Finite failures and partial computations in concurrent logic languages","volume":"75","author":"Falaschi","year":"1990","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"10.1016\/0743-1066(94)90026-4_BIB47","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","article-title":"Declarative Modeling of the Operational Behavior of Logic Languages","volume":"69","author":"Falaschi","year":"1989","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"10.1016\/0743-1066(94)90026-4_BIB48","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1006\/inco.1993.1015","article-title":"A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs","volume":"102","author":"Falaschi","year":"1993","journal-title":"Inform. Comput."},{"key":"10.1016\/0743-1066(94)90026-4_BIB49","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","article-title":"Error Diagnosis in Logic Programming, An Adaptation of E.Y. Shapiro's Method","volume":"4","author":"Ferrand","year":"1987","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB50","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","article-title":"A Kripke-Kleene semantics for logic programs","volume":"2","author":"Fitting","year":"1985","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB51","series-title":"Proceedings of the Fifth International Conference on Logic Programming","first-page":"1054","article-title":"Stratified and Three-Valued Logic Programming Semantics","author":"Fitting","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB52","series-title":"Ph.D. Thesis","article-title":"The Semantics of Logic Programming as a Programming Language","author":"Gabbrielli","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB53","series-title":"Proceedings of the ACM Symposium on Applied Computing","article-title":"Goal Independency and Call Patterns in the Analysis of Logic Programs","author":"Gabbrielli","year":"1994"},{"key":"10.1016\/0743-1066(94)90026-4_BIB54","first-page":"663","article-title":"Modular Logic Programs over Finite Domains","author":"Gabbrielli","year":"1993","journal-title":"Proceedings of the Eighth Italian Conference on Logic Programming"},{"key":"10.1016\/0743-1066(94)90026-4_BIB55","series-title":"Proceedings of the Eighth International Conference on Logic Programming","first-page":"238","article-title":"Modeling Answer Constraints in Constraint Logic Programs","author":"Gabbrielli","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB56","series-title":"Automata, Languages and Programming, 18th International Colloquium","first-page":"1","article-title":"On the Semantics of Logic Programs","volume":"510","author":"Gabbrielli","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB57","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(92)90288-Q","article-title":"Unfolding and Fixpoint Semantics of Concurrent Constraint Programs","volume":"105","author":"Gabbrielli","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0743-1066(94)90026-4_BIB58","series-title":"Semantics: Foundations and Applications, Proceedings REX Workshop","first-page":"204","article-title":"New Semantics Tools for Logic Programs","volume":"666","author":"Gabbrielli","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB59","series-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","first-page":"131","article-title":"Observational Equivalences for Logic Programs","author":"Gabbrielli","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB60","series-title":"Proceedings of the International Conference on Logic Programming and Automated Reasoning","first-page":"297","article-title":"A Two Steps Semantics for Logic Programs with Negation","volume":"624","author":"Gabbrielli","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB61","series-title":"Algebraic and Logic Programming, Procceding of the Third International Conference","first-page":"84","article-title":"Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns","volume":"632","author":"Gabbrielli","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB62","series-title":"Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages","first-page":"134","article-title":"Fully Abstract Compositional Semantics for Logic Programs","author":"Gaifman","year":"1989"},{"key":"10.1016\/0743-1066(94)90026-4_BIB63","series-title":"Proceedings of the Fourth IEEE, Symposium on Logic in Computer Science","first-page":"50","article-title":"Proof Theory and Semantics of Logic Programs","author":"Gaifman","year":"1989"},{"key":"10.1016\/0743-1066(94)90026-4_BIB64","series-title":"Proceedings of the Fifth International Conference on Logic Programming","first-page":"1070","article-title":"The Stable Model Semantics for Logic Programs","author":"Gelfond","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB65","series-title":"Ph.D. Thesis","article-title":"Semantic Aspects of Logic Program Analysis","author":"Giacobazzi","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB66","first-page":"581","article-title":"A Generalized Semantics for Constraint Logic Programs","author":"Giacobazzi","year":"1992","journal-title":"Proceedings of the International Conference on Fifth Generation Computer Systems 1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB67","series-title":"Proceedings of the Seventh International Conference on Logic Programming","first-page":"291","article-title":"Pipeline Optimizations in AND-Parallelism by Abstract Interpretation","author":"Giacobazzi","year":"1990"},{"key":"10.1016\/0743-1066(94)90026-4_BIB68","series-title":"Proceedings ESOP '92","first-page":"167","article-title":"Detecting Determinate Computations by a Bottom-Up Abstract Interpretation","volume":"582","author":"Giacobazzi","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB69","series-title":"Meta-Programming in Logic Programming","first-page":"23","article-title":"Analysis of Meta-Programs","author":"Hill","year":"1989"},{"issue":"2 & 3","key":"10.1016\/0743-1066(94)90026-4_BIB70","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","article-title":"Static Analysis of Logic Programs for Independent AND Parallelism","volume":"13","author":"Jacobs","year":"1992","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB71","series-title":"Proceedings of the Fourteenth Annual ACM Symposium on Principles of Programming Languages","first-page":"111","article-title":"Constraint Logic Programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/0743-1066(94)90026-4_BIB72","series-title":"Constraint Logic Programming","author":"Jaffar","year":"1986"},{"issue":"2 & 3","key":"10.1016\/0743-1066(94)90026-4_BIB73","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","article-title":"Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation","volume":"13","author":"Janssens","year":"1992","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB74","series-title":"Abstract Interpretation of Declarative Languages","first-page":"123","article-title":"A Semantics-Based Framework for the Abstract Interpretation of Prolog","author":"Jones","year":"1987"},{"key":"10.1016\/0743-1066(94)90026-4_BIB75","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(92)90286-O","article-title":"Transforming Normal Logic Programs to Constraint Logic Programs","volume":"105","author":"Kanchanasut","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0743-1066(94)90026-4_BIB76","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","first-page":"413","article-title":"Preservation of Stronger Equivalence in Unfold\/Fold Logic Programming Transformation","author":"Kawamura","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB77","series-title":"Proceedings of the North American Conference on Logic Programming '90","first-page":"506","article-title":"An Algebraic Framework for the Abstract Interpretation of Logic Programs","author":"Kemp","year":"1990"},{"key":"10.1016\/0743-1066(94)90026-4_BIB78","series-title":"Ninth ACM Symposium on Principles of Programming Languages","first-page":"255","article-title":"Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A theory and Implementation in the Case of PROLOG","author":"Komorowski","year":"1982"},{"key":"10.1016\/0743-1066(94)90026-4_BIB79","series-title":"Elements of Mathematical Logic (Model Theory)","author":"Kreisel","year":"1967"},{"key":"10.1016\/0743-1066(94)90026-4_BIB80","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","article-title":"Negation in logic programming","volume":"4","author":"Kunen","year":"1987","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB81","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","article-title":"Closures and Fairness in the Semantics of Programming Logic","volume":"29","author":"Lassez","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0743-1066(94)90026-4_BIB82","series-title":"Proceeding of the Fifth International Conference on Logic Programming","first-page":"1649","article-title":"Models, Unfolding Rules and Fixpoint Semantics","author":"Levi","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB83","series-title":"Technical Report TR-13\/88","article-title":"The Unfolding Semantics of Logic Programs","author":"Levi","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB84","series-title":"Proceedings of the North American Conference on Logic Programming '90","first-page":"3","article-title":"Failure and Success Made Symmetric","author":"Levi","year":"1990"},{"key":"10.1016\/0743-1066(94)90026-4_BIB85","series-title":"Proceedings of the Tenth International Conference on Logic Programming","first-page":"354","article-title":"A Formalization of Metaprogramming for Real","author":"Levi","year":"1993"},{"key":"10.1016\/0743-1066(94)90026-4_BIB86","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF03037139","article-title":"Partial Evaluation of Metaprograms in a Multiple Worlds Logic Language","volume":"6","author":"Levi","year":"1988","journal-title":"New Generation Comput."},{"issue":"2","key":"10.1016\/0743-1066(94)90026-4_BIB87","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","article-title":"Declarative Error Diagnosis","volume":"5","author":"Lloyd","year":"1987","journal-title":"New Generation Comput."},{"key":"10.1016\/0743-1066(94)90026-4_BIB88","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/0743-1066(94)90026-4_BIB89","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","article-title":"Partial Evaluation in Logic Programming","volume":"11","author":"Lloyd","year":"1991","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB90","series-title":"Foundations of Disjunctive Logic Programming","author":"Lobo","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB91","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"627","article-title":"Equivalences of Logic Programs","author":"Maher","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB92","series-title":"Proceedings of the North American Conference in Logic Programming '89","first-page":"963","article-title":"D\u00e9j\u00e0 Vu in Fixpoints of Logic Programs","author":"Maher","year":"1989"},{"key":"10.1016\/0743-1066(94)90026-4_BIB93","series-title":"Proceedings of the Fifth International Conference on Logic Programming","first-page":"733","article-title":"Bottom-Up Abstract Interpretation of Logic Programs","author":"Marriott","year":"1988"},{"key":"10.1016\/0743-1066(94)90026-4_BIB94","series-title":"Information Processing 89","article-title":"Semantics-Based Dataflow Analysis of Logic Programs","author":"Marriott","year":"1989"},{"issue":"2","key":"10.1016\/0743-1066(94)90026-4_BIB95","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0020-0190(92)90012-K","article-title":"A New SLDNF-Tree","volume":"43","author":"Martelli","year":"1992","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/0743-1066(94)90026-4_BIB96","series-title":"Technical Report CW159","article-title":"Why Untyped Meta-Programming is Not (much of) a Problem","author":"Martens","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB97","series-title":"Technical Report","article-title":"Declarative Semantics of Meta-Logic Predicates in Logic Programming","author":"Messora","year":"1992"},{"key":"10.1016\/0743-1066(94)90026-4_BIB98","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","article-title":"A Fixpoint Semantics for Disjunctive Logic Programs","volume":"9","author":"Minker","year":"1990","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90026-4_BIB99","series-title":"Programming Language Implementation and Logic Programming, Proceedings 3rd International Symposium PLILP'91","first-page":"299","article-title":"Abstract Interpretation: A Kind of Magic","volume":"528","author":"Nilsson","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB100","series-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"10.1016\/0743-1066(94)90026-4_BIB101","series-title":"Ph.D. Thesis","article-title":"Concurrent Constraint Programming Languages","author":"Saraswat","year":"1989"},{"key":"10.1016\/0743-1066(94)90026-4_BIB102","series-title":"Proceedings of the Sixth International Conference on Logic Programming","first-page":"554","article-title":"Unfold\/Fold Transformation of Stratified Programs","author":"Seki","year":"1989"},{"key":"10.1016\/0743-1066(94)90026-4_BIB103","series-title":"Algorithmic Program Debugging","author":"Shapiro","year":"1983"},{"key":"10.1016\/0743-1066(94)90026-4_BIB104","series-title":"Ph.D. Thesis","article-title":"Semantics-Based Analysis and Transformation of Logic Programs","author":"S\u00f8ndergaard","year":"1990"},{"key":"10.1016\/0743-1066(94)90026-4_BIB105","series-title":"Proceedings of the Sixth IEEE Symposium on Logic In Computer Science","first-page":"328","article-title":"Constructive Negation for Constraint Logic Programming","author":"Stuckey","year":"1991"},{"key":"10.1016\/0743-1066(94)90026-4_BIB106","series-title":"Information Processing 86","first-page":"415","article-title":"Partial Evaluation of Prolog Programs and its Application to Meta Programming","author":"Takeuchi","year":"1986"},{"key":"10.1016\/0743-1066(94)90026-4_BIB107","series-title":"Proceedings of the Second International Conference on Logic Programming","first-page":"127","article-title":"Unfold\/Fold Transformations of Logic Programs","author":"Tamaki","year":"1984"},{"key":"10.1016\/0743-1066(94)90026-4_BIB108","series-title":"Proceedings of the Eighth International Conference on Logic Programming","first-page":"397","article-title":"Extending S-Models to Logic Programs with Negation","author":"Turi","year":"1991"},{"issue":"4","key":"10.1016\/0743-1066(94)90026-4_BIB109","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. ACM"},{"key":"10.1016\/0743-1066(94)90026-4_BIB110","series-title":"Proceedings of the Third IEEE International Symposium on Logic Programming","first-page":"140","article-title":"Characterization of Terminating Logic Programs","author":"Vasak","year":"1986"},{"key":"10.1016\/0743-1066(94)90026-4_BIB111","series-title":"ECAI-84: Advances in Artificial Intelligence","first-page":"91","article-title":"A PROLOG Meta-Interpreter for Partial Evaluation and its Application to Source-to-Source Transformation and Query Optimization","author":"Venken","year":"1984"},{"key":"10.1016\/0743-1066(94)90026-4_BIB112","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(89)90088-1","article-title":"Recursive Query Processing: The Power of Logic","volume":"69","author":"Vieille","year":"1989","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0743-1066(94)90026-4_BIB113","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0304-3975(87)90039-9","article-title":"A Fixpoint Semantics of Horn Sentences Based on Substitution Sets","volume":"51","author":"Yamasaki","year":"1987","journal-title":"Theoret. Comput. Sci."}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106694900264?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106694900264?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:58:02Z","timestamp":1555127882000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0743106694900264"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":113,"alternative-id":["0743106694900264"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(94)90026-4","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}