CIMADAMORE, MAURIZIO
CIMADAMORE, MAURIZIO
DIP. DI ELETTRONICA,INFORMATICA,SISTEMISTICA-DEIS
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.013 secondi).
Integrating Java and Prolog through generic methods and type inference
2008 Maurizio Cimadamore; Mirko Viroli
On the reification of Java wildcards
2008 Cimadamore Maurizio; Mirko Viroli
Prototyping concurrent systems with agents and artifacts: Framework and core calculus
2008 Alessandro Ricci; Mirko Viroli; Maurizio Cimadamore
A Prolog-oriented extension of Java programming based on generics and annotations
2007 Maurizio Cimadamore; Mirko Viroli
Integrating Java and Prolog using Java 5.0 generics and annotations
2007 Maurizio Cimadamore; Mirko Viroli
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
2007 Ricci Alessandro; Mirko Viroli; Maurizio Cimadamore
Reifying Wildcards in Java Using the EGO Approach
2007 M. Cimadamore; M. Viroli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Integrating Java and Prolog through generic methods and type inference | Maurizio Cimadamore; Mirko Viroli | 2008-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
| On the reification of Java wildcards | Cimadamore Maurizio; Mirko Viroli | 2008-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Prototyping concurrent systems with agents and artifacts: Framework and core calculus | Alessandro Ricci; Mirko Viroli; Maurizio Cimadamore | 2008-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| A Prolog-oriented extension of Java programming based on generics and annotations | Maurizio Cimadamore; Mirko Viroli | 2007-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
| Integrating Java and Prolog using Java 5.0 generics and annotations | Maurizio Cimadamore; Mirko Viroli | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus | Ricci Alessandro; Mirko Viroli; Maurizio Cimadamore | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Reifying Wildcards in Java Using the EGO Approach | M. Cimadamore; M. Viroli | 2007-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |