Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach
Abstract elided by the publisher.
Related papers
- A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation OOPSLA 1986
- Control effects as a modality JFP 2009
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- An Experience with a Prolog-based Object-Oriented Language OOPSLA 1986
- Lilac: A Modal Separation Logic for Conditional Probability PLDI 2023
- Process Logic POPL 1979
- A logic for information flow in object-oriented programs POPL 2006
- Logical Composition of Object-Oriented Interfaces OOPSLA 1987