Zwei Paper beim WLP'16
21.09.2016Schon traditionell war unser Lehrstuhl wieder beim Workshop on (Constraint) Logic Programming (WLP) vertreten. Falco Nogatz und Frank Flederer stellten die gemeinsamen Arbeiten mit Dietmar Seipel, Ludwig Ostermayer und Sergio Montenegro vor.
Der WLP fand Mitte September wieder zusammen mit dem WFLP, dem Pendant aus der Funktionalen Programming, im Rahmen der Leipzig Week of Declarative Programming (L-DEC) statt. Falco Nogatz stellte seine gemeinsame Arbeit mit Dietmar Seipel zur Implementierung der Abfragesprache GraphQL in SWI-Prolog vor. Frank Flederer vom Lehrstuhl VIII präsentierte die in Kooperation beider Lehrstühle entstandene Arbeit (gemeinsam mit Ludwig Ostermayer, Dietmar Seipel und Sergio Montenegro) zur Verifikation eingebetteter Systeme mittels Prolog.
