A program logic for fresh name generation.

Harold Pancho Eliott Martin Berger

Published in: Sci. Comput. Program. (2022)

Keyphrases

classical logic
database
logic programming
asynchronous circuits
modal logic
automated reasoning
java programs
program execution
declarative semantics
information retrieval
multi agent systems
computer programs
multi valued
functional programs