Joe Hendrix

According to our database1, Joe Hendrix authored at least 13 papers between 2005 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Dependently typed Haskell in industry (experience report).
Proc. ACM Program. Lang., 2019

2016
Constructing Semantic Models of Programs with the Software Analysis Workbench.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2013
SAW: the software analysis workbench.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012
Order-sorted Equational Unification Revisited.
Electron. Notes Theor. Comput. Sci., 2012

2010
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009
Linear Functional Fixed-points.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Combining Equational Tree Automata over AC and ACI Theories.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007
On the Completeness of Context-Sensitive Order-Sorted Specifications.
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007


The Maude Formal Tool Environment.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
Propositional Tree Automata.
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
A Sufficient Completeness Reasoning Tool for Partial Specifications.
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005


  Loading...