Davide Ancona
Davide Ancona
Genova
Vahvistettu sähköpostiosoite verkkotunnuksessa unige.it
Nimike
Viittaukset
Viittaukset
Vuosi
RPython: a step towards reconciling dynamically and statically typed OO languages
D Ancona, M Ancona, A Cuni, ND Matsakis
Proceedings of the 2007 symposium on Dynamic languages, 53-64, 2007
1852007
A calculus of module systems
D Ancona, E Zucca
Journal of functional programming 12 (2), 91, 2002
1322002
Jam-a smooth extension of java with mixins
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 154-178, 2000
1282000
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016
1162016
Jam---designing a Java extension with mixins
D Ancona, G Lagorio, E Zucca
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (5), 641-712, 2003
882003
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
801998
Polymorphic bytecode: Compositional compilation for Java-like languages
D Ancona, F Damiani, S Drossopoulou, E Zucca
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
762005
Languages for Programming BDI-style Agents: an Overview.
V Mascardi, D Demergasso, D Ancona
WOA 2005, 9-15, 2005
722005
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
701999
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
692001
Automatic generation of self-monitoring MASs from multiparty global session types in Jason
D Ancona, S Drossopoulou, V Mascardi
International Workshop on Declarative Agent Languages and Technologies, 76-95, 2012
642012
Coo-BDI: Extending the BDI model with cooperativity
D Ancona, V Mascardi
International Workshop on Declarative Agent Languages and Technologies, 109-134, 2003
602003
Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange
D Ancona, V Mascardi, JF Hubner, RH Bordini
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
582004
Comparing trace expressions and linear temporal logic for runtime verification
D Ancona, A Ferrando, V Mascardi
Theory and Practice of Formal Methods, 47-64, 2016
382016
Parametric Runtime Verification of Multiagent Systems.
D Ancona, A Ferrando, V Mascardi
AAMAS 17, 1457-1459, 2017
372017
Coinductive type systems for object-oriented languages
D Ancona, G Lagorio
European Conference on Object-Oriented Programming, 2-26, 2009
372009
Principal typings for Java-like languages
D Ancona, E Zucca
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
372004
An algebraic approach to mixins and modularity
D Ancona, E Zucca
International Conference on Algebraic and Logic Programming, 179-193, 1996
371996
COOWS: Adaptive BDI Agents meet Service-Oriented Computing.
L Bozzo, V Mascardi, D Ancona, P Busetta
EUMAS, 473, 2005
362005
Intraoperative graft patency verification: Should you trust your fingertips?
D Ancona
Intraoperative Flow Measurement in Coronary Artery Surgery, 119, 2000
332000
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20