Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Flick, Nils Erik"'
Dynamically typed object-oriented languages enable programmers to write elegant, reusable and extensible programs. However, with the current methodology for program verification, the absence of static type information creates significant overhead. Ou
Externí odkaz:
http://arxiv.org/abs/1501.02699
Autor:
Kudlek, Manfred1, Flick, Nils Erik2 flick@informatik.uni-oldenburg.de
Publikováno v:
Fundamenta Informaticae. 2014, Vol. 129 Issue 1-2, p117-132. 16p.
Autor:
Kudlek, Manfred1, Flick, Nils Erik2 flick@informatik.uni-oldenburg.de
Publikováno v:
Fundamenta Informaticae. 2013, Vol. 128 Issue 1, p113-128. 16p.
Autor:
Flick, Nils Erik
We propose a new specification language for the proof-based approach to verification of graph programs by introducing mu-conditions as an alternative to existing formalisms which can express path properties. The contributions of this paper are the li
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::211c26bed475559cffb16f3e7da29ad3
Autor:
Flick, Nils Erik, Engelmann, Björn
Structure-changing Petri nets are Petri nets with transition replacement rules. In this paper, we investigate the restricted class of structure-changing workflow nets and show that two different reachability properties (concrete and abstract reachabi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::548ec75ab4968d31f30f22be69b0e288
Autor:
Flick, Nils Erik
We investigate sequential derivation languages associated with graph grammars, as a loose generalisation of free-labeled Petri nets and Szilard languages. The grammars are used to output strings of rule labels, and the applicability of a special rule
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::572f2cf0d94ebc83ee0c36aef4ac16ed
Autor:
Flick, Nils Erik
Publikováno v:
Theoretical Aspects of Computing - ICTAC 2015; 2015, p241-257, 17p
Autor:
Flick, Nils Erik, Kudlek, Manfred
Publikováno v:
Developments in Language Theory (9783642316524); 2012, p452-458, 7p