Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Lucas Satabin"'
Autor:
Lucas Satabin, Javier Cabrera Arteaga, Benoit Baudry, Shrinish Donde, Orestis Floros, Martin Monperrus, Jian Gu
Publikováno v:
Programming
Motivated by the fast adoption of WebAssembly, we propose the first functional pipeline to support the superoptimization of WebAssembly bytecode. Our pipeline works over LLVM and Souper. We evaluate our superoptimization pipeline with 12 programs fro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1926aba309f304df459c563843053092
https://doi.org/10.1145/3397537.3397567
https://doi.org/10.1145/3397537.3397567
Publikováno v:
Linköping Electronic Conference Proceedings.
The ever growing requirement for safety in embedded systems, together with the willingness of having a modelling language to describe both the physics and the software that controls it makes Modelica an interesting candidate to design, simulate and i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4552fd182ddbaa1c109e56c33adab2ee
https://doi.org/10.3384/ecp15118637
https://doi.org/10.3384/ecp15118637
Autor:
Lucas Satabin, Mira Mezini
Publikováno v:
AOSD (Companion)
EScala is an extension of Scala with support for declarative event-driven programming. It provides mechanisms for declarative definition of events and employs aspect-oriented techniques for exposing implicitly existing events, which reduces the need
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94da26d596e916399bf763f61078a714
https://doi.org/10.1145/1960314.1960336
https://doi.org/10.1145/1960314.1960336
Publikováno v:
AOSD
International audience; Event-driven programming style in OO languages based on imperatively triggered events does not support separate and more declarative event definitions by composition or transformation of other events. AO language mechanisms fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69a37fdbb098327cb25e0a780fc73869
https://doi.org/10.1145/1960275.1960303
https://doi.org/10.1145/1960275.1960303
Autor:
Rodrigo Andrade, Paulo Borba, Lucas Satabin, Márcio Ribeiro, Vaidas Gasiunas, Henrique Rebêlo
Publikováno v:
CSMR
Maintainability of a software product line depends on the possibility to modularize its variations, often expressed in terms of optionally selected features. Conventional modularization techniques bind variations either statically or dynamically, but
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e0e557d1f85406e42dc53962353b57e
https://doi.org/10.1109/csmr.2011.29
https://doi.org/10.1109/csmr.2011.29
Autor:
Paulo Borba, Vaidas Gasiunas, Rodrigo Andrade, Lucas Satabin, Márcio Ribeiro, Henrique Rebêlo
Publikováno v:
The Computer Journal. :bxv054
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16eed32d07f0859fbf34426118dc6e2c
https://doi.org/10.1093/comjnl/bxv054
https://doi.org/10.1093/comjnl/bxv054
Autor:
Satabin, Lucas, Mezini, Mira
Publikováno v:
Aspect-oriented Software Development; Mar2011, p67-68, 2p
Publikováno v:
Aspect-oriented Software Development; Mar2011, p227-240, 14p
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2
