top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


Practical aspects of declarative languages
Espandi opera
...
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Espandi opera
...
Proceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages
Espandi opera
...

Verification, model checking, and abstract interpretation
Espandi opera
...