Static Analysis

DOI10.1007/11547662zbMath1141.68360OpenAlexW4229853237MaRDI QIDQ5897427

John P. Gallagher, Maurice Bruynooghe, Wouter van Humbeeck

Publication date: 31 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11547662

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (6)

Semantic query optimization in the presence of types ⋮ Non-termination Analysis of Logic Programs Using Types ⋮ A polymorphic type dependency analysis for logic programs ⋮ Type-based homeomorphic embedding for online termination ⋮ From Monomorphic to Polymorphic Well-Typings and Beyond ⋮ Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

This page was built for publication: Static Analysis