8132 search results - page 11 / 1627 » Dependability, Abstraction, and Programming |
CSMR
1998
IEEE
15 years 2 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
ECOOPW
1994
Springer
15 years 1 months 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...
TACS
1997
Springer
15 years 1 months ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
AFP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...