


default search action
Davide 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]Davide Ancona, Christopher Anderson, Ferruccio Damiani
, Sophia Drossopoulou, Paola Giannini
, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - [c39]Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis:
RPython: a step towards reconciling dynamically and statically typed OO languages. DLS 2007: 53-64 - [c38]Davide Ancona, Elena Zucca:
A formal framework for compositional compilation. ICTCS 2007: 106-117 - [c37]