Type Inference by Coinductive Logic Programming-Reference-Cited by-同舟云学术

Type Inference by Coinductive Logic Programming

Published:2009 Issue: Volume: Page:1-18
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ancona Davide,Lagorio Giovanni,Zucca Elena

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02444-3_1

Reference20 articles.

1. Lecture Notes in Computer Science;O. Agesen,1995

2. Amadio, R., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4), 575–631 (1993)

3. Ancona, D., Ancona, M., Cuni, A., Matsakis, N.: RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages. In: OOPSLA 2007 Proceedings and Companion, DLS 2007: Proceedings of the 2007 Symposium on Dynamic Languages, pp. 53–64. ACM, New York (2007)

4. Ancona, D., Lagorio, G.: Type systems for object-oriented languages based on coinductive logic. Technical report, DISI - Univ. of Genova (2008) (submitted for publication)

5. Ancona, D., Damiani, F., Drossopoulou, S., Zucca, E.: Polymorphic bytecode: Compositional compilation for Java-like languages. In: ACM Symp. on Principles of Programming Languages 2005, January 2005. ACM Press, New York (2005)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Coalgebraic logic programming: from Semantics to Implementation;Journal of Logic and Computation;2014-05-28

2. Exploiting Parallelism in Coalgebraic Logic Programming;Electronic Notes in Theoretical Computer Science;2014-03

3. Idealized coinductive type systems for imperative object-oriented programs;RAIRO - Theoretical Informatics and Applications;2011-01

4. Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming;Algebraic Methodology and Software Technology;2011

5. Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?;Formal Verification of Object-Oriented Software;2011