Static Analysis

DOI10.1007/b99688zbMath1104.68011OpenAlexW4291238798MaRDI QIDQ5466573

Étienne Payet, Fred Mesnard

Publication date: 24 August 2005

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Loop detection in term rewriting using the eliminating unfoldings