Frank Flederer

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Programming Language

Inference Engine

Bug Localization

Top Venues

Publications

Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro
Source Code Verification for Embedded Systems using Prolog. WLP / WFLP (2017)
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
CAPJA - A Connector Architecture for Prolog and Java. KESE@ECAI (2014)
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
PPI - A Portable Prolog Interface for Java. WLP/WFLP (2014)