Salta alla navigazione principale
Salta alla ricerca
Salta al contenuto principale
Università del Piemonte Orientale Home
Italiano
English
Home
Profili
Unità di ricerca
Apparecchiatura
Progetti
Risultato della ricerca
Ricerca per competenza, nome o affiliazione
A provenly correct translation of Fickle into Java
D. Ancona
, C. Anderson
, F. Damiani
, S. Drossopoulou
,
P. Giannini
, E. Zucca
Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica
Risultato della ricerca
:
Contributo su rivista
›
Articolo in rivista
›
peer review
Panoramica
Fingerprint
Fingerprint
Entra nei temi di ricerca di 'A provenly correct translation of Fickle into Java'. Insieme formano una fingerprint unica.
Ordina per
Peso
Alfabetico
Keyphrases
Alternative Translation
50%
Correct Translation
100%
Dynamic Semantics
100%
Formal System
50%
Java
100%
Object-oriented Languages
50%
Prototype Implementation
50%
Separate Compilation
50%
Small Objects
50%
Static Semantics
100%
Translation-based
50%
Arts and Humanities
Compilation
50%
Dynamic Semantics
100%
Generic
50%
Java
100%
Proof
50%
Computer Science
Object Oriented Programming
100%
Separate Compilation
100%