{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:37Z","timestamp":1742617237716,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:08:51Z","timestamp":1330294131000},"page":"284-300","source":"Crossref","is-referenced-by-count":0,"title":["Modules and specifications"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Pedro","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","unstructured":"K.R. Apt. Program Verification and Prolog. In E. Borger, editor, Specification and Validation Methods for Programming Languages and Systems, Oxford University Press, 1994."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"K.R. Apt and E. Marchiori. Reasoning about Prolog Programs: from Modes through Types to Assertions. To appear in Formal Aspects in Computing, 1994.","DOI":"10.1007\/BF01213601"},{"key":"20_CR3","unstructured":"A. Brogi, E. Lamma, and P. Mello. A General Framework for Structuring Logic Programs. C.N.R. Technical Report \u201cProgetto Finalizzato Sistemi Informatici e Calcolo Parallelo\u201d, N. 4\/1, May 1990."},{"key":"20_CR4","volume-title":"Research Monograph 79\/59 TOC","author":"K.L. Clark","year":"1979","unstructured":"K.L. Clark. Predicate Logic as a Computational Formalism. Research Monograph 79\/59 TOC, Imperial College, London, December 1979."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","volume":"118","author":"P. Deransart","year":"1993","unstructured":"P. Deransart. Proof Methods of Declarative Properties of Definite Programs. Theoretical Computer Science 118, pages 99\u2013166, 1993.","journal-title":"Theoretical Computer Science"},{"key":"20_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3345.001.0001","volume-title":"A Grammatical View of Logic Programming","author":"P. Deransart","year":"1993","unstructured":"P. Deransart and J. Ma\u0142uszy\u0144ski. A Grammatical View of Logic Programming. Cambridge, MA, 1993. The MIT Press."},{"key":"20_CR7","unstructured":"L. Giordano and A. Martelli. A Modal Reconstruction of Blocks and Modules in Logic Programming. In V. Saraswat and K. Ueda, editors, Logic Programming: Proceedings of the 1991 International Symposium, 1991. The MIT Press."},{"key":"20_CR8","first-page":"389","volume-title":"Local Definitions with Static Scope Rules in Logic Programming","author":"L. Giordano","year":"1988","unstructured":"L. Giordano, A. Martelli, and G. Rossi. Local Definitions with Static Scope Rules in Logic Programming. In International Conference on Fifth Generation Computer Systems 1988, pages 389\u2013396, Tokyo, Japan, 1988. ICOT."},{"key":"20_CR9","unstructured":"J.-M. Jacquet and L. Monteiro. Comparative Semantics for a Parallel Contextual Logic Programming Language. In Logic Programming: Proceedings of the 1990 North-American Conference, pages 195\u2013214, 1990. The MIT Press."},{"key":"20_CR10","unstructured":"A. Lallouet. Une S\u00e9mantique Inductive \u00e0 la Herbrand pour la Programmation Logique Contextuelle. Application \u00e0 une Notion de Correction Partielle. Journ\u00e9es Francophones de la Programmation Logique, Bordeaux, France, 1994."},{"key":"20_CR11","unstructured":"A. Lallouet. Preuves Compositionelles en Programmation Logique. Journ\u00e9es Francophones de la Programmation Logique, Dijon, France, 1995."},{"key":"20_CR12","unstructured":"F. McCabe. L&O: Logic and Objects. International Series in Computer Science. Prentice-Hall International, 1992."},{"key":"20_CR13","first-page":"275","volume-title":"Inheritance Hierarchies in Knowledge Representation and Programming Languages","author":"P. Mello","year":"1989","unstructured":"P. Mello. Inheritance as Combination of Horn Clause Theories. In D. Nardi and M. Simi, editors, Inheritance Hierarchies in Knowledge Representation and Programming Languages, chapter 17, pages 275\u2013289. Wiley, Chichester, UK, 1989."},{"key":"20_CR14","first-page":"106","volume-title":"A Theory of Modules for Logic Programming","author":"D. Miller","year":"1986","unstructured":"D. Miller. A Theory of Modules for Logic Programming. In R.M. Keller, editor, 1986 Symposium on Logic Programming, pages 106\u2013114, Washington, DC, 1986. IEEE Computer Society Press."},{"key":"20_CR15","unstructured":"D. Miller. Lexical Scoping as Universal Quantification. In G. Levi and M. Martelli, editors, Logic Programming: Proceedings of the 6th International Conference, pages 268\u2013283, 1989. The MIT Press."},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, 6:79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"20_CR17","unstructured":"L. Monteiro. The Semantics of Contextual Logic Programming. Technical Report UNL DI-5\/89, Dept. Inform\u00e1tica, Universidade Nova de Lisboa, 1989."},{"key":"20_CR18","unstructured":"L. Monteiro and A. Porto. Contextual Logic Programming. In G. Levi and M. Martelli, editors, Logic Programming: Proceedings of the 6th International Conference, pages 284\u2013299, 1989. The MIT Press."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"L. Monteiro and A. Porto. Semantic and Syntactic Inheritance in Logic Programming. In J. Darlington and R. Dietrich, editors, Declarative Programming, Sasbachwalden 1991, \u201cWorkshops in Computing\u201d series, 1992. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3794-8_11"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"L. Monteiro and A. Porto. A Language for Contextual Logic Programing. In K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten, editors, Logic Programming Languages: Constraints, Functions, and Objects, pages 115\u2013147, 1993. The MIT Press.","DOI":"10.7551\/mitpress\/4313.003.0008"},{"key":"20_CR21","unstructured":"Y. Moscowitz and E. Shapiro. Lexical Logic Programs. In K. Furukawa, editor, Logic Programming: Proceedings of the 8th International Conference, pages 349\u2013363, 1991. The MIT Press."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:23:42Z","timestamp":1742599422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}