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.

Logic programming Engineering & Materials Science
Specifications Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Substitution reactions Engineering & Materials Science
Semantics Engineering & Materials Science
Syntactics Engineering & Materials Science
Model checking Engineering & Materials Science
Polymorphism Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2004 2019

Higher order
Reasoning
Reasoning
Specification
Specifications
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 proceedingConference contribution

Specifications

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 journalArticle

Computer programming languages
Binders

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 proceedingConference contribution

Specifications
Logic programming
Animation
7 Citations

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 proceedingConference contribution

Specifications
3 Citations

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 proceedingConference contribution

Specifications
Logic programming