×

Found 3 Documents (Results 1–3)

Interprocedural dataflow analysis over weight domains with infinite descending chains. (English) Zbl 1234.68219

de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 440-455 (2009).
MSC:  68Q45 68N30 68Q70
PDFBibTeX XMLCite
Full Text: DOI

On the reachability analysis of acyclic networks of pushdown systems. (English) Zbl 1160.68451

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 356-371 (2008).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software