Search Results - "Semantics of Programming Languages—Program Analysis General Terms Programing Languages"

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

Authors: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München et al.

Contributors: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München et al.

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

Subject Terms: 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

File Description: 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

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