research
∙
04/04/2021
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory
This work proposes a Prolog-dialect for the found and prioritised proble...
share
research
∙
12/17/2019
Narrowing Down XML Template Expansion and Schema Validation
This work examines how much template instantiation can narrow down schem...
research
∙
12/17/2019
Using Prolog for Transforming XML-Documents
Proponents of the programming language Prolog share the opinion Prolog i...
research
∙
10/22/2019
Review of Recent Techniques on Heap Specification and Verification
This review article provides an overview of recent approaches and techni...
research
∙
06/26/2019
A Stricter Heap Separating Points-To Logic
Dynamic memory issues are hard to locate and may cost much of a developm...
research
∙
06/19/2019
Unification of Template-Expansion and XML-Validation
The processing of XML documents often includes creation and validation. ...
research
∙
06/19/2019
Transformation of XML Documents with Prolog
Transforming XML documents with conventional XML languages, like XSL-T, ...
research
∙
06/06/2019
Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog
A Prolog-based framework for fully automated verification currently unde...
research
∙
06/01/2019
Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition
Abstract predicates are considered in this paper as abstraction techniqu...
research
∙
05/30/2019