Searching for authors named "Daron Vroon" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
AUTOMATICALLY PROVING THE TERMINATION OF FUNCTIONAL PROGRAMS
- … to The Academic Faculty by Daron Vroon In Partial Fulfillment of the Requirements for the Degree Doctor…
- Add To MetaCart
-
Ordinal arithmetic in ACL2
- …Ordinal Arithmetic in ACL2 Panagiotis Manolios and Daron Vroon Georgia Institute of Technology…
- Cited by 9 (6 self) – Add To MetaCart
-
Termination analysis with calling context graphs
- …Termination Analysis with Calling Context Graphs ⋆ Panagiotis Manolios and Daron Vroon College…
- Cited by 8 (2 self) – Add To MetaCart
-
Algorithms for ordinal arithmetic
- …Algorithms for Ordinal Arithmetic Panagiotis Manolios and Daron Vroon Georgia Institute…
- Cited by 10 (5 self) – Add To MetaCart
-
Ordinal arithmetic: Algorithms and mechanization
- … 30332-0280 U.S.A. http://www.cc.gatech.edu/∼manolios Daron Vroon (vroon@(email omitted);) College…
- Cited by 4 (3 self) – Add To MetaCart
-
Integrating reasoning about ordinal arithmetic into ACL2
- …Integrating Reasoning about Ordinal Arithmetic into ACL2 Panagiotis Manolios and Daron Vroon…
- Cited by 7 (5 self) – Add To MetaCart
-
Minimizing Localization Travel Distance (regular paper)
- … Daron Vroon College of Computing Georgia Institute of Technology Atlanta, GA 30332-0280, USA �ctovey…
- Add To MetaCart
-
A Symbolic Simulation Approach to Assertional Program Verification
- … Strother Moore 2 , Sandip Ray 2 , and Daron Vroon 3 1 Galois Connections Inc., Beaverton, OR 97005…
- Cited by 2 (1 self) – Add To MetaCart
-
Automatic Memory Reductions for RTL Model Verification
- … K. Srinivasan ‡ , and Daron Vroon † † College of Computing Georgia Institute of Technology Atlanta…
- Cited by 3 (0 self) – Add To MetaCart
-
Integrating CCG analysis into ACL2
- … , and Daron Vroon 2 1 Department of Computer Sciences University of Texas at Austin {kaufmann…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
