Phantom Types and Subtyping
Matthew Fluet, Riccardo Pucella · 2006
Abstract onlyNot checked
Software
Filters1 filter applied
264 papersQuestions on this topic
Proof rules for purely quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji et al. · 2006
Abstract onlyNot checked
Local and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation
Lester Lobo, James D. Arthur · 2005
Abstract onlyNot checked
Data-Structure Rewriting
Dominique Duval, Rachid Echahed, Frederic Prost · 2005
Abstract onlyNot checked
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