No photo of Gopalan Nadathur
Contact Expert

View Scopus Profile

Gopalan Nadathur

1983 …2019
If you made any changes in Pure, your changes will be visible here soon.

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.

  • 5 Similar Profiles
Logic programming Engineering & Materials Science
Logic Programming Mathematics
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science
Substitution reactions Engineering & Materials Science
Programming Languages Mathematics
Higher Order Mathematics
Logic 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

Nadathur, G.

National Science Foundation

7/1/16 → 6/30/19

Project: Research project

Midwest Verification Day, 2011

Nadathur, G. & Whalen, M. W.

National Science Foundation

8/1/11 → 7/31/12

Project: Research project

SHF:Small: Reasoning about Specifications of Computation

Nadathur, G.

National Science Foundation

6/1/09 → 9/30/14

Project: Research project

Supporting Higher-Order Approaches to Symbolic Computati

Nadathur, G.

National Science Foundation

9/1/04 → 8/31/09

Project: Research project

Research Output 1983 2018

Schematic polymorphism in the Abella proof assistant

Nadathur, G. & Wang, Y., Sep 3 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018. Association for Computing Machinery, 15

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Schematic diagrams
Polymorphism
Specifications
2 Citations

A higher-order abstract syntax approach to verified transformations on functional programs

Wang, Y. & Nadathur, G., Jan 1 2016, Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Thiemann, P. (ed.). Springer- Verlag, 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

Higher Order
Specifications
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., Jan 1 2015, In : Journal of Formalized Reasoning. 7, 2, p. 1-89 89 p.

Research output: Contribution to journal › Article

Computer programming languages
Binders
Reasoning
Specification
Specifications

A λprolog based animation of twelf specifications

Southern, M. & Nadathur, G., Jan 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

Animation
Specification
Specifications
Logic programming
Logic Programming
11 Citations

Reasoning about higher-order relational specifications

Wang, Y., Chaudhuri, K., Gacek, A. & Nadathur, G., Oct 15 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