Author of the publication

Certification of Safe Polynomial Memory Bounds.

, and . FM, volume 6664 of Lecture Notes in Computer Science, page 184-199. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Certification of a Resource-Aware Language Implementation., and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 196-211. Springer, (2009)A Certified Implementation on Top of the Java Virtual Machine., and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 181-196. Springer, (2009)Certification of Safe Polynomial Memory Bounds., and . FM, volume 6664 of Lecture Notes in Computer Science, page 184-199. Springer, (2011)Certified Absence of Dangling Pointers in a Language with Explicit Deallocation., , and . IFM, volume 6396 of Lecture Notes in Computer Science, page 305-319. Springer, (2010)A Graphical Environment for Functional Logic Languages., and . WFLP, page 404-417. (2000)Extra Variables Can Be Eliminated from Functional Logic Programs., and . PROLE, volume 188 of Electronic Notes in Theoretical Computer Science, page 3-19. Elsevier, (2006)Fuentes de información bibliográfica (XII). Gestores de referencias bibliográficas : generalidades, , , , and . (2012)