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.
- 7 Similar Profiles
Logic programming
Engineering & Materials Science
Logic Programming
Mathematics
Computer programming languages
Engineering & Materials Science
Specifications
Engineering & Materials Science
Prolog
Mathematics
Substitution reactions
Engineering & Materials Science
Programming Languages
Mathematics
Higher Order
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2004 2020
Research Output 1983 2019
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday
Baelde, D., Felty, A., Nadathur, G. & Saurin, A., Sep 1 2019, In : Mathematical Structures in Computer Science. 29, 8, p. 1007-1008 2 p.Research output: Contribution to journal › Editorial
Open Access
Proof Theory
Automated Reasoning
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. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Schematic diagrams
Polymorphism
Specifications
2
Citations
(Scopus)
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
Prolog
Correctness
Closure
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. K. & Nadathur, G., Jun 1 2014, p. 63-78. 16 p.Research output: Contribution to conference › Paper
Prolog
Animation
Specification
Specifications
Logic programming