Horn Logic Denotations and Their Applications
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Global analysis of constraint logic programsACM Transactions on Programming Languages and Systems, 1996
- An introduction to partial evaluationACM Computing Surveys, 1996
- Programming language semanticsACM Computing Surveys, 1996
- Tabled evaluation with delaying for general logic programsJournal of the ACM, 1996
- Generating an efficient compiler for a data parallel language from a denotational specificationPublished by Springer Nature ,1994
- Actress: An action semantics directed compiler generatorPublished by Springer Nature ,1992
- Two-level semantics and code generationTheoretical Computer Science, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Executable specification of static semanticsPublished by Springer Nature ,1984
- An axiomatic basis for computer programmingCommunications of the ACM, 1969