A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language

Sergio Castro. A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language. PhD thesis, Catholic University of Louvain, Louvain-la-Neuve, Belgium, 2014. [doi]

Abstract

Abstract is missing.