Higher-Order Abstract Interpretation and Application to Comportment Analysis Generalizing Strictness, Termination, Projection and PER Analysis of Functional Languages

Potrebbe anche interessarti

… ancora enigmi e giochi matematici di Martin Gardner

… ancora enigmi e giochi matematici di Martin Gardner

Conferenza organizzata dalla Sezione Mathesis di Udine, in collaborazione con  l’I.S.I.S. A. Malignani di Udine – per ricordare il centenario della nascita […]