Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/03/20 → 28/02/23 |
Research Groups and Themes
- Programming Languages
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Higher-Order MSL Horn Constraints
Jochems, J. C., Jones, E. C. & Ramsay, S., 11 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 2017–2047 31 p., 69.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile125 Downloads (Pure) -
CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Jones, E. C., Ong, L. & Ramsay, S., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 395-409 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile7 Citations (Scopus)175 Downloads (Pure) -
Initial Limit Datalog: a new extensible class of decidable constrained Horn clauses
Cathcart Burn, T., Ong, L., Ramsay, S. & Wagner, D., 7 Jul 2021, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021). Institute of Electrical and Electronics Engineers (IEEE), 1 p. 9470527. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile1 Citation (Scopus)119 Downloads (Pure)