906 search results - page 81 / 182 » Language and program design for functional dependencies |
119
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
127
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...
133
click to vote
SERA
2009
Springer
15 years 10 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
143
click to vote
REX
1990
15 years 8 months ago
1990
Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...
164
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...