Simplify : A theorem prover for program checking von DETLEFS, David, NELSON, Greg, SAXE, James B

Volltext

High-speed switch scheduling for local-area networks von Anderson, Thomas E., Owicki, Susan S., Saxe, James B., Thacker, Charles P.

Volltext

Theorem Proving Using Lazy Proof Explication von Flanagan, Cormac, Joshi, Rajeev, Ou, Xinming, Saxe, James B.

Volltext

Extended static checking for Java von Flanagan, Cormac, Leino, K. Rustan M., Lillibridge, Mark, Nelson, Greg, Saxe, James B., Stata, Raymie

Volltext

Decomposable searching problems I. Static-to-dynamic transformation von Bentley, Jon Louis, Saxe, James B

Volltext

Parity, circuits, and the polynomial-time hierarchy von Furst, Merrick, Saxe, James B., Sipser, Michael

Volltext

Dual-cyclic polytopes of convex planar polygons with fixed vertex angles von Ramshaw, Lyle, Saxe, James B

Volltext bestellen

Generating error traces from verification-condition counterexamples von Leino, K. Rustan M., Millstein, Todd, Saxe, James B.

Volltext

Retiming synchronous circuitry von Leiserson, Charles E., Saxe, James B.

Volltext

Dynamic-Programming Algorithms for Recognizing Small-Bandwidth Graphs in Polynomial Time von Saxe, James B

Volltext

Dual-cyclic polytopes of convex planar polygons with fixed vertex angles von Ramshaw, Lyle, Saxe, James B

Volltext

Using transformations and verification in circuit design von Saxe, James B., Horning, James J., Guttag, John V., Garland, Stephen J.

Volltext

Avoiding exponential explosion:generating compact verification conditions von Flanagan, Cormac, Saxe, James B

Volltext

A mixed-integer linear programming problem which is efficiently solvable von Leiserson, Charles E, Saxe, James B

Volltext

Generating Sorted Lists of Random Numbers von Bentley, Jon Louis, Saxe, James B.

Volltext

Algorithms on vector sets von Bentley, Jon Louis, Saxe, James B.

Volltext

PLDI 2002: Extended static checking for Java von Flanagan, Cormac, Leino, K. Rustan M., Lillibridge, Mark, Nelson, Greg, Saxe, James B., Stata, Raymie

Volltext

A general method for solving divide-and-conquer recurrences von Bentley, Jon Louis, Haken, Dorothea, Saxe, James B

Volltext

Induction in Compositional Model Checking von McMillan, Kenneth L., Qadeer, Shaz, Saxe, James B.

Volltext

Avoiding exponential explosion: generating compact verification conditions von Flanagan, Cormac, Saxe, James B.

Volltext