pith. sign in

Ren\'e Haberland

Identifiers

  • name variant Ren\'e Haberland 0.60 · backfill

Papers (9)

  1. A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory cs.LO · 2021 · author #1
  2. Narrowing Down XML Template Expansion and Schema Validation cs.LO · 2019 · author #1
  3. Using Prolog for Transforming XML Documents cs.PL · 2019 · author #1
  4. A Stricter Heap Separating Points-To Logic cs.LO · 2019 · author #1
  5. Unification of Template-Expansion and XML-Validation cs.LO · 2019 · author #1
  6. Transformation of XML Documents with Prolog cs.LO · 2019 · author #1
  7. Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog cs.LO · 2019 · author #1
  8. Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition cs.LO · 2019 · author #1
  9. A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction cs.LO · 2019 · author #1

Mentions

  • 1912.10817 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 1912.10816 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 2104.01667 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 1906.11319 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 1906.08369 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 1906.08361 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 1906.02808 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 1906.00217 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland
  • 1905.12944 #1 · arxiv_oai · confidence 0.70 Ren\'e Haberland

Frequent Coauthors