×

Found 6 Documents (Results 1–6)

Visibly pushdown automata: universality and inclusion via antichains. (English) Zbl 1377.68104

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 190-201 (2013).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI HAL

State complexity of operations on input-driven pushdown automata. (English) Zbl 1343.68147

Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 485-496 (2011).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

A fixpoint calculus for local and global program flows. (English) Zbl 1370.68051

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 153-165 (2006).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software