DENOTATIONAL ABSTRACT INTERPRETATION OF LOGIC PROGRAMS Journal Articles uri icon

Overview

Published in

  • ACM Transactions on Programming Languages and Systems

Time

Date/time value

  • 1994

Identity

Digital Object Identifier (DOI)

  • 10.1145/177492.177650

Additional Document Info

Parent Title

  • ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Volume

  • 16

Issue

  • 3

Publisher

  • Association for Computing Machinery Inc.