Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Lunde, Rüdiger"'
Autor:
Lunde, Ruediger, Wirth, Claus-Peter
Maintaining the main aspects of the algebraic specification language ASF as presented in [Bergstra&al.89] we have extend ASF with the following concepts: While once exported names in ASF must stay visible up to the top the module hierarchy, ASF+ perm
Externí odkaz:
http://arxiv.org/abs/0902.2995
Autor:
Wirth, Claus-Peter, Lunde, Ruediger
We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions. Based on the presented macro-rule-construct, positive/negative-con
Externí odkaz:
http://arxiv.org/abs/0902.2975
Publikováno v:
In IFAC PapersOnLine 2018 51(24):1255-1262
Publikováno v:
In IFAC PapersOnLine 2018 51(24):131-138
Publikováno v:
In Procedia CIRP 2018 67:24-29
Autor:
Hönig, Philipp1 hoenig@hs-ulm.de, Lunde, Rüdiger1 r.lunde@hs-ulm.de, Holzapfel, Florian2 florian.holzapfel@tum.de
Publikováno v:
Information (2078-2489). Mar2017, Vol. 8 Issue 1, p7. 15p.
Autor:
Lunde, Rüdiger, Wirth, Claus-Peter
Ohne auf wesentliche Aspekte der in [Bergstra&al.89] vorgestellten alge-braischen Spezifikationssprache ASF zu verzichten, haben wir ASF um die folgenden Konzepteerweitert: Während in ASF einmal exportierte Namen bis zur Spitze der Modulhierarchie s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4aef138154374e0905b813086b307955
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/427
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/427
Autor:
Wirth, Claus-Peter, Lunde, Rüdiger
We present a convenient notation for positive/negativeADconditional equations. Theidea is to merge rules specifying the same function by using caseAD, ifAD, matchAD, and letADexpressions.Based on the presented macroADruleADconstruct, positive/negativ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7bf5acdb6e79f261fa7b8f7a302ef0f5
https://kluedo.ub.uni-kl.de/files/426/sekiwp_4.pdf
https://kluedo.ub.uni-kl.de/files/426/sekiwp_4.pdf