Multiple specialization using minimal-function graph semantics

DOI10.1016/0743-1066(92)90033-YzbMath0776.68033OpenAlexW2074516823MaRDI QIDQ4012710

Will Winsborough

Publication date: 27 September 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(92)90033-y

zbMATH Keywords

interprocedural analysisdeterministic finite automatonoptimizing compilersminimal-function graph semantics

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

Termination of floating-point computations ⋮ Unnamed Item

This page was built for publication: Multiple specialization using minimal-function graph semantics