Data-Structure Rewriting
Dominique Duval, Rachid Echahed, Frederic Prost · 2005
Abstract onlyNot checked
Software
Filters2 filters applied
442 papersQuestions on this topic
Measuring Woody: The Size of Debian 3.0
Juan Jose Amor, Gregorio Robles, Jesus Gonzalez-Barahona · 2005
Abstract onlyNot checked
Software Architecture Overview
Andre Adrian · 2005
Abstract onlyNot checked
An Efficient and Flexible Engine for Computing Fixed Points
Hai-Feng Guo, Gopal Gupta · 2005
Abstract onlyNot checked
Extending Prolog with Incomplete Fuzzy Information
Susana Munoz-Hernandez, Claudio Vaucheret · 2005
Abstract onlyNot checked
Systematic Method for Path-Complete White Box Testing
Hanna Makaruk, Robert Owczarek, Nikita Sakhanenko · 2005
Abstract onlyNot checked
Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach
Gaoyan Xie, Zhe Dang · 2005
Abstract onlyNot checked
Haskell's overlooked object system
Oleg Kiselyov, Ralf Laemmel · 2005
Abstract onlyNot checked
Fast Recompilation of Object Oriented Modules
Jerome Collin, Michel Dagenais · 2005
Abstract onlyNot checked
A Model-driven Approach for Grid Services Engineering
David Manset, Richard McClatchey, Flavio Oquendo et al. · 2005
Abstract onlyNot checked
Under-approximation of the Greatest Fixpoints in Real-Time System Verification
Farn Wang · 2005
Abstract onlyNot checked
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
Derek Messie, Mina Jung, Jae C. Oh et al. · 2005
Abstract onlyNot checked
Markets are Dead, Long Live Markets
Kevin Lai · 2005
Abstract onlyNot checked
A Survey of Reverse Engineering and Program Comprehension
Michael L. Nelson · 2005
Abstract onlyNot checked
Programming Finite-Domain Constraint Propagators in Action Rules
Neng-Fa Zhou · TPLP Vol 5(4&5) 2005 · 2005
Abstract onlyNot checked
Optimal Union-Find in Constraint Handling Rules
Tom Schrijvers, Thom Fruehwirth · 2005
Abstract onlyNot checked
Language embeddings that preserve staging and safety
Todd L. Veldhuizen · 2005
Abstract onlyNot checked
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
Ludovic Langevine, Mireille Ducasse · 2005
Abstract onlyNot checked
Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain
Alexander Serebrenik, Susana Munoz-Hernandez · 2005
Abstract onlyNot checked
A Shared Write-protected Root Filesystem for a Group of Networked Clients
Ignatios Souvatzis · Proceedings of the 2nd European BSD Conference, 2002, Amsterdam, The Netherlands · 2005
Abstract onlyNot checked