default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavide Ancona
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j34]Davide Ancona, Adrian Francalanza:
Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. J. Object Technol. 23(2): 1 (2024)- [j33]Davide Ancona
, Pietro Barbieri, Elena Zucca:
Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009: 114680 (2024) - [e6]Davide Ancona, Giorgio Audrito:
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2024, Vienna, Austria, 19 September 2024. ACM 2024, ISBN 979-8-4007-1119-0 [contents] - 2023
- [j32]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12(2): 49 (2023) - [j31]Davide Ancona, Pietro Barbieri, Elena Zucca:
Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974: 114081 (2023) - [c116]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP 2023: 25-31 - [p1]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years 2023: 300-317 - [e5]Davide Ancona, Giorgio Audrito:
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023. ACM 2023 [contents] - 2022
- [j30]Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe:
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21(2) (2022) - [c115]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC 2022: 154-170 - [c114]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS 2022: 22-40 - [c113]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing Expressivity of Checked Corecursive Streams. FLOPS 2022: 1-18 - [c112]Davide Ancona, Pietro Barbieri, Elena Zucca:
Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS 2022: 86-98 - [c111]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI 2022: 23-36 - [i6]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing expressivity of checked corecursive streams (extended version). CoRR abs/2202.06868 (2022) - 2021
- [j29]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205: 102610 (2021) - [j28]Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi:
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30(4): 43:1-43:43 (2021) - [c110]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. ICTCS 2021: 266-280 - [e4]Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza:
VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. ACM 2021, ISBN 978-1-4503-8546-6 [contents] - [i5]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. CoRR abs/2108.00281 (2021) - 2020
- [j27]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A big step from finite to infinite computations. Sci. Comput. Program. 197: 102492 (2020) - [j26]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. Theory Pract. Log. Program. 20(6): 818-833 (2020) - [c109]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. ECOOP 2020: 1:1-1:28 - [c108]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP 2020: 32:1-32:2 - [c107]Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c106]Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone:
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) 2020: 119-126 - [c105]Davide Ancona, Lorenzo Benvenuto, Giorgio Delzanno, Gianluca Gambari:
Flow Programming: A Flexible way to bring the Internet of Things into the Lab. UMAP (Adjunct Publication) 2020: 155-158 - [c104]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020: 13-32 - [c103]Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari:
Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI 2020: 69-80 - [i4]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. CoRR abs/2005.14085 (2020) - [i3]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. CoRR abs/2008.02140 (2020) - [i2]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? (extended version). CoRR abs/2008.06453 (2020)
2010 – 2019
- 2019
- [j25]Davide Ancona:
Preface: Special Issue on Verification of Objects at Runtime Execution. Sci. Comput. Program. 182: 88-89 (2019) - [c102]Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. CILC 2019: 229-241 - [c101]Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo:
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. ENASE 2019: 434-441 - [c100]Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona:
Corecursive Featherweight Java Revisited. ICTCS 2019: 158-170 - [c99]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS 2019: 248-260 - [e3]Davide Ancona, Gordon Pace:
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. EPTCS 302, 2019 [contents] - 2018
- [j24]Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi:
Preface. Fundam. Informaticae 159(1-2): v-vi (2018) - [j23]Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo:
An acceptance testing approach for Internet of Things systems. IET Softw. 12(5): 430-436 (2018) - [j22]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. 6(3/4): 402-442 (2018) - [c98]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c97]Davide Ancona, Francesco Dagnino, Elena Zucca:
Modeling Infinite Behaviour by Corules. ECOOP 2018: 21:1-21:31 - [c96]Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca:
Towards a Runtime Verification Approach for Internet of Things Systems. ICWE Workshops 2018: 83-96 - [c95]Davide Ancona, Francesco Dagnino, Luca Franceschini:
A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops 2018: 24-26 - [c94]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS 2018: 59-71 - [c93]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Managing Bad AIPs with RIVERtools. PAAMS 2018: 296-300 - [c92]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [c91]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic Subtyping for Non-Strict Languages. TYPES 2018: 4:1-4:24 - [c90]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Agents Interoperability via Conformance Modulo Mapping. WOA 2018: 109-115 - [i1]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic subtyping for non-strict languages. CoRR abs/1810.05555 (2018) - 2017
- [j21]Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva:
Hackmytown: an Educational Experience on Smart Cities. IxD&A 32: 153-164 (2017) - [j20]Davide Ancona, Paola Giannini, Elena Zucca:
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27(2): 94-122 (2017) - [j19]Davide Ancona, Francesco Dagnino, Elena Zucca:
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1(OOPSLA): 81:1-81:26 (2017) - [j18]Davide Ancona:
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015). Sci. Comput. Program. 140: 1 (2017) - [c89]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Decentralizing MAS Monitoring with DecAMon. AAMAS 2017: 239-248 - [c88]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Parametric Runtime Verification of Multiagent Systems. AAMAS 2017: 1457-1459 - [c87]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP 2017: 10:1-10:6 - [c86]Davide Ancona, Francesco Dagnino, Elena Zucca:
Generalizing Inference Systems by Coaxioms. ESOP 2017: 29-55 - [c85]Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini:
Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops 2017: 125-138 - [c84]Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca:
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP 2017: 59-74 - [c83]Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca:
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM 2017: 27-42 - [e2]Davide Ancona:
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. ACM 2017, ISBN 978-1-4503-5526-1 [contents] - 2016
- [j17]Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [c82]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS 2016: 39-58 - [c81]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods 2016: 47-64 - [c80]Davide Ancona, Andrea Corradi:
A formal account of SSA in Java-like languages. FTfJP@ECOOP 2016: 2 - [c79]Davide Ancona, Francesco Dagnino, Elena Zucca:
Towards a model of corecursion with default. FTfJP@ECOOP 2016: 9 - [c78]Davide Ancona, Andrea Corradi:
Semantic subtyping for imperative object-oriented languages. OOPSLA 2016: 568-587 - [c77]Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi:
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) 2016: 15-26 - [c76]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA 2016: 35-43 - [c75]Davide Ancona, Francesco Dagnino, Elena Zucca:
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty 2016: 1-18 - [c74]Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya:
Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty 2016: 19-35 - 2015
- [j16]Davide Ancona, Agostino Dovier:
A Theoretical Perspective of Coinductive Logic Programming. Fundam. Informaticae 140(3-4): 221-246 (2015) - [j15]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9(2): 131-148 (2015) - [j14]Davide Ancona:
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010). Sci. Comput. Program. 97: 281 (2015) - [c73]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS 2015: 1019-1029 - [c72]Davide Ancona, Federico Frassetto:
A three-valued type system for true positives detection in Java-like languages. FTfJP@ECOOP 2015: 1:1-1:7 - [c71]Davide Ancona, Paola Giannini, Elena Zucca:
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES 2015: 4:1-4:29 - [c70]Davide Ancona, Daniela Briola, Viviana Mascardi:
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA 2015: 65-75 - [c69]Davide Ancona, Paola Giannini, Elena Zucca:
Incremental Rebinding with Name Polymorphism. ICTCS 2015: 19-34 - [e1]Davide Ancona, Marco Maratea, Viviana Mascardi:
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015 [contents] - 2014
- [j13]Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci:
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intell. Agent Syst. 12(1): 83-107 (2014) - [c68]Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Exploiting Prolog for Projecting Agent Interaction Protocols. CILC 2014: 30-45 - [c67]Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC 2014: 319-323 - [c66]Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Efficient Verification of MASs with Projections. EMAS@AAMAS 2014: 246-270 - [c65]Davide Ancona:
How to prove type soundness of Java-like languages without forgoing big-step semantics. FTfJP@ECOOP 2014: 1:1-1:6 - [c64]Davide Ancona, Andrea Corradi:
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ECOOP 2014: 282-307 - [c63]Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten:
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) 2014: 62-73 - [c62]Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE Multiagent Systems. IDC 2014: 81-91 - 2013
- [j12]Davide Ancona:
Regular corecursion in Prolog. Comput. Lang. Syst. Struct. 39(4): 142-162 (2013) - [j11]Davide Ancona:
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing. Sci. Comput. Program. 78(7): 906 (2013) - [j10]Davide Ancona, Agostino Dovier:
co-LP: Back to the Roots. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [j9]Viviana Mascardi, Davide Ancona:
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c61]Viviana Mascardi, Daniela Briola, Davide Ancona:
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA 2013: 300-311 - [c60]Davide Ancona, Elena Zucca:
Safe corecursion in coFJ. FTfJP@ECOOP 2013: 2:1-2:7 - [c59]Davide Ancona, Matteo Barbieri, Viviana Mascardi:
Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC 2013: 1377-1379 - 2012
- [c58]Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012: 76-95 - [c57]Davide Ancona, Elena Zucca:
Corecursive Featherweight Java. FTfJP@ECOOP 2012: 3-10 - [c56]Davide Ancona:
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. ECOOP 2012: 459-483 - [c55]Davide Ancona, Giovanni Lagorio:
Static Single Information Form for Abstract Compilation. IFIP TCS 2012: 10-27 - [c54]Davide Ancona, Viviana Mascardi, Ombretta Pavarino:
Ontology-based documentation extraction for semi-automatic migration of Java code. SAC 2012: 1137-1143 - [c53]Davide Ancona:
Regular corecursion in Prolog. SAC 2012: 1897-1902 - [c52]Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. ITRS 2012: 81-93 - 2011
- [j8]Davide Ancona, Giovanni Lagorio:
Idealized coinductive type systems for imperative object-oriented programs. RAIRO Theor. Informatics Appl. 45(1): 3-33 (2011) - [c51]Viviana Mascardi, Davide Ancona:
1000 Years of Coo-BDI. DALT 2011: 95-101 - [c50]Davide Ancona:
Coinductive big-step operational semantics for type soundness of Java-like languages. FTfJP@ECOOP 2011: 5:1-5:6 - [c49]Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci:
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT 2011: 109-116 - 2010
- [j7]Davide Ancona, Alex Buckley:
Preface to the Special Issue on Object-Oriented Programming Languages and Systems (OOPS 2008), A Special Track at the 23rd ACM Symposium on Applied Computing. Sci. Comput. Program. 75(9): 761 (2010) - [c48]Davide Ancona, Giovanni Lagorio:
Complete coinductive subtyping for abstract compilation of object-oriented languages. FTfJP@ECOOP 2010: 1:1-1:7 - [c47]Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS 2010: 31-45 - [c46]Davide Ancona, Giovanni Lagorio:
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas. GANDALF 2010: 214-230
2000 – 2009
- 2009
- [c45]Davide Ancona, Giovanni Lagorio:
Coinductive Type Systems for Object-Oriented Languages. ECOOP 2009: 2-26 - [c44]Antonio Cuni, Davide Ancona, Armin Rigo:
Faster than C#: efficient implementation of dynamic languages on .NET. ICOOOLPS@ECOOP 2009: 26-33 - [c43]Davide Ancona, Giovanni Lagorio:
An idealized coinductive type system for imperative object-oriented programs. ICTCS 2009: 19-25 - [c42]Viviana Mascardi, Davide Ancona:
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW 2009 - 2008
- [c41]Davide Ancona, Alex Buckley:
Special track on Object-Oriented Languages and Systems: editorial message. SAC 2008: 158-159 - [c40]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18 - 2007
- [j6]