Linguistic Applications of First Order Intuitionistic Linear Logic
Journal of Logic, Language and Information
An effective theory of type refinements
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Model checking linear logic specifications
Theory and Practice of Logic Programming
Modular typestate checking of aliased objects
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Verifying correct usage of atomic blocks and typestate
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
A PSPACE-complete first-order fragment of computability logic
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |