Quantitative Logics for Equivalence of Effectful Programs.

Niels F. W. Voorneveld

Published in: MFPS (2019)

Keyphrases

expressive power
modal logic
computer programs
qualitative and quantitative
information retrieval
quantitative and qualitative
inference rules
decision procedures
databases
high level
information technology
answer sets
java programs
provably correct