506 search results - page 42 / 102 » Where Is the Value in a Program Verifier |
214
click to vote
POPL
2004
ACM
16 years 25 days ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
DAC
1991
ACM
15 years 4 months ago
1991
ACM
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
115
click to vote
COMPASS
1991
15 years 4 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
102
click to vote
FOCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a polynomial time algorithm based on semidefinite programming that, given a unique game of value 1 − O(1/ log n), satisfies a constant fraction of constraints, wher...
105
click to vote
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...