Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog.

René Haberland Sergey Ivanovskiy

Published in: CoRR (2019)

Keyphrases

object oriented programs
integration testing
specification languages
model checking
formal specification
impact analysis
object oriented
logic programming
expert systems
black box
knowledge base
knowledge representation
case study