TY  - BOOK
AU  - Hermenegildo, Manuel V.
AU  - Morales, José F.
TI  - Static Analysis
SN  - 9783031442452
U1  - 4.0151 
PY  - 2023///
CY  - Cham 
PB  - Springer Nature Switzerland 
KW  - Compilers (Computer programs)
KW  - Compilers and Interpreters
KW  - Computer Engineering and Networks
KW  - Computer engineering
KW  - Computer networks 
KW  - Computer Science Logic and Foundations of Programming
KW  - Computer science
KW  - Formal Languages and Automata Theory
KW  - Machine theory
KW  - Natural language processing (Computer science)
KW  - Natural Language Processing (NLP)
N2  - Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com
UR  - https://doi.org/10.1007/978-3-031-44245-2
ER  -