Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Jurgen J. Vinju"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 56, Iss Proc. AMMSE 2011, Pp 15-32 (2011)
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based
Externí odkaz:
https://doaj.org/article/c95ae3a080914ed68bce34d7fb902387
Publikováno v:
Software: Practice and Experience, 2022, 1-38
This is an industrial experience report on a large semi-automated migration of legacy test code in C and C++. The particular migration was enabled by automating most of the maintenance steps. Without automation this particular large-scale migration w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c098681e01cd702ac86e5a91d5d2161c
https://ir.cwi.nl/pub/31600
https://ir.cwi.nl/pub/31600
Publikováno v:
ACM SIGPLAN Notices. 52:168-172
Collection data structures in standard libraries of programming languages are designed to excel for the average case by carefully balancing memory footprint and runtime performance. These implicit design decisions and hard-coded trade-offs do constra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94af944bf0bdf7ecd81f2d7a5bcd2703
https://doi.org/10.1145/3093335.2993251
https://doi.org/10.1145/3093335.2993251
Publikováno v:
Science of Computer Programming, 134, 1-3
Science of Computer Programming, 134, 1-3. Elsevier
Science of Computer Programming, 134, 1-3. Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac442512780677ff81394ba56f8d85ee
https://research.tue.nl/en/publications/a8520136-d8d0-4651-9f7f-1b0fa110fba1
https://research.tue.nl/en/publications/a8520136-d8d0-4651-9f7f-1b0fa110fba1
Publikováno v:
ACM SIGPLAN Notices. 50:783-800
The data structures under-pinning collection API (e.g. lists, sets, maps) in the standard libraries of programming languages are used intensively in many applications. The standard libraries of recent Java Virtual Machine languages, such as Clojure o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e42de75fbae3a8d255fba3f59e5ef8f
https://doi.org/10.1145/2858965.2814312
https://doi.org/10.1145/2858965.2814312
Publikováno v:
ACM SIGPLAN Notices. 50:11-14
The hash trie data structure is a common part in standard collection libraries of JVM programming languages such as Clojure and Scala. It enables fast immutable implementations of maps, sets, and vectors, but it requires considerably more memory than
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::296cc3020fb3b4dfb2c696e98aa1e344
https://doi.org/10.1145/2775053.2658763
https://doi.org/10.1145/2775053.2658763
Publikováno v:
7th International Conference, SLE 2014
7th International Conference, SLE 2014, Sep 2014, Västerås, Sweden. pp.171-190, ⟨10.1007/978-3-319-11245-9_10⟩
Software Language Engineering ISBN: 9783319112442
SLE
7th International Conference, SLE 2014, Sep 2014, Västerås, Sweden. pp.171-190, ⟨10.1007/978-3-319-11245-9_10⟩
Software Language Engineering ISBN: 9783319112442
SLE
International audience; Within a given modeling platform, modeling tools, such as model editors and transformation engines, interoperate efficiently. They are generally written in the same general-purpose language, and use a single modeling framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00f17a41e1021d247d4d8977d01e45dc
https://hal.inria.fr/hal-01096634
https://hal.inria.fr/hal-01096634
Publikováno v:
SLE 7-Proceedings of International Conference on Software Language Engineering 2014
Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju. SLE 7-Proceedings of International Conference on Software Language Engineering 2014, Sep 2014, Västerås, Sweden. Springer, pp.353, 2014, 978-3-319-11245-9
Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju. SLE 7-Proceedings of International Conference on Software Language Engineering 2014, Sep 2014, Västerås, Sweden. Springer, pp.353, 2014, 978-3-319-11245-9
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e8da6222543ef349bbae6c937dba74f2
https://hal.inria.fr/hal-01110914
https://hal.inria.fr/hal-01110914