René Haberland

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 11

Top Topics

Path Expressions

Programming Language

Relational And Object Oriented Databases

Top Venues

Publications

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