{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:48:52Z","timestamp":1725572932704},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255604"},{"type":"electronic","value":"9783540321248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415763_20","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T19:42:42Z","timestamp":1292874162000},"page":"294-308","source":"Crossref","is-referenced-by-count":1,"title":["A Pragmatic Approach to Pre-testing Prolog Programs"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Marija","family":"Kula\u0161","sequence":"additional","affiliation":[]},{"given":"Manfred","family":"Widera","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Brunsmann, J., Homrighausen, A., Six, H.-W., Voss, J.: Assignments in a Virtual University \u2013 The WebAssign-System. In: Proc. 19th World Conference on Open Learning and Distance Education, Vienna, Austria (June 1999)"},{"key":"20_CR2","unstructured":"Beierle, C., Kula\u0161, M., Widera, M.: Automatic analysis of programming assignments. In: Bode, A., Desel, J., Ratmayer, S., Wessner, M. (eds.) DeLFI 2003. Proceedings der 1. e-Learning Fachtagung Informatik, Bonn. LNI, vol.\u00a0P-37, K\u00f6llen Verlag (2003)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0304-3975(88)90099-0","volume":"59","author":"W. Drabent","year":"1988","unstructured":"Drabent, W., Ma\u0142uszy\u0144ski, J.: Inductive assertion method for logic programs. Theoretical Computer Science\u00a059, 133\u2013155 (1988)","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0743-1066(98)10036-5","volume":"39","author":"M. Ducasse","year":"1999","unstructured":"Ducasse, M.: Opium: An extendable trace analyser for prolog. J.\u00a0of Logic Programming\u00a039, 177\u2013223 (1999)","journal-title":"J.\u00a0of Logic Programming"},{"key":"20_CR5","volume-title":"The Logic Programming Paradigm: A 25-Year Perspective","author":"M. Hermenegildo","year":"1999","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F.: Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In: Apt, K., Marek, V., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm: A 25-Year Perspective. Springer, Heidelberg (1999)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/10720327_14","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Kula\u0161","year":"2000","unstructured":"Kula\u0161, M.: Annotations for Prolog \u2013 A concept and runtime handling. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, pp. 234\u2013254. Springer, Heidelberg (2000)"},{"key":"20_CR7","volume-title":"Proceedings of the Conference Networked Learning in a Global Environment","author":"R. L\u00fctticke","year":"2002","unstructured":"L\u00fctticke, R., Gn\u00f6rlich, C., Helbig, H.: VILAB - a virtual electronic laboratory for applied computer science. In: Proceedings of the Conference Networked Learning in a Global Environment. ICSC Academic Press, Canada (2002)"},{"key":"20_CR8","unstructured":"Homepage LVU, Fernuniversit\u00e4t Hagen (2003), http:\/\/www.fernuni-hagen.de\/LVU\/"},{"key":"20_CR9","unstructured":"Neumerkel, U.: A programming course for declarative programming with Prolog (1997), http:\/\/www.complang.tuwien.ac.at\/ulrich\/gupu\/material\/1997-gupu.ps.gz"},{"key":"20_CR10","unstructured":"Neumann, H.: Automatisierung des Testens von Zusicherungen f\u00fcr Prolog-Programme. Diplomarbeit, FernUniversit\u00e4t Hagen (1998)"},{"key":"20_CR11","unstructured":"Neumerkel, U., Kral, S.: Declarative program development in Prolog with GUPU. In: Proc. of the 12th Internat. Workshop on Logic Programming Environments (WLPE 2002), Copenhagen, pp. 77\u201386 (2002)"},{"key":"20_CR12","unstructured":"O\u2019Keefe, R.A.: advice.pl. Interlisp-like advice package (1984)"},{"key":"20_CR13","unstructured":"Swedish Institute of Computer Science. SICStus Prolog User\u2019s Manual (April 2001) (Release 3.8.6)"},{"issue":"3","key":"20_CR14","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0743-1066(97)10013-9","volume":"36","author":"R.F. St\u00e4rk","year":"1998","unstructured":"St\u00e4rk, R.F.: The theoretical foundations of LPTP (a logic program theorem prover). J.\u00a0of Logic Programming\u00a036(3), 241\u2013269 (1998); Source distribution, http:\/\/www.inf.ethz.ch\/~staerk\/lptp.html","journal-title":"J.\u00a0of Logic Programming"},{"key":"20_CR15","unstructured":"Homepage WebAssign (2003), http:\/\/www-pi3.fernuni-hagen.de\/WebAssign\/"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Widera, M.: Testing Scheme programming assignments automatically. In: Trends in Functional Programming. Intellect (2004) (to appear)","DOI":"10.2307\/j.ctv36xvxxx.10"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415763_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T15:25:21Z","timestamp":1685892321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415763_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255604","9783540321248"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11415763_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}