Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Voigtländer, Janis"'
Autor:
Westphal, Oliver, Voigtländer, Janis
Publikováno v:
EPTCS 321, 2020, pp. 19-36
We present a small, formal language for specifying the behavior of simple console I/O programs. The design is driven by the concrete application case of testing interactive Haskell programs written by students. Specifications are structurally similar
Externí odkaz:
http://arxiv.org/abs/2008.09253
Autor:
Voigtländer, Janis
Free theorems are a popular tool in reasoning about parametrically polymorphic code. They are also of instructive use in teaching. Their derivation, though, can be tedious, as it involves unfolding a lot of definitions, then hoping to be able to simp
Externí odkaz:
http://arxiv.org/abs/1908.07776
Autor:
Schwarz, Sibylle, Voigtländer, Janis
Publikováno v:
EPTCS 234, 2017
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming, constraint
Externí odkaz:
http://arxiv.org/abs/1701.00148
The recent rise of interest in bidirectional transformations (BXs) has led to the development of many BX frameworks, originating in diverse computer science disciplines. From a user perspective, these frameworks vary significantly in both interface a
Externí odkaz:
http://arxiv.org/abs/1306.4473
Autor:
Seidel, Daniel, Voigtländer, Janis
Publikováno v:
EPTCS 57, 2011, pp. 89-103
"Theorems for Free!" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have always had a purely extensional flavor: statements relating the value
Externí odkaz:
http://arxiv.org/abs/1107.1203
We report on generators for different task types addressing Petri net concepts from a modeling lecture for undergraduate students. A focus is on how to control difficulty and intended insights about the subject matter on the learners’ side. We expl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa3ea323db97908324ab4cecb7f6694e
We report on generators for different task types addressing Petri net concepts from a modeling lecture for undergraduate students. A focus is on how to control difficulty and intended insights about the subject matter on the learners’ side. We expl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=unidue___bib::0a13fc950c73b6d8594043f88f325b0d
https://dl.gi.de/handle/20.500.12116/38790
https://dl.gi.de/handle/20.500.12116/38790
Autor:
Johann, Patricia, Voigtländer, Janis
Publikováno v:
In Information and Computation 2009 207(2):341-368
Class diagrams are used to statically design object-oriented software. Object diagrams are a closely related concept. Understanding class diagrams and their connection to object diagrams is crucial for object-oriented software design. Hence, teaching
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=unidue___bib::71e22c0f3d018d42d6b65a1bfb698026
http://ceur-ws.org/Vol-2542/MOHOL5.pdf
http://ceur-ws.org/Vol-2542/MOHOL5.pdf
Publikováno v:
In Journal of Logic and Algebraic Programming 2007 71(2):79-113