{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:24Z","timestamp":1725490224101},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_28","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"410-424","source":"Crossref","is-referenced-by-count":1,"title":["Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System"],"prefix":"10.1007","author":[{"given":"Anderson","family":"Faustino da Silva","sequence":"first","affiliation":[]},{"given":"V\u00edtor","family":"Santos Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 4776, Artificial Intelligence Center, SRI International (1983)"},{"key":"28_CR2","volume-title":"Proceedings of the Eleventh International Conference on Logic Programming","author":"R.C. Haygood","year":"1994","unstructured":"Haygood, R.C.: Native code compilation in SICStus Prolog. In: Van Hentenryck, P. (ed.) Proceedings of the Eleventh International Conference on Logic Programming, MIT Press, Cambridge (1994)"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Diaz, D., Codognet, P.: The GNU Prolog System and its Implementation. In: SAC (2), pp. 728\u2013732 (2000)","DOI":"10.1145\/338407.338553"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Morales, J., Carro, M., Hermenegildo, M.: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. In: Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems, pp. 197\u2013212 (2003)","DOI":"10.1007\/978-3-540-24836-1_7"},{"key":"28_CR5","unstructured":"Van Roy, P.: Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, University of California, Berkeley, California, USA (1990)"},{"issue":"1","key":"28_CR6","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1147\/sj.391.0175","volume":"39","author":"T. Suganuma","year":"2000","unstructured":"Suganuma, T., Ogasawara, T.: Overview of the IBM Java Just-in-Time Compiler. IBM Systems Journal\u00a039(1), 66\u201376 (2000)","journal-title":"IBM Systems Journal"},{"key":"28_CR7","unstructured":"Paleczny, M., Vich, C., Click, C.: The Java HotSpot Server Compiler. In: Proceedings of the Java Virtual Machine Research and Technology Symposium, pp. 1\u201312 (2001)"},{"issue":"1","key":"28_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1147\/sj.391.0211","volume":"39","author":"B. Alpern","year":"2000","unstructured":"Alpern, B., Attanasio, C.R.: The Jalape\u00f1o Virtual Machine. IBM Systems Journal\u00a039(1), 211\u2013238 (2000)","journal-title":"IBM Systems Journal"},{"key":"28_CR9","unstructured":"Silva, A., Santos Costa, V.: Design of the YAPc Compiler: An Optimizing Compiler for Logic Programming Languages. In: Proceedings on 10th Brazilian Symposium on Programming Languages, Itatiaia-RJ, Brasil (2006)"},{"key":"28_CR10","unstructured":"Silva, A.: Design and Implementation of the YAPc Compiler: An Optimizing Compiler for Logic Programming Language. PhD thesis, Federal University of Rio de Janeiro - Brazil (2006)"},{"key":"28_CR11","unstructured":"Warren, D.H.D.: Implementing Prolog - Compiling Predicate Logic Programs. Technical Report 39-40, Department of Artificial Intelligence, University of Edinburgh (1977)"},{"key":"28_CR12","unstructured":"Mari\u00ebn, A.: Improving the Compilation of Prolog in the Framework of the Warren Abstract Machine. PhD thesis, Katholiek Universiteit Leuven (1993)"},{"key":"28_CR13","unstructured":"Tamura, N.: Knowledge-Based Optimization in Prolog Compiler. In: Proceedings of the Computer Society Fall Joint Conference, pp. 237\u2013240 (1986)"},{"issue":"1-3","key":"28_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0743-1066(96)00065-9","volume":"29","author":"A. Taylor","year":"1996","unstructured":"Taylor, A.: Parma - Bridging the Performance GAP Between Imperative and Logic Programming. Journal of Logic Programming\u00a029(1-3), 5\u201316 (1996)","journal-title":"Journal of Logic Programming"},{"issue":"2-3","key":"28_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation and Application to Logic Programs. Journal of Logic Programming\u00a013(2-3), 103\u2013179 (1992)","journal-title":"Journal of Logic Programming"},{"key":"28_CR16","volume-title":"Native Code Compilation in SICStus Prolog","author":"R.C. Haygood","year":"1994","unstructured":"Haygood, R.C.: Native Code Compilation in SICStus Prolog. MIT Press, Cambridge (1994)"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Codognet, P., Diaz, D.: Compiling Prolog to C. In: Proceedings of the International Conference on Logic Programming, pp. 317\u2013331 (1995)","DOI":"10.7551\/mitpress\/4298.003.0037"},{"issue":"4","key":"28_CR18","first-page":"451","volume":"13","author":"D. Diaz","year":"2001","unstructured":"Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming\u00a013(4), 451\u2013490 (2001)","journal-title":"Journal of Functional and Logic Programming"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Henderson, F., Somogyi, Z.: Compiling Mercury to High-Level C Code. In: Proceedings of Computational Complexity. pp. 197\u2013212 (2002)","DOI":"10.1007\/3-540-45937-5_15"},{"key":"28_CR20","first-page":"260","volume-title":"Proceedings of ICLP 1999","author":"B. Demoen","year":"1999","unstructured":"Demoen, B., de la Banda, M.G., Harvey, W., Marriott, K., Stuckey, P.J.: Herbrand Constraint Solving in HAL. In: Proceedings of ICLP 1999, pp. 260\u2013274. MIT Press, Cambridge (1999)"},{"issue":"1-3","key":"28_CR21","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., DeBosschere, K., Demoen, B.: Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. Journal of Logic Programming\u00a029(1-3), 65\u201384 (1996)","journal-title":"Journal of Logic Programming"},{"key":"28_CR22","unstructured":"Chambers, C.: The Design and Implementation of the Self Compiler: an Optimizing Compiler for Objetct-Oriented Programming Languages. PhD thesis, Department of Computer Science, Stanford University (1992)"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"Rank, R.E., Hwu, W., Ran, B.R.: Region-Based Compilation: An Introduction and Motivation. In: Proceedings of the International Conference on Microarchitecture, pp. 158\u2013168 (1995)","DOI":"10.1109\/MICRO.1995.476823"},{"key":"28_CR24","unstructured":"Way, T., Breech, B., Pollock, L.: Evaluation of a Region-Based Partial Inlining Algorithm for an ILP Optimizing Compiler. In: Proceedings of the Conference on Parallel Architecture and Compilation Technique, pp. 24\u201336 (2000)"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Plezbert, M.P., Cytron, R.K.: Does Just-In-Time = Better Late Than Never? In: Proceedings of the Symposium on Principles of Programming Language, pp. 120\u2013131 (1997)","DOI":"10.1145\/263699.263713"},{"key":"28_CR26","unstructured":"Agesen, O., Detlefs, D.: Mixed-mode Bytecode Execution. Technical Report SMLI TR-2000-87, Sun Microsystems (2000)"},{"key":"28_CR27","unstructured":"MicroSystems, S.: The Java HotSpot Virtual Machine. Technical report, Sun Developer Network Community (2003)"},{"key":"28_CR28","unstructured":"Silva, A., Santos Costa, V.: An Experimental Evaluation of JAVA JIT Technology. In: Proceedings on 9th Brazilian Symposium on Programming Languages, Recife, Brasil (2005)"},{"key":"28_CR29","unstructured":"Silva, A., Santos Costa, V.: Our Experiences with Optimizations in Sun\u2019s Java Just-in-time Compilers. In: Proceedings on 10th Brazilian Symposium on Programming Languages, Itatiaia-RJ, Brasil (2006)"},{"key":"28_CR30","unstructured":"Lopes, R.N.: Execu\u00e7\u00e3o de Prolog com Alto Desempenho. Master\u2019s thesis, Universidade do Porto, Porto, Portugal (1996)"},{"key":"28_CR31","doi-asserted-by":"crossref","unstructured":"Krall, A.: The vienna abstract machine. The Journal of Logic Programming\u00a01-3 (1996)","DOI":"10.1016\/S0743-1066(96)00064-7"},{"key":"28_CR32","doi-asserted-by":"crossref","unstructured":"Fink, S., Qian, F.: Design, Implementation and Evaluation of Adaptive Recompilation With On-Stack-Replacement. In: Proceeding of the International Symposium on Code Generation and Optimization, pp. 421\u2013252 (2003)","DOI":"10.1109\/CGO.2003.1191549"},{"key":"28_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/10704567_16","volume-title":"Principles and Practice of Declarative Programming","author":"V. Santos Costa","year":"1999","unstructured":"Santos Costa, V.: Optimising bytecode emulation for prolog. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 261\u2013267. Springer, Heidelberg (1999)"},{"issue":"1","key":"28_CR34","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.108055","volume":"39","author":"P. Van Roy","year":"1992","unstructured":"Van Roy, P., Despain, A.: High Performance Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine\u00a039(1), 54\u201368 (1992)","journal-title":"IEEE Computer Magazine"},{"key":"28_CR35","doi-asserted-by":"crossref","unstructured":"Santos Costa, V., Sagonas, K., Lopes, R.: Demand-Driven Indexing of Prolog Clauses. In: Proceedings of the International Conference of Logic Programming, pp. 40\u201358 (2007)","DOI":"10.1007\/978-3-540-74610-2_27"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T15:36:24Z","timestamp":1708184184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_28","relation":{},"subject":[]}}