×

Found 3 Documents (Results 1–3)

Abstract interpretation of graphs. (English) Zbl 07729471

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 72-96 (2023).
MSC:  68R10 05C38 05C85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software