Davide Ancona

Available identifiers

zbMath Open ancona.davideMaRDI QIDQ737081

List of research outcomes

Publication	Date of Publication	Type
Checked corecursive streams: expressivity and completeness	2023-09-18	Paper
Enhancing expressivity of checked corecursive streams	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5091145	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5020942	2022-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4993855	2021-06-10	Paper
Comparing trace expressions and linear temporal logic for runtime verification	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q5151011	2021-02-16	Paper
Flexible coinductive logic programming	2020-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4580225	2018-08-13	Paper
An abstract machine for asynchronous programs with closures and priority queues	2017-12-20	Paper
Polymorphic bytecode	2017-07-14	Paper
Generalizing Inference Systems by Coaxioms	2017-05-19	Paper
Type safe incremental rebinding	2017-04-04	Paper
An algebraic approach to mixins and modularity	2017-01-19	Paper
A Theoretical Perspective of Coinductive Logic Programming	2016-08-15	Paper
Incremental rebinding with name polymorphism	2016-08-05	Paper
Principal typings for Java-like languages	2015-11-11	Paper
A Coalgebraic Foundation for Coinductive Union Types	2014-07-01	Paper
A Parametric Calculus for Mobile Open Code	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2848693	2013-09-26	Paper
Static Single Information Form for Abstract Compilation	2012-09-21	Paper
Idealized coinductive type systems for imperative object-oriented programs	2011-06-10	Paper
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?	2011-01-21	Paper
Theoretical Computer Science	2010-02-23	Paper
Type Inference by Coinductive Logic Programming	2009-07-02	Paper
Trustworthy Global Computing	2006-11-01	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4673423	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q3046765	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4449178	2004-02-08	Paper
A calculus of module systems	2002-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2767194	2002-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q2779264	2002-04-15	Paper
A theory of mixin modules: algebraic laws and reduction semantics	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2722015	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4941922	2000-03-19	Paper
A theory of mixin modules: basic and derived operators	1999-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q4375629	1998-06-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Davide Ancona