HOME View All Genre

Book

Audiobook

GENRES 🌙 Dark

Static Analysis - Manuel V. Hermenegildo & José F. Morales

By Manuel V. Hermenegildo & José F. Morales

Release Date: 2023-10-23

Genre: Computers

(0 ratings)
Read Download
Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Static Analysis - Manuel V. Hermenegildo & José F. Morales

By Manuel V. Hermenegildo & José F. Morales

Release Date: 2023-10-23

Genre: Computers

(0 ratings)
Read Download
Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

More by Manuel V. Hermenegildo & José F. Morales

Prolog: The Next 50 Years

Static Analysis

Logic-Based Program Synthesis and Transformation

Related Articles