Folklore confirmed

DOI10.1145/604131.604141zbMath1321.68187OpenAlexW2083804777MaRDI QIDQ2942916

Clark D. Thomborson, Jeanne Ferrante, L. Carter

Publication date: 11 September 2015

Published in: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/604131.604141

zbMATH Keywords

computational complexityprogramming languagescompilerssafety/security in digital systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Flows in graphs (05C21)

Uses Software

• TREX

Cites Work

• Regular expression pattern matching for XML
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Folklore confirmed