arXiv 2003-01-07 EN Flavor: A Language for Media Representation Eleftheriadis, Alexandros · Hong, Danny
arXiv 2002-12-19 EN Strategic polymorphism requires just two combinators! Laemmel, Ralf · Visser, Joost
arXiv 2002-12-04 EN Ownership Confinement Ensures Representation Independence for Object-Oriented Programs Banerjee, Anindya · Naumann, David A.
arXiv 2002-11-15 EN Schedulers for Rule-based Constraint Programming Apt, Krzysztof R. · Brand, Sebastian
arXiv 2002-08-28 EN Proving correctness of Timed Concurrent Constraint Programs de Boer, F. S. · Gabbrielli, M. · Meo, M. C.
arXiv 2002-08-20 EN Logic programming in the context of multiparadigm programming: the Oz experience Van Roy, Peter · Brand, Per · Duchier, Denys · Haridi, Seif +2
arXiv 2002-08-07 EN Offline Specialisation in Prolog Using a Hand-Written Compiler Generator Leuschel, Michael · Joergensen, Jesper · Vanhoof, Wim · Bruynooghe, Maurice
arXiv 2002-07-22 EN Introducing Dynamic Behavior in Amalgamated Knowledge Bases Bertino, Elisa · Catania, Barbara · Perlasca, Paolo
arXiv 2002-07-18 EN A continuation semantics of interrogatives that accounts for Baker's ambiguity Shan, Chung-chieh
arXiv 2002-07-03 EN Agent Programming with Declarative Goals de Boer, F. S. · Hindriks, K. V. · van der Hoek, W. · Meyer, J. -J. Ch.
arXiv 2002-04-12 EN A Dynamic Approach to Characterizing Termination of General Logic Programs Shen, Yi-Dong · You, Jia-Huai · Yuan, Li-Yan · Shen, Samuel S. P. +1
arXiv 2002-04-09 EN Design Patterns for Functional Strategic Programming Laemmel, Ralf · Visser, Joost
arXiv 2002-03-04 EN Composing Programs in a Rewriting Logic for Declarative Programming Molina, Juan M. · Pimentel, Ernesto
