{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:46:31Z","timestamp":1760298391662},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_6","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T07:03:26Z","timestamp":1315465406000},"page":"127-159","source":"Crossref","is-referenced-by-count":18,"title":["Horn Logic Denotations and Their Applications"],"prefix":"10.1007","author":[{"given":"Gopal","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Theoretical Computer Science","author":"R Alur","year":"1994","unstructured":"R. Alur,D. Dill. The Theory of Timed Automata.Theoretical Computer Science, 126, 1994"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1145\/232706.232734","volume":"18","author":"M Garcia de la Banda","year":"1996","unstructured":"M. Garcia de la Banda, M. Hermenegildo, et al.Global Analysis of Constraint Logic Programs. In ACM Trans. on Prog. Languages and Systems, Vol. 18, Num. 5, pages 564\u2013615, ACM, 1996","journal-title":"ACM Trans. on Prog. Languages and Systems"},{"key":"6_CR3","volume-title":"Deductive Databases and Logic Programming","author":"SK Das","year":"1992","unstructured":"S. K. Das. Deductive Databases and Logic Programming. Addison-Wesley. 1992"},{"key":"6_CR4","volume-title":"Non-failure Analysis for Logic Programs","author":"S Debray","year":"1997","unstructured":"S. Debray, P. Lopez-Garcia, and M. Hermenegildo. Non-failure Analysis for Logic Programs. In International Conference on Logic Programming. MIT Press, 1997."},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-55984-1_11","volume":"641","author":"DF Brown","year":"1992","unstructured":"D.F. Brown et al. ACTRESS: an action semantics directed compiler generator. In Proc. 4th Int\u2019l Conf. on Compiler Construction. Springer LNCS 641, pp. 95\u2013109. 1992","journal-title":"Proc. 4th Int\u2019l Conf. on Compiler Construction"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"W. Chen, D. S.Warren. Tabled Evaluation with Delaying for General Logic Programs,In J ACM 43(1):20\u201374","DOI":"10.1145\/227595.227597"},{"key":"6_CR7","first-page":"772","volume-title":"Proc. N. American Conf. on Logic Programming","author":"S Satluri","year":"1989","unstructured":"S. Satluri and A. C. Fleck. Semantic Specification using Logic Programs. In Proc. N. American Conf. on Logic Programming 1989, MIT Press. pp. 772\u2013791"},{"key":"6_CR8","volume-title":"ACM TOPLAS","author":"EM Clark","year":"1986","unstructured":"E. M. Clark, E. A. Emerson, A. P. Sistla.Automatic Verification of finite-state Concurrent Systems Using Temporal Logic Specification. InACM TOPLAS, 8(2), 1986"},{"key":"6_CR9","first-page":"170","volume-title":"Architecturing Software Using a Methodology for Language Development","author":"C Consel","year":"1998","unstructured":"C. Consel. Architecturing Software Using a Methodology for Language Development. In Proc. 10th Int\u2019l Symp. on Prog. Lang. Impl., Logics and Programs (PLILP), Sep. 1998, Springer LNCS 1490, pp. 170\u2013194"},{"key":"6_CR10","first-page":"238","volume-title":"Abstract Interpretation: A Unified Model for Static Analysis of Programs for Construction or Approximation of Fix-points","author":"P Cousot","year":"1977","unstructured":"P. Cousot, R. Cousot, \u201cAbstract Interpretation: A Unified Model for Static Analysis of Programs for Construction or Approximation of Fix-points\u201d, In Conference Record of the 4th ACM POPL, pp. 238\u2013252, 1977"},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-13346-1_11","volume":"173","author":"T Despeyroux","year":"1984","unstructured":"Thierry Despeyroux. Executable specification of static semantics. In Semantics of Data Types, Springer LNCS 173. pp. 215\u2013234. 1984","journal-title":"Semantics of Data Types"},{"key":"6_CR12","first-page":"230","volume-title":"A Constraint-based Denotational Approach to Specification and Verification of Real-time Systems","author":"G Gupta","year":"1997","unstructured":"G. Gupta, E. Pontelli. A Constraint-based Denotational Approach to Specification and Verification of Real-time Systems. In Proc. IEEE Real-time Systems Symposium, San Francisco, pp. 230\u2013239. Dec. 1997"},{"key":"6_CR13","first-page":"579","volume-title":"Automatic Derivation of a Provably Correct Parallelizing Compiler","author":"G Gupta","year":"1998","unstructured":"G. Gupta, E. Pontelli, R. Felix-Cardenas, A. Lara, Automatic Derivation of a Provably Correct Parallelizing Compiler, In Proceedings of International Conference on Parallel Processing,IEEE Press, Aug, 1998, pp. 579\u2013586."},{"key":"6_CR14","volume-title":"Horn Logic Denotations and Their Applications","author":"G Gupta","year":"1995","unstructured":"G. Gupta. Horn Logic Denotations and Their Applications. Internal Memo. Jan 1995."},{"key":"6_CR15","volume-title":"Specification, Verification, Composition, and Interopera- tion of Complex Software Systems: A Logical Denotational Approach","author":"G Gupta","year":"1997","unstructured":"G. Gupta, E. Pontelli. Specification, Verification, Composition, and Interopera- tion of Complex Software Systems: A Logical Denotational Approach. Technical Report. New Mexico State University. Dec. 1997."},{"key":"6_CR16","unstructured":"G. Gupta, E. Pontelli, H. Guo, L. Zhu. Automatic Generation of a WAM- compiler and a Native Code Compiler for Prolog. New Mexico State University. Working paper"},{"key":"6_CR17","unstructured":"G. Gupta, E. Pontelli. Horn Logical Denotational Framework for Abstract Interpretation. New Mexico State University. Working paper."},{"key":"6_CR18","volume-title":"Programming Language Semantics","author":"C Gunter","year":"1992","unstructured":"C. Gunter. Programming Language Semantics. MIT Press. 1992"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"C. A. R. Hoare.An Axiomatic Basis for Computer Programming. Comm. of the ACM. Vol. 12. pp. 576\u2013580, 1969","journal-title":"Comm. of the ACM"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"N. Jones. Introduction to Partial Evaluation. In ACM Computing Surveys. 28(3):480\u2013503.","DOI":"10.1145\/243439.243447"},{"key":"6_CR21","volume-title":"Constraint logic programming","author":"JL Lassez","year":"1987","unstructured":"J. L. Lassez and J. Jaffar. Constraint logic programming. In Proc. 14th ACM POPL, 1987"},{"key":"6_CR22","volume-title":"Realistic Compiler Generation","author":"P Lee","year":"1989","unstructured":"P. Lee. Realistic Compiler Generation. The MIT Press, Cambridge, MA, 1989."},{"key":"6_CR23","first-page":"136","volume-title":"A Framework for Translation of Braille Nemeth Math to LATEX: The MAVIS Project","author":"A Karshmer","year":"1998","unstructured":"A. Karshmer, G. Gupta, S. Geiger, C. Weaver. A Framework for Translation of Braille Nemeth Math to LATEX: The MAVIS Project. In Proc. ACM Conference on Assistive Technologies, ACM Press, pp. 136\u2013143, Mar. 1998"},{"key":"6_CR24","first-page":"63","volume-title":"Automatic Termination Analysis for Logic Programs","author":"N Lindenstrauss","year":"1997","unstructured":"N. Lindenstrauss, Y. Sagiv. Automatic Termination Analysis for Logic Programs. In Proc. International Conference on Logic Programming, 1997. pp. 63\u201377"},{"key":"6_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer Verlag. 2nd ed. 1987","edition":"2"},{"key":"6_CR26","volume-title":"From Operational Semantics to Abstract Machines","author":"J Hannan","year":"1990","unstructured":"J. Hannan, D. Miller. From Operational Semantics to Abstract Machines. In Proc. Lisp and Functional Programming Conference, 1990."},{"key":"6_CR27","first-page":"436","volume":"45","author":"PD Mosses","year":"1976","unstructured":"P.D. Mosses. Compiler Generation using Denotational Semantics. In Math. Foundations of Computer Science, Springer LNCS 45, pages 436\u2013441, 1976","journal-title":"In Math. Foundations of Computer Science"},{"key":"6_CR28","volume-title":"The Braille-Nemeth Math Code","author":"A Nemeth","year":"1972","unstructured":"A. Nemeth. The Braille-Nemeth Math Code. American Printing House for the Blind. 1972Revision.Louisville, Kentucky"},{"issue":"1","key":"6_CR29","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0304-3975(86)90006-X","volume":"56","author":"F Nielson","year":"1988","unstructured":"F. Nielson and H. R. Nielson. Two level semantics and code generation. Theoretical Computer Science, 56(1):59\u2013133. 1988.","journal-title":"Theoretical Computer Science"},{"key":"6_CR30","volume-title":"Practical Program Analysis Using General Purpose Logic Programming Systems","author":"CR Ramakrishnan","year":"1996","unstructured":"C. R. Ramakrishnan, S. Dawson, and D. Warren. Practical Program Analysis Using General Purpose Logic Programming Systems: A Case Study. In Proc. ACM Conf. on Programming Language Design and Implementation 1996"},{"volume-title":"Proceedings of the Usenix Conference on Domain-Specific Languages","year":"1997","key":"6_CR31","unstructured":"C. Ramming. Editor, Proceedings of the Usenix Conference on Domain-Specific Languages, October 1997, Santa Barbara, California, USA."},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"M. Raskovsky, Phil Collier. From Standard to Implementational Denotational Semantics. In Semantics Directed Compiler Generation Lecture Notes in Computer Science 94. Springer Verlag. pp. 94\u2013139","DOI":"10.1007\/3-540-10250-7_20"},{"key":"6_CR33","volume-title":"Efficient Model Checking using Tabled Resolution","author":"YS Ramakrishnan","year":"1997","unstructured":"Efficient Model Checking using Tabled Resolution. Y.S. Ramakrishnan, C.R. Ramakrishnan, I.V. Ramakrishnan et al. In Proceedings of Computer Aided Verification (CAV\u201997). 1997"},{"key":"6_CR34","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/3-540-57877-3_17","volume":"786","author":"J Ringstrom","year":"1994","unstructured":"J. Ringstrom, P. Fritzson, M. Pettersson. Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. In Lecture Notes in Computer Science, Vol. 786, pp. 248\u2013260. 1994.","journal-title":"In Lecture Notes in Computer Science"},{"key":"6_CR35","volume-title":"High Integrity Compilation","author":"S Stepney","year":"1993","unstructured":"S. Stepney. High Integrity Compilation. Prentice Hall. 1993"},{"key":"6_CR36","unstructured":"D. Sahlin. An Automatic Partial Evaluator for Full Prolog. Ph.D. Thesis. 1994. Royal Institute of Technology, Sweden. (Software available from www.sics.se)."},{"key":"6_CR37","volume-title":"XSB as an efficient deductive database engine","author":"K Sagonas","year":"1994","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In Proc. SIGMOD International Conf. on Management of Data, 1994"},{"key":"6_CR38","volume-title":"Denotational Semantics: a Methodology for Language Development","author":"D Schmidt","year":"1986","unstructured":"D. Schmidt. Denotational Semantics: a Methodology for Language Development. W.C. Brown Publishers, 1986."},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"D. Schmidt. Programming language semantics. In CRC Handbook of Computer Science, Allen Tucker, ed., CRC Press, Boca Raton, FL, 1996. Summary version, ACM Computing Surveys 28\u20131 (1996) 265\u2013267.","DOI":"10.1145\/234313.234419"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"D. Schmidt. On the Need for a Popular Formal Semantics. Proc. ACM Conf. on Strategic Directions in Computing Research, Cambridge, MA, June 1996. ACM SIGPLAN Notices 32\u20131 (1997) 115\u2013116","DOI":"10.1145\/251595.251617"},{"key":"6_CR41","volume-title":"Dataflow Analysis is Model Checking of an Abstract Interpreter","author":"D Schmidt","year":"98","unstructured":"D. Schmidt. Dataflow Analysis is Model Checking of an Abstract Interpreter. In Proc. ACM POPL\u201998"},{"key":"6_CR42","volume-title":"The Art of Prolog","author":"L Sterling","year":"94","unstructured":"L. Sterling & S. Shapiro. The Art of Prolog. MIT Press\u2019,94."},{"key":"6_CR43","volume-title":"Compiling Dataflow Analysis of Logic Programs","author":"J Tan","year":"1992","unstructured":"J. Tan and I-P. Lin. Compiling Dataflow Analysis of Logic Programs. In Proc. ACM Conf. on Programming Language Design and Implementation. SIGPLAN Notices, 27(7), 1992."},{"key":"6_CR44","volume-title":"Constraint Handling in Prolog","author":"P Hentenryck Van","year":"1988","unstructured":"P. Van Hentenryck. Constraint Handling in Prolog. MIT Press, 1988"},{"key":"6_CR45","volume-title":"Foundation of Databases","author":"S Abiteboul","year":"1995","unstructured":"S. Abiteboul, R. Hull, V. Vianu. Foundation of Databases. Addison-Wesley, 1995."},{"key":"6_CR46","first-page":"234","volume-title":"Semantics-directed Machine Architecture","author":"M Wand","year":"1982","unstructured":"M. Wand. Semantics-directed Machine Architecture. In ACM POPL. pp. 234\u2013241. 1982"},{"key":"6_CR47","volume-title":"An Abstract Instruction Set for Prolog","author":"DHD Warren","year":"83","unstructured":"D.H.D. Warren. An Abstract Instruction Set for Prolog. Tech. Note 309, SRI Int\u2019l\u2019,83"},{"key":"6_CR48","unstructured":"D.H.D. Warren. Higher Order Extensions to Prolog: Are They Needed? Machine Intell., 10:441\u2013454"},{"key":"6_CR49","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/spe.4380100203","volume":"10","author":"DHD Warren","year":"1979","unstructured":"D.H.D. Warren. Logic Programming for Compiler-writing. Software Practice and Experience, 10, pp. 97\u2013125. 1979.","journal-title":"Software Practice and Experience"},{"key":"6_CR50","volume-title":"Supercompilers for Parallel and Vector Computers","author":"H Zima","year":"91","unstructured":"H. Zima, B. Chapman. Supercompilers for Parallel and Vector Computers. ACM Press\u2019,91"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T16:35:00Z","timestamp":1606235700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_6","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}