458 search results - page 83 / 92 » Imperative Programming with Dependent Types |
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
GSN
2009
Springer
14 years 1 months ago
2009
Springer
The understanding of complex environmental phenomena, such as deforestation and epidemics, requires observations at multiple scales. This scale dependency is not handled well by to...
IWAN
1999
Springer
14 years 25 days ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
OOPSLA
1999
Springer
14 years 25 days ago
1999
Springer
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...
ECOOPW
1994
Springer
14 years 20 days ago
1994
Springer
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...