René Haberland

11 papers Misc 1Journal 10

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory. CoRR René Haberland
2019	J	`jnl`	A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction. CoRR René Haberland, Kirill Krinkin
2019	J	`jnl`	A Stricter Heap Separating Points-To Logic. CoRR René Haberland, Kirill Krinkin
2019	J	`jnl`	Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition. CoRR René Haberland, Kirill Krinkin, Sergey Ivanovskiy
2019	J	`jnl`	Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog. CoRR René Haberland, Sergey Ivanovskiy
2019	J	`jnl`	Narrowing Down XML Template Expansion and Schema Validation. CoRR René Haberland
2019	J	`jnl`	Review of Recent Techniques on Heap Specification and Verification. CoRR René Haberland
2019	J	`jnl`	Transformation of XML Documents with Prolog. CoRR René Haberland, Igor L. Bratchikov
2019	J	`jnl`	Unification of Template-Expansion and XML-Validation. CoRR René Haberland
2019	J	`jnl`	Using Prolog for Transforming XML-Documents. CoRR René Haberland
2016	Misc	`conf`	Abstract predicate entailment over points-to heaplets is syntax recognition. FRUCT René Haberland, Kirill Krinkin, Sergey Ivanovskiy