{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:37Z","timestamp":1725562537720},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_7","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T19:50:55Z","timestamp":1281297055000},"page":"86-103","source":"Crossref","is-referenced-by-count":12,"title":["Improved Compilation of Prolog to C Using Moded Types and Determinism Information"],"prefix":"10.1007","author":[{"given":"J.","family":"Morales","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Colmerauer, A.: The Birth of Prolog. In: Second History of Programming Languages Conference. ACM SIGPLAN Notices, pp. 37\u201352 (1993)","DOI":"10.1145\/155360.155362"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19\/20","author":"P. Roy Van","year":"1994","unstructured":"Van Roy, P.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming\u00a019\/20, 385\u2013441 (1994)","journal-title":"Journal of Logic Programming"},{"key":"7_CR3","unstructured":"Pereira, F.: C-Prolog User\u2019s Manual, Version 1.5, University of Edinburgh (1987)"},{"key":"7_CR4","unstructured":"Warren, D.: An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025 (1983)"},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine, A Tutorial Reconstruction","author":"H. Ait-Kaci","year":"1991","unstructured":"Ait-Kaci, H.: Warren\u2019s Abstract Machine, A Tutorial Reconstruction. MIT Press, Cambridge (1991)"},{"key":"7_CR6","unstructured":"Taylor, A.: High-Performance Prolog Implementation. PhD thesis, Basser Department of Computer Science, Unversity of Sidney (1991)"},{"key":"7_CR7","unstructured":"Krall, A., Berger, T.: The VAMAI - an abstract machine for incremental global dataflow analysis of Prolog. In: de la Banda, M.G., Janssens, G., Stuckey, P. (eds.) ICLP \u201995 Post-Conference Workshop on Abstract Interpretation of Logic Languages, Tokyo, Science University of Tokyo, pp. 80\u201391 (1995)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Van Roy, P., Despain, A.: High-Performace Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine, 54\u201368 (1992)","DOI":"10.1109\/2.108055"},{"key":"7_CR9","unstructured":"Swedish Institute for Computer Science PO Box 1263, S-164 28 Kista, Sweden: SICStus Prolog 3.8 User\u2019s Manual. 3.8 edn. (1999) Available from http:\/\/www.sics.se\/sicstus\/"},{"key":"7_CR10","unstructured":"Mari\u00ebn, A.: Improving the Compilation of Prolog in the Framework of the Warren Abstract Machine. PhD thesis, Katholieke Universiteit Leuven (1993)"},{"key":"7_CR11","unstructured":"Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 2001 (2001)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10704567_1","volume-title":"Principles and Practice of Declarative Programming","author":"S.L.P. Jones","year":"1999","unstructured":"Jones, S.L.P., Ramsey, N., Reig, F.: C\u2013: A Portable Assembly Language that Supports Garbage Collection. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 1\u201328. Springer, Heidelberg (1999)"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"317","DOI":"10.7551\/mitpress\/4298.003.0037","volume-title":"International Conference on Logic Programming","author":"P. Codognet","year":"1995","unstructured":"Codognet, P., Diaz, D.: WAMCC: Compiling Prolog to C. In: Sterling, L. (ed.) International Conference on Logic Programming, pp. 317\u2013331. MIT Press, Cambridge (1995)"},{"key":"7_CR14","unstructured":"Quintus Computer Systems Inc. Mountain View CA 94041: Quintus Prolog User\u2019s Guide and Reference Manual\u2014Version 6. (1986)"},{"key":"7_CR15","unstructured":"Santos-Costa, V., Damas, L., Reis, R., Azevedo, R.: The Yap Prolog User\u2019s Manual. (2000) Available from http:\/\/www.ncc.up.pt\/~vsc\/Yap"},{"key":"7_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1007\/3-540-44957-4_83","volume-title":"Computational Logic - CL 2000","author":"B. Demoen","year":"2000","unstructured":"Demoen, B., Nguyen, P.L.: So Many WAM Variations, So Little Time. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1240\u20131254. Springer, Heidelberg (2000)"},{"key":"7_CR17","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G.: The Ciao Prolog System. Reference Manual (v1.8). The Ciao System Documentation Series\u2013TR CLIP4\/2002.1, School of Computer Science, Technical University of Madrid (UPM) (2002), System and on-line version of the manual available at http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/777388.777393","volume-title":"ACM Partial Evaluation and Semantics based Program Manipulation (PEPM 2003)","author":"G. Puebla","year":"2003","unstructured":"Puebla, G., Hermenegildo, M.: Abstract Specialization and its Applications. In: ACM Partial Evaluation and Semantics based Program Manipulation (PEPM 2003), pp. 29\u201343. ACM Press, New York (2003) (invited talk)"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0743-1066(92)90033-Y","volume":"13","author":"W. Winsborough","year":"1992","unstructured":"Winsborough, W.: Multiple Specialization using Minimal-Function Graph Semantics. Journal of Logic Programming\u00a013, 259\u2013290 (1992)","journal-title":"Journal of Logic Programming"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-49201-1_17","volume-title":"Practical Aspects of Declarative Languages","author":"M. Ferreira","year":"1999","unstructured":"Ferreira, M., Damas, L.: Multiple Specialization of WAM Code. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, p. 243. Springer, Heidelberg (1999)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(89)90035-6","volume":"6","author":"J. Mills","year":"1989","unstructured":"Mills, J.: A high-performance low risc machine for logic programming. Journal of Logic Programming\u00a0(6), 179\u2013212 (1989)","journal-title":"Journal of Logic Programming"},{"key":"7_CR22","first-page":"174","volume-title":"1990 International Conference on Logic Programming","author":"A. Taylor","year":"1990","unstructured":"Taylor, A.: LIPS on a MIPS: Results from a prolog compiler for a RISC. In: 1990 International Conference on Logic Programming, pp. 174\u2013189. MIT Press, Cambridge (1990)"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. Hermenegildo","year":"1991","unstructured":"Hermenegildo, M., Greene, K.: The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing\u00a09, 233\u2013257 (1991)","journal-title":"New Generation Computing"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201361. Springer, Heidelberg (2000)"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44898-5_8","volume-title":"Static Analysis","author":"M. Hermenegildo","year":"2003","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 127\u2013152. Springer, Heidelberg (2003)"},{"key":"7_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44957-4_9","volume-title":"Computational Logic - CL 2000","author":"D. Cabeza","year":"2000","unstructured":"Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 131\u2013148. Springer, Heidelberg (2000)"},{"key":"7_CR27","unstructured":"Van Roy, P.: Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, Univ. of California Berkeley (1990) Report No. UCB\/CSD 90\/600"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-45937-5_15","volume-title":"Compiler Construction","author":"F. Henderson","year":"2002","unstructured":"Henderson, F., Somogyi, Z.: Compiling Mercury to High-Level C Code. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 197\u2013212. Springer, Heidelberg (2002)"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP 29 (1996)","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0743-1066(96)00063-5","volume":"29","author":"P. Tarau","year":"1996","unstructured":"Tarau, P., De Bosschere, K., Demoen, B.: Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. Journal of Logic Programming\u00a029, 65\u201383 (1996)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T05:57:14Z","timestamp":1711691834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}