Frameworks for abstract interpretationKim Marriott · 1993

Systematic design of program transformation frameworks by abstract interpretationCousot, Patrick; Cousot, Radhia · ACM SIGPLAN Notices · 2002

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Systematic design of program transformation frameworks by abstract interpretationCousot, Patrick; Cousot, Radhia · 2002

Refining Model Checking by Abstract InterpretationPatrick Cousot; Radhia Cousot · 1999

Bi-inductive structural semanticsPatrick Cousot; Radhia Cousot · 2009

Automatic synthesis of optimal invariant assertionsCousot, Patrick; Cousot, Radhia · ACM SIGART Bulletin · 1977

An abstract interpretation framework for terminationCousot, Patrick; Cousot, Radhia · ACM SIGPLAN Notices · 2012

Abstract interpretation and application to logic programsPatrick Cousot; Radhia Cousot · 1992

Bi-inductive Structural Semantics: (Extended Abstract)Patrick Cousot; Radhia Cousot · 2007

Parsing as abstract interpretation of grammar semanticsPatrick Cousot; Radhia Cousot · 2003

Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012

Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004

A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003

Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014

Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013

Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014

Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003

Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014