15 results on '"Joe Hendrix"'
Search Results
2. Macaw: A Machine Code Toolbox for the Busy Binary Analyst.
3. Dependently typed Haskell in industry (experience report).
4. Constructing Semantic Models of Programs with the Software Analysis Workbench.
5. SAW: the software analysis workbench.
6. Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.
7. Linear Functional Fixed-points.
8. Combining Equational Tree Automata over AC and ACI Theories.
9. The Maude Formal Tool Environment.
10. On the Completeness of Context-Sensitive Order-Sorted Specifications.
11. Some Tools.
12. Propositional Tree Automata.
13. A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.
14. A Sufficient Completeness Reasoning Tool for Partial Specifications.
15. Order-sorted Equational Unification Revisited.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.