×

Found 12 Documents (Results 1–12)

The descriptive complexity of the deterministic exponential time hierarchy. (English) Zbl 1347.68176

Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 71-82 (2011).
MSC:  68Q19 03B15 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Pushdown flow analysis of first-class control. (English) Zbl 1323.68169

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 69-80 (2011).
MSC:  68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software