Structural Resolution for Abstract Compilation of Object-Oriented Languages

We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries to be solved with respect to the resulting logic program. We...

Full description

Saved in:

Bibliographic Details
Published in:	Electronic proceedings in theoretical computer science Vol. 258; no. Proc. CoALP-Ty 2016; pp. 19 - 35
Main Authors:	Franceschini, Luca, Ancona, Davide, Komendantskaya, Ekaterina
Format:	Journal Article
Language:	English
Published:	Open Publishing Association 13.09.2017
ISSN:	2075-2180, 2075-2180
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!