10 citations · 21 across the 5 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.SE2017★ 3 cited
Source Code Verification for Embedded Systems using Prolog
Frank Flederer, Ludwig Ostermayer, Dietmar Seipel +1
System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their…
cs.DB2017★ 10 cited
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts
Falco Nogatz, Dietmar Seipel
The methods to access large relational databases in a distributed system are well established: the relational query language SQL often serves as a language for data access and mani…
cs.DB2017★ 5 cited
Knowledge Engineering for Hybrid Deductive Databases
Dietmar Seipel
Modern knowledge base systems frequently need to combine a collection of databases in different formats: e.g., relational databases, XML databases, rule bases, ontologies, etc. In…