1064 search results - page 1 / 213 » Disjoint Systems (Extended Abstract) |
FIWAC
1993
13 years 8 months ago
1993
Systems (Extended Abstract) Noga Alon ∗ Benny Sudakov Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel A dis...
CC
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
AMAST
1997
Springer
13 years 9 months ago
1997
Springer
ECCC
2006
13 years 4 months ago
2006
In this paper we ask the question whether the extended Frege proof system EF satisfies a weak version of the deduction theorem. We prove that if this is the case, then complete dis...
SFP
2004
13 years 6 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...