Search results for "interpreters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Jiro Tanaka	Meta-Interpreters and Reflective Operations in GHC.	FGCS	1988	DBLP BibTeX RDF
19	William H. Winsborough	Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures.	SLP	1987	DBLP BibTeX RDF
19	Richard L. Wexelblat (eds.)	Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987	PLDI	1987	DBLP DOI BibTeX RDF
19	Miquel Huguet, Tomás Lang, Yuval Tamir	A block-and-actions generator as an alternative to a simulator for collecting architecture measurements.	PLDI	1987	DBLP DOI BibTeX RDF
19	Stephen K. Skedzielewski, Robert Kim Yates, R. R. Oldehoeft	DI: an interactive debugging interpreter for applicative languages.	PLDI	1987	DBLP DOI BibTeX RDF
19	J. Eliot B. Moss	Managing stack frames in Smalltalk.	PLDI	1987	DBLP DOI BibTeX RDF	Smalltalk
19	Richard C. Waters	Efficient interpretation of synchronizable series expressions.	PLDI	1987	DBLP DOI BibTeX RDF
19	J. Dana Eckart, Richard J. LeBlanc	Distributed garbage collection.	PLDI	1987	DBLP DOI BibTeX RDF
19	Benjamin B. Chase, Robert T. Hood	Selective interpretation as a technique for debugging computationally intensive programs.	PLDI	1987	DBLP DOI BibTeX RDF
19	Bernard Lang, Francis Dupont	Incremental incrementally compacting garbage collection.	PLDI	1987	DBLP DOI BibTeX RDF
19	Robert S. Sutor, Richard D. Jenks	The type inference and coercion facilities in the scratchpad II interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	SCRATCHPAD
19	Olivier Danvy	Memory allocation and higher-order functions.	PLDI	1987	DBLP DOI BibTeX RDF
19	Hans-Juergen Boehm	Constructive real interpretation of numerical programs.	PLDI	1987	DBLP DOI BibTeX RDF
19	A. Jefferson Offutt, K. N. King	A Fortran 77 interpreter for mutation analysis.	PLDI	1987	DBLP DOI BibTeX RDF	FORTRAN
19	David Gelernter, Suresh Jagannathan, Thomas London	Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	LISP
19	Cathy May	Mimic: a fast system/370 simulator.	PLDI	1987	DBLP DOI BibTeX RDF
19	Henry Harr, Martha W. Evens, James Sprowl	Interpreting ABF - a language for document construction.	PLDI	1987	DBLP DOI BibTeX RDF	ABF
19	Andreas Krall	Implementation of a high-speed Prolog interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	Prolog
19	Christopher F. Clark	The JADE interpreter: a RISC interpreter for syntax directed editing.	PLDI	1987	DBLP DOI BibTeX RDF	RISC
19	Thomas Pittman	Two-level hybrid interpreter/native code execution for combined space-time program efficiency.	PLDI	1987	DBLP DOI BibTeX RDF
19	Rolf Bahlke, Bernhard Moritz, Gregor Snelting	A generator for language-specific debugging systems.	PLDI	1987	DBLP DOI BibTeX RDF
19	Arch Douglas Robison	The Illinois functional programming interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	FP
19	Gregory F. Johnson	GL-a denotational testbed with continuations and partial continuations as first-class objects.	PLDI	1987	DBLP DOI BibTeX RDF
19	Antony A. Faustini, William W. Wadge	An eductive interpreter for Lucid.	PLDI	1987	DBLP DOI BibTeX RDF	LUCID
19	David Notkin, William G. Griswold	Enhancement through extension: the extension interpreter.	PLDI	1987	DBLP DOI BibTeX RDF
19	James R. Cordy, T. C. Nicholas Graham	Design of an interpretive environment for Turing.	PLDI	1987	DBLP DOI BibTeX RDF	TURING
19	Phil Kearns, Chris Cipriani, Mitzi Freeman	CCAL: An interpreted language for experimentation in concurrent control.	PLDI	1987	DBLP DOI BibTeX RDF
19	Kai Koskimies, Jukka Paakki	TOOLS: a unifying approach to object-oriented language interpretation.	PLDI	1987	DBLP DOI BibTeX RDF
19	James P. Kelsh, John C. Hansen	Reasonably priced compilers an interpreters for the IBM PC and compatible computers.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
19	Greg Michaelson	Interpreters From Functions and Grammars.	Comput. Lang.	1986	DBLP DOI BibTeX RDF
19	Leon Sterling, Randall D. Beer	Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. (long version: JLP 6(1&2): 163-178)	SLP	1986	DBLP BibTeX RDF
19	Leon Sterling	Meta-interpreters for expert systems (abstract).	ACM Conference on Computer Science	1986	DBLP DOI BibTeX RDF
19	Shmuel Safra, Ehud Shapiro	Meta Interpreters For Real (Invited Paper).	IFIP Congress	1986	DBLP BibTeX RDF
19	Akikazu Takeuchi	Meta Interpreters For Real - Response.	IFIP Congress	1986	DBLP BibTeX RDF
19	John P. Gallagher	Transforming Logic Programs by Specialising Interpreters.	ECAI	1986	DBLP BibTeX RDF
19	François-Xavier Testard-Vaillant	Exceptions and Interpreters.	AIMSA	1986	DBLP BibTeX RDF
19	Jean-Jacques Girardot	The APL 90 project: new directions in APL interpreters technology.	APL	1985	DBLP DOI BibTeX RDF
19	Robert Bernicky, Geno Coschi, James L. Ryan, Bob Smith, Philip A. Van Cleave, James G. Wheeler	Writing interpreters (panel).	APL	1985	DBLP DOI BibTeX RDF
19	Maurice Bruynooghe	Garbage Collection in Prolog Interpreters.	Implementations of Prolog	1984	DBLP BibTeX RDF
19	Derek R. Brough, Adrian Walker	Some Practical Properties of Logic Programming Interpreters.	FGCS	1984	DBLP BibTeX RDF
19	James C. Brakefield	Talk on interpreters.	SIGARCH Comput. Archit. News	1982	DBLP DOI BibTeX RDF
19	John Kontos, George K. Papakonstantinou	The Interpretation of Meta Grammars Describing Syntax-Directed Interpreters Using an Attribute Grammar Interpreter.	IEEE Trans. Software Eng.	1982	DBLP DOI BibTeX RDF
19	Maurice Bruynooghe	A Note on Garbage-Collection in Prolog Interpreters.	ICLP	1982	DBLP BibTeX RDF
19	Nigel P. Chapman	Theory and practice in the construction of efficient interpreters		1980	RDF
19	Frank G. Pagan	Algol 68 as an implementation language for portable interpreters.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
19	Arvind, Kim P. Gostelow	Some Relationships Between Asynchronous Interpreters of a Dataflow Language.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
19	Dines Bjørner	Programming Languages: Formal Development of Interpreters and Compilers.	International Computing Symposium	1977	DBLP BibTeX RDF
19	Sanjay Ranade	Design of Interpreters for Programming Languages.		1976	RDF
19	Donald Nudds	Conversion of Programs Between Computers: Interpreters, Simulators and Compilers.	J. Comput. Syst. Sci.	1973	DBLP DOI BibTeX RDF
19	Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli	Towards an Automatic Generation of Interpreters.	GI Jahrestagung	1973	DBLP DOI BibTeX RDF
19	Reiner W. Hartenstein	Hierarchy of Interpreters for Modelling Complex Digital Systems.	GI Jahrestagung	1973	DBLP DOI BibTeX RDF
19	John C. Reynolds	Definitional interpreters for higher-order programming languages.	ACM Annual Conference (2)	1972	DBLP DOI BibTeX RDF
19	Clement McGowan	Correctness Results For Lambda Calculus Interpreters.		1970	RDF
19	Robert E. Machol, William J. Eccles, J. Carter Bays	There's still a place for interpreters.	ACM National Meeting	1961	DBLP DOI BibTeX RDF
19	Stergios Papadimitriou, Constantinos Terzidis, Seferina Mavroudi, Spiridon D. Likothanassis	ScalaLab: An Effective Scala-Based Scientific Programming Environment for Java.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	Groovy, class loaders, Java, interpreters, Matlab, scripting, functional languages, binding, scientific programming, dynamic languages, Scala
19	Ariel Ortiz	Building server-side web language processors.	SIGCSE	2010	DBLP DOI BibTeX RDF	compilers, programming languages, interpreters, web development, web frameworks
19	Gautam Shroff, Puneet Agarwal, Premkumar T. Devanbu	Instant multi-tier web applications without tears.	ISEC	2009	DBLP DOI BibTeX RDF	muli-tier development, model driven architecture, interpreters
19	Matthias Blume, Mike Rainey, John H. Reppy	Calling variadic functions from a strongly-typed language.	ML	2008	DBLP DOI BibTeX RDF	compilers, interpreters, foreign-function interfaces
19	Theo D'Hondt	Are Bytecodes an Atavism?	S3	2008	DBLP DOI BibTeX RDF	Virtual machines, interpreters, bytecodes
19	David Herman, Cormac Flanagan	Status report: specifying javascript with ML.	ML	2007	DBLP DOI BibTeX RDF	definitional interpreters, JavaScript, standard ML
19	Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha	Implementing DSLs in metaOCaml.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	staged interpreters, program generation, multi-stage programming
19	Gaurav S. Kc, Angelos D. Keromytis, Vassilis Prevelakis	Countering code-injection attacks with instruction-set randomization.	CCS	2003	DBLP DOI BibTeX RDF	interpreters, emulators, buffer overflows
19	José Emilio Labra Gayo, José M. Morales Gil, A. M. Fernández Álvarez, H. Sagastegui Chigne	A generic e-learning multiparadigm programming language system: IDEFIX project.	SIGCSE	2003	DBLP DOI BibTeX RDF	web services, XML, logic programming, functional programming, interpreters
19	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
19	Robert Glück	Jones optimality, binding-time improvements, and the strength of program specializers.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Futamura projections, Jones optimality, binding-time improvements, interpretive approach, self-interpreters, specializer projections, metacomputation
19	Arthur I. Baars, S. Doaitse Swierstra	Typing dynamic typing.	ICFP	2002	DBLP DOI BibTeX RDF	Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing
19	Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja	Techniques for obtaining high performance in Java programs.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	bytecode-to-source translators, direct compilers, Java, Java, interpreters, Java virtual machine, just-in-time compilers, dynamic compilation
19	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
19	John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi	Extending Java for Package based Access Control.	ACSAC	2000	DBLP DOI BibTeX RDF	package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation
19	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Jorge Pacios-Martínez	VisMod: A Beginner-Friendly Programming Environment.	SAC	1999	DBLP DOI BibTeX RDF	CS1-2, laboratory environments, user interfaces, interpreters, visual debugging
19	Arthur Vargas Lopes	Ada+SQL-an overview.	SIGAda	1999	DBLP DOI BibTeX RDF	compilers, relational databases, programming, interpreters, environments, computer education
19	Scott Thibault, Jerôme Marant, Gilles Muller	Adapting Distributed Applications Using Extensible Networks.	ICDCS	1999	DBLP DOI BibTeX RDF	Audio broadcasting, Extensible HTTP server, Adaptation, Domain-Specific Languages, Interpreters, Active Networks, Specialization
19	Anthony I. Wasserman	Java Development Environments (Panel).	ICSE	1997	DBLP DOI BibTeX RDF	programming enviroments, Java, Java, compilers, interpreters, end-user programming
19	Denis Béchet	Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages.	ESOP	1996	DBLP DOI BibTeX RDF	alternative values, strongly-typed language, interpreters, partial evaluation, type specialization
19	Reiner W. Hartenstein, Jürgen Becker 0001, Michael Herz, Rainer Kress 0002, Ulrich Nageldinger	A Partitioning Programming Environment for a Novel Parallel Architecture.	IPPS	1996	DBLP DOI BibTeX RDF	partitioning programming environment, novel parallel architecture, embedded accelerator, reconfigurable datapath hardware, accelerator partitioning, profiling-driven partitioning, resource-driven sequential partitioning, resource-driven structural partitioning, parallel architectures, software tools, programming environments, reconfigurable architectures, software performance evaluation, parallelizing compiler, performance optimization, program interpreters, parallelising compilers, parallelizing programming environment, optimising compilers, C programs
19	Alberto Broggi	Word parallelism vs spatial parallelism: a performance optimization technique on the PAPRICA system.	PDP	1995	DBLP DOI BibTeX RDF	word parallelism, spatial parallelism, performance optimization technique, PAPRICA system, hardware efficiency, SIMD systems, data bus efficiency, packed data sets, processing array, optimizing assembly-to-assembly translator, automatic conversion, binary data sets, thinning filter, performance evaluation, parallel architectures, optimisation, parallel machines, hardware design, data storage, program interpreters, external memory, dynamic mapping, assembly language
19	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program.	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
19	Bongki Moon, Mustafa Uysal, Joel H. Saltz	Index translation schemes for adaptive computations on distributed memory multicomputers.	IPPS	1995	DBLP DOI BibTeX RDF	index translation schemes, globally indexed algorithms, CHAOS runtime support library, software-cached translation, distributed translation table technique, statically irregular problems, 3D DSMC code, NASA Langley, Gray T3D, performance evaluation, parallel programming, parallel programming, program compilers, distributed memory systems, program interpreters, distributed memory multicomputers, adaptive computations, Intel Paragon, optimal performance
19	Hugh Glaser, Trevor J. Smedley	PSH-The Next: Generation of Command Line Interfaces.	VL	1995	DBLP DOI BibTeX RDF	WIMPS interfaces, AppleScript, csh, Prograph system, shell-type operation tool, WIMPS environment, software engineering, graphical user interfaces, programming environments, Unix, visual programming, visual languages, utilities, operating systems (computers), program interpreters, command line interfaces
19	Hideki Koike, Manuba Aida	A Bottom-Up Approach for Visualizing Program Behavior.	VL	1995	DBLP DOI BibTeX RDF	program behavior visualisation, program execution visualisation, concrete pictures, abstract picture, local pictures, local drawing rules, scaling mechanism, conceptual program structure, Scheme interpreter, visual programming, visual languages, program understanding, data visualisation, system monitoring, program interpreters, bottom-up approach
19	Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	Transforming SDL Diagrams into a Complete Visual Representation.	VL	1995	DBLP DOI BibTeX RDF	SDL diagrams, Pictorial Janus programs, timing concepts, Timed PJ, PJ, process diagrams, Ethernet CSMA/CD, formal specification, animation, specification, specification languages, specification language, visual programming, computer animation, visual languages, diagrams, program debugging, program interpreters, visual representation, protocol specification, visual debugging
19	Zbigniew Chamski	Beyond convexity: scanning 'non-convex polyhedra'.	HICSS (2)	1995	DBLP DOI BibTeX RDF	nonconvex polyhedra, point enumeration, algebraically-specified domain, algorithmic problem, scientific program transformation, scanning algorithms, runtime overhead, regularly nonconvex domains, arbitrary unions, nested loop sequences, parallel algorithms, parallel programming, computational geometry, convexity, program interpreters, program control structures, convex polyhedra
19	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
19	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
19	Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan	Translation and Execution of Distributed Ada Programs: Is It Still Ada?	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed Ada programs, memory access architecture, binding time, system homogeneity, library packages, Ada, distributed processing, programming, program interpreters, distributed execution
19	Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill	Ada Program Partitioning Language: A Notation for Distributing Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, distributed processing, software tools, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration
19	Stefano Ceri, Georg Gottlob, Gio Wiederhold	Efficient Database Access from Prolog.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage
19	Yi-Hsiu Wei, Jean-Luc Gaudiot	Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	data-flow multiprocessor, demand-driven evaluation system, list-structure language systems, functional language FP, lazy programs, DFP, demand-driven FP, FP-DFP transformation rules, partial-function-value evaluation, run-time interpretation, parallel programming, graph theory, multiprocessing systems, data-flow graphs, program interpreters
19	Nicoletta De Francesco, Gigliola Vaglini	Description of a Tool for Specifying and Prototyping Concurrent Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
19	Robert M. Herndon Jr., Valdis Berzins	The Realizable Benefits of a Language Prototyping Language.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	language prototyping language, Kodiyak, translator development system, conceptual model, programming environments, programming environments, translators, high level languages, attribute grammars, program interpreters
19	Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza	Software Prototyping by Relational Techniques: Experiences with Program Construction Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control
19	Gene Fisher	An Overview of a Graphical Multilanguage Applications Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications
19	Richard C. Waters	Program Translation via Abstraction and Reimplementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters
19	Helen V. Braden, William A. Wulf	The implementation of a BASIC system in a multiprogramming environment.	Commun. ACM	1968	DBLP DOI BibTeX RDF	incremental compilation compilers, compilers, interpreters, multiprogramming
11	David A. Patterson 0001	Software knows best: portable parallelism requires standardized measurements of transparent hardware.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	standardized
11	Magnus O. Myreen, Michael J. C. Gordon	Verified LISP Implementations on ARM, x86 and PowerPC.	TPHOLs	2009	DBLP DOI BibTeX RDF
11	Carla Beatris Valentini, Cláudia Alquati Bisol, Cristiane Dalla Santa	Software Junctus: Joining Sign Language and Alphabetical Writing.	WCCE	2009	DBLP DOI BibTeX RDF	Computerized learning environment, authorship software, alphabetical writing, sign language, deafness
11	Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon	Extensible Proof-Producing Compilation.	CC	2009	DBLP DOI BibTeX RDF
11	Christoph Rösener	A Linguistic Intelligent System for Technology Enhanced Learning in Vocational Training - The ILLU Project.	EC-TEL	2009	DBLP DOI BibTeX RDF	Natural Language Processing, Language Learning, Vocational training
11	Mireille Ducassé	(C)LP Tracing and Debugging.	ICLP	2009	DBLP DOI BibTeX RDF