arXiv 2005-01-25 EN Optimal Union-Find in Constraint Handling Rules Schrijvers, Tom · Fruehwirth, Thom
arXiv 2005-01-24 EN Extending Design by Contract for Aspect-Oriented Programming Lorenz, David H. · Skotiniotis, Therapon
arXiv 2004-12-10 EN Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) Bagnara, Roberto · Hill, Patricia M. · Mazzi, Elena · Zaffanella, Enea
arXiv 2004-12-09 EN An Efficient and Flexible Engine for Computing Fixed Points Guo, Hai-Feng · Gupta, Gopal
arXiv 2004-12-03 EN Jartege: a Tool for Random Generation of Unit Tests for Java Classes Oriat, Catherine
arXiv 2004-11-10 EN A machine-independent port of the SR language run-time system to the NetBSD operating system Souvatzis, Ignatios
arXiv 2004-09-14 EN Automatic Generation of CHR Constraint Solvers Abdennadher, Slim · Rigotti, Christophe
arXiv 2004-09-09 EN Using a hierarchy of Domain Specific Languages in complex software systems design Lugovsky, V. S.
arXiv 2004-08-19 EN On computing the fixpoint of a set of boolean equations Kuncak, Viktor · Leino, K. Rustan M.
arXiv 2004-08-09 EN On Global Warming (Softening Global Constraints) van Hoeve, Willem Jan · Pesant, Gilles · Rousseau, Louis-Martin
arXiv 2004-08-05 EN On Generalized Records and Spatial Conjunction in Role Logic Kuncak, Viktor · Rinard, Martin
arXiv 2004-07-17 EN The First-Order Theory of Sets with Cardinality Constraints is Decidable Kuncak, Viktor · Rinard, Martin
