Programming Logics - Essays in Memory of Harald Ganzinger

Published in: Programming Logics (2013)

Keyphrases

expressive power
programming language
memory requirements
modal logic
memory usage
artificial intelligence
inference rules
computing power
memory space
limited memory
high level language
memory management
low memory
programming environments