Projects per year
Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.
- 1 Similar Profiles
Logic programming
Engineering & Materials Science
Specifications
Engineering & Materials Science
Computer programming languages
Engineering & Materials Science
Substitution reactions
Engineering & Materials Science
Term
Mathematics
Higher order
Mathematics
Logic
Mathematics
Specification
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2004 2019
SHF: Small: A Higher-Order Framework for Meta-Theoretic
The National Science Foundation
7/1/16 → 6/30/19
Project: Research project
Midwest Verification Day, 2011
The National Science Foundation
8/1/11 → 7/31/12
Project: Research project
SHF:Small: Reasoning about Specifications of Computation
The National Science Foundation
6/1/09 → 9/30/14
Project: Research project
Specifications
Supporting Higher-Order Approaches to Symbolic Computati
The National Science Foundation
9/1/04 → 8/31/09
Project: Research project
Higher order
Symbolic computation
Research Output 1983 2016
A higher-order abstract syntax approach to verified transformations on functional programs
Wang, Y. & Nadathur, G. 2016 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9632, p. 752-779 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9632)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specifications
Higher order
Correctness
Closure
Encoding
Abella: A system for reasoning about relational specifications
Baelde, D., Gacek, A., Nadathur, G., Wang, Y., Chaudhuri, K., Miller, D. & Tiu, A. 2015 In : Journal of Formalized Reasoning. 7, 2, p. 1-89 89 p.Research output: Contribution to journal › Article
Reasoning
Logic
Theorem
π-calculus
Intuitionistic logic
A λprolog based animation of twelf specifications
Southern, M. & Nadathur, G. Jun 1 2014 Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014. RWTH Aachen, p. 63-78 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specification
Specifications
Logic programming
Query
Necessary
Reasoning about higher-order relational specifications
Wang, Y., Chaudhuri, K., Gacek, A. & Nadathur, G. 2013 Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013. p. 157-168 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specifications
Towards extracting explicit proofs from totality checking in twelf
Wang, Y. & Nadathur, G. 2013 Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. p. 55-66 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specifications
Logic programming