NASA Technical Reports Server NTRS 20150022106: A Tool for Intersecting Context-Free Grammars and Its ApplicationsReportar como inadecuado



 NASA Technical Reports Server NTRS 20150022106: A Tool for Intersecting Context-Free Grammars and Its Applications


NASA Technical Reports Server NTRS 20150022106: A Tool for Intersecting Context-Free Grammars and Its Applications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: NASA Technical Reports Server NTRS 20150022106: A Tool for Intersecting Context-Free Grammars and Its Applications
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.



Autor: NASA Technical Reports Server (NTRS)

Fuente: https://archive.org/



DESCARGAR PDF




Documentos relacionados