Výsledky vyhledávání - "Semantics of Programming Languages—Program Analysis General Terms Programing Languages"

Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics

Autoři: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München a další

Přispěvatelé: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München a další

Zdroj: http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf.

Témata: Of Programs, Semantics of Programming Languages—Program Analysis General Terms Programing Languages, Theory, Reliability Keywords Functional Programming, Static Analysis, Amortized Analysis, Resource Consumption, Formal Semantics, Big-Step Operational Semantics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9125; http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9125
http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf