NASA NTRS · 20150022106
A Tool for Intersecting Context-Free Grammars and Its Applications
Abstract
This paper describes a tool for intersecting context-free grammars. Since this problem is undecidable the tool follows a refinement-based approach and implements a novel refinement which is complete for regularly separable grammars. We show its effectiveness for safety verification of recursive multi-threaded programs.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Gange, Graeme, Navas, Jorge A., Schachte, Peter, Sondergaard, Harald, Stuckey, Peter J.. 2015-06-30. A Tool for Intersecting Context-Free Grammars and Its Applications. https://ntrs.nasa.gov/citations/20150022106
Cite the original work for its findings. Save a collection to share your selection of sources.