A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions.

David Sabel Manfred Schmidt-Schauß

Published in: J. Autom. Reason. (2013)

Keyphrases

functional programs
functional language
term rewriting systems
lazy evaluation
valued logic
logic programs
functional programming
classical logic
automated reasoning
database
artificial intelligence
object oriented
general purpose
programming language