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.
- 6 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 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. (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
12
Citations
(Scopus)
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. (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specifications