arXiv 2003-11-20 EN Staging Transformations for Multimodal Web Interaction Management Narayan, Michael · Williams, Chris · Perugini, Saverio · Ramakrishnan, Naren
arXiv 2003-11-17 EN The Chameleon Type Debugger (Tool Demonstration) Stuckey, Peter J. · Sulzmann, Martin · Wazny, Jeremy
arXiv 2003-11-14 EN Generic and Efficient Program Monitoring by trace analysis Jahier, Erwan · Ducass'e, Mireille
arXiv 2003-11-04 EN Computing Convex Hulls with a Linear Solver Benoy, Florence · King, Andy · Mesnard, Fred
arXiv 2003-10-14 EN A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization Auguston, Mikhail · Jeffery, Clinton · Underwood, Scott
arXiv 2003-09-24 EN A uniform approach to constraint-solving for lists, multisets, compact lists, and sets Dovier, Agostino · Piazza, Carla · Rossi, Gianfranco
arXiv 2003-09-16 EN cTI: A constraint-based termination inference tool for ISO-Prolog Mesnard, Fred · Bagnara, Roberto
arXiv 2003-09-15 EN Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003) Ronsse, Michiel · De Bosschere, Koen
arXiv 2003-09-01 EN Model Checking Linear Logic Specifications Bozzano, M. · Delzanno, G. · Martelli, M.
arXiv 2003-08-04 EN On Applying Or-Parallelism and Tabling to Logic Programs Rocha, Ricardo · Silva, Fernando · Costa, Vitor Santos
arXiv 2003-07-09 EN Transformations of Logic Programs with Goals as Arguments Pettorossi, Alberto · Proietti, Maurizio
arXiv 2003-06-09 EN Quanta: a Language for Modeling and Manipulating Information Structures Long, Bruce
arXiv 2003-02-19 EN Recursive function templates as a solution of linear algebra expressions in C++ Myrnyy, Volodymyr
arXiv 2003-01-28 EN Subclassing errors, OOP, and practically checkable rules to prevent them Kiselyov, Oleg
