HEAL DSpace

Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude

Αποθετήριο DSpace/Manakin

Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude

Fourtounis, G; Olveczky, PC; Papaspyrou, N
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/36213
Ημερομηνία: 2011

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)