Travelled to:
1 × USA
Collaborated with:
M.Hanus
Talks about:
function (1) program (1) modular (1) generic (1) analysi (1) system (1) server (1) logic (1)
Person: Fabian Skrlac
DBLP: Skrlac:Fabian
Contributed to:
Wrote 1 papers:
- PEPM-2014-HanusS #analysis #composition #functional #logic programming #source code
- A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.