Davide Ancona
Davide Ancona
Genova
Geverifieerd e-mailadres voor unige.it
Titel
Geciteerd door
Geciteerd door
Jaar
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
1782007
A calculus of module systems
D Ancona, E Zucca
Journal of functional programming 12 (2), 91-132, 2002
1332002
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
N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016
1002016
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
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
782005
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
781998
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
721999
Languages for Programming BDI-style Agents: an Overview.
V Mascardi, D Demergasso, D Ancona
WOA 2005, 9-15, 2005
702005
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
662001
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
612012
Coo-BDI: Extending the BDI model with cooperativity
D Ancona, V Mascardi
International Workshop on Declarative Agent Languages and Technologies, 109-134, 2003
592003
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
572004
Coinductive type systems for object-oriented languages
D Ancona, G Lagorio
European Conference on Object-Oriented Programming, 2-26, 2009
382009
Principal typings for Java-like languages
D Ancona, E Zucca
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
382004
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
True separate compilation of Java classes
D Ancona, G Lagorio, E Zucca
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
342002
Intraoperative graft patency verification: Should you trust your fingertips?
D Ancona
Intraoperative Flow Measurement in Coronary Artery Surgery, 119, 2000
342000
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
332016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20