Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Ulf Nilsson. Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. PhD thesis, Linköping University, Department of Computer and Information Science, 1992.

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL