×

zbMATH — the first resource for mathematics

Assessing security threats of looping constructs. (English) Zbl 1295.68089
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 225-235 (2007).

MSC:
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68P30 Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science)
68Q55 Semantics in the theory of computing
PDF BibTeX XML Cite
Full Text: DOI