An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.

Antoine Toubhans Bor-Yuh Evan Chang Xavier Rival

Published in: SAS (2014)

Keyphrases

temporal abstractions
high level
domain specific
computing power
case based reasoner
domain independent
artificial intelligence
memory size
memory usage
memory requirements
case study
information systems
heuristic search
higher level
general purpose
trade off
complex domains
website
real time