Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Alex Gerdes"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 44, Iss Proc. IWS 2010, Pp 21-34 (2010)
Mathematical learning environments give domain-specific and immediate feedback to students solving a mathematical exercise. Based on a language for specifying strategies, we have developed a feedback framework that automatically calculates semantical
Externí odkaz:
https://doaj.org/article/b72aa334ae844840a15f8fb1cb74c382
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030185053
TFP
TFP
Typed functional programming allows us to write interesting programs without sacrificing type safety. Programs that expose their API to an open world, however, are faced with the problem of dynamic type checking. In Haskell, existing techniques that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ba74f63f4620000e7d4bb11131e155
https://doi.org/10.1007/978-3-030-18506-0_5
https://doi.org/10.1007/978-3-030-18506-0_5
Autor:
Nicholas Smallbone, John Hughes, Alex Gerdes, Meng Wang, Stefan Hanenberg, Sebastian Ivarsson
Publikováno v:
Erlang Workshop
Gerdes, A, Hughes, J, Smallbone, N, Hanenberg, S, Ivarsson, S & Wang, M 2018, Understanding Formal Specifications through Good Examples . in 17th ACM Erlang Workshop 2018 : Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang . Association for Computing Machinery (ACM), pp. 13-24 . https://doi.org/10.1145/3239332.3242763
Gerdes, A, Hughes, J, Smallbone, N, Hanenberg, S, Ivarsson, S & Wang, M 2018, Understanding Formal Specifications through Good Examples . in 17th ACM Erlang Workshop 2018 : Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang . Association for Computing Machinery (ACM), pp. 13-24 . https://doi.org/10.1145/3239332.3242763
Formal specifications of software applications are hard to understand, even for domain experts. Because a formal specification is abstract, reading it does not immediately convey the expected behaviour of the software. Carefully chosen examples of th
Publikováno v:
Mathematics in Computer Science. 3:349-370
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying stra
Autor:
Bruno C. d. S. Oliveira, Alexey Rodriguez, Oleg Kiselyov, Patrik Jansson, Johan Jeuring, Alex Gerdes
Publikováno v:
Haskell
Scopus-Elsevier
Scopus-Elsevier
Datatype-generic programming is defining functions that depend on the structure, or "shape", of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haske
Publikováno v:
Erlang Workshop
QuickCheck allows us to verify software against particular proper- ties. A property can be regarded as an abstraction over many unit tests. QuickCheck uses generated random input data to test such properties. If a counterexample is found, it becomes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c103d50bcfa0670ca656f978a2034e1
https://kar.kent.ac.uk/50096/1/icfpws15erlangmain-erlangmainid5-p-29951-5c323f8-24433-submitted.pdf
https://kar.kent.ac.uk/50096/1/icfpws15erlangmain-erlangmainid5-p-29951-5c323f8-24433-submitted.pdf
Autor:
Ulf Norell, Alex Gerdes
Publikováno v:
Erlang Workshop
Many functions take a value of a particular (recursive) data structure as input and compute an output value by traversing the structure and collect, combine, or update values in that data structure. Some examples are: collecting all hyperlink tags in
Publikováno v:
ICST Workshops
QuickCheck can test a system by specifying a state machine for the API exported by that system. This state machine specification includes a list of possible API calls. Each call is accompanied by a precondition, a postcondition, a generator for the a
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319105567
SAFECOMP Workshops
SAFECOMP Workshops
Implementing AUTOSAR-based embedded systems that adhere to ISO 26262 is not trivial. High-level safety goals have to be refined to functional safety requirements and technical HW and SW safety requirements. SW safety requirements allocated to the app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34803ed496a010641b56690ff9d2ae4d
https://doi.org/10.1007/978-3-319-10557-4_4
https://doi.org/10.1007/978-3-319-10557-4_4
Publikováno v:
ITiCSE
We introduce an interactive tutor that supports the stepwise development of simple functional programs. Using this tutor, students receive feedback about whether or not they are on the right track, can ask for a hint when they are stuck, and get sugg