91 – 100 of 290
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Message from the Chairs
(2020) 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2020, co-located with the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Relational reference attribute grammars: Improving continuous model validation
- Contribution to journal › Article
- 2019
-
Mark
ComPOS : Composing Oblivious Services
(2019) 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019 p.132-138
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MetaDL: Analysing Datalog in Datalog
(2019) 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 p.38-43
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Live GUI development for service-based systems
(2019)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Message from the Chairs
(2019) 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
ComPOS - a development environment for composing internet-of-things services
- Thesis › Licentiate thesis
-
Mark
Factoring out glue-code in systems of IoT devices: the PalCom architecture model
(2019)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MetaDL : Declarative program analysis for the masses
(2019) 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity p.17-18
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
A DSL for Composing IoT Systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
