-
+@PREAMBLE{ {\providecommand{\noopsort}[2]{#2} } }
@Article{ sethi2017internet,
title = {Internet of things: architectures, protocols, and
applications},
}
@Article{ levis_mate_2002,
- title = {Maté: {A} tiny virtual machine for sensor networks},
+ title = {Mat\'{e}: {A} tiny virtual machine for sensor networks},
volume = {37},
number = {10},
journal = {ACM Sigplan Notices},
number = {038},
volume = {08},
year = {2007},
- month = {dec},
+ month = {12},
doi = {10.2139/ssrn.1071720}
}
}
@InProceedings{ motta2018challenges,
- author = {Motta, Rebeca C. and de Oliveira, K\'{a}thia M. and
- Travassos, Guilherme H.},
+ author = {Motta, Rebeca C. and \noopsort{Oliveira}{de Oliveira}, K\'{a}thia M. and Travassos, Guilherme H.},
title = {On Challenges in Engineering IoT Software Systems},
year = {2018},
isbn = {9781450365031},
{C}onference on {F}unctional {P}rogramming ({ICFP} 2007)},
address = {{F}reiburg, {G}ermany},
year = 2007,
- month = {Oct 1--3},
+ month = {10},
publisher = {ACM},
isbn = "978-1-59593-815-2",
pages = {141-152}
and {Application} of {Functional} {Programming}
{Languages}},
publisher = {ACM},
- author = {Oortgiese, Arjan and van Groningen, John and Achten, Peter
+ author = {Oortgiese, Arjan and \noopsort{Groningen}{van Groningen}, John and Achten, Peter
and Plasmeijer, Rinus},
year = {2017},
pages = {7},
uses it, and discuss the implementation and the compiler
technology on which it depends.},
journal = {SIGPLAN Not.},
- month = {sep},
+ month = {9},
pages = {79–89},
numpages = {11},
keywords = {distributed systems, web applications, network
Functional L.pdf:application/pdf}
}
-@InProceedings{ 10.1145/3281366.3281370,
- author = {Shibanai, Kazuhiro and Watanabe, Takuo},
- title = {Distributed Functional Reactive Programming on Actor-Based
- Runtime},
- year = {2018},
- isbn = {9781450360661},
- publisher = {ACM},
- address = {New York, NY, USA},
- doi = {10.1145/3281366.3281370},
- abstract = {Reactive programming over a network is a challenging task
- because efficient elimination of temporary violations of
- data flow invariants, known as glitches, in a distributed
- setting is still an open issue. In this paper, we propose a
- method for constructing a distributed reactive programming
- system of which runtime guarantees the properties of single
- source glitch-freedom and the robustness against
- out-of-order messages. Based on the method, we developed a
- purely functional reactive programming language XFRP whose
- compiler produces Erlang code. Using some examples, we show
- that the proposed method is beneficial for constructing
- distributed reactive applications without suffering from
- inconsistencies.},
- booktitle = {Proceedings of the 8th ACM SIGPLAN International Workshop
- on Programming Based on Actors, Agents, and Decentralized
- Control},
- pages = {13–22},
- numpages = {10},
- keywords = {Distributed Functional Reactive Programming, Erlang,
- Glitch Freedom, Synchronization, Actor-Based Runtime
- System},
- location = {Boston, MA, USA},
- series = {AGERE 2018}
-}
-
@InProceedings{ suzuki_cfrp_2017,
address = {The University of The Philippines Cebu, Cebu City, The
Philippines},
title = {{CFRP}: {A} {Functional} {Reactive} {Programming}
{Language} for {Small}-{Scale} {Embedded} {Systems}},
- isbn = {978-981-323-406-2 978-981-323-407-9},
+ isbn = {978-981-323-406-2},
shorttitle = {{CFRP}},
doi = {10.1142/9789813234079_0001},
language = {en},
}
@InProceedings{ 10.1145/2661136.2661146,
- author = {Philips, Laure and De Roover, Coen and Van Cutsem, Tom and
- De Meuter, Wolfgang},
+ author = {Philips, Laure and \noopsort{Roover}{de Roover}, Coen and \noopsort{Cutsem}{van Cutsem}, Tom and \noopsort{Meuter}{de Meuter}, Wolfgang},
title = {Towards Tierless Web Development without Tierless
Languages},
year = {2014},
publisher = {Springer}
}
-@Misc{ diffmicro,
+@online{ diffmicro,
title = "MicroPython Differences from CPython",
author = {{Micropython Team}},
- year = "2022",
- note = "https://docs.micropython.org/en/latest/genrst/index.html"
+ date = "2022",
+ url = {https://docs.micropython.org/en/latest/genrst/index.html}
}
@Article{ weisenburger2020survey,
- 2018 - Security analysis of the iTasks
framework.pdf:application/pdf}
}
-
-@InProceedings{ steenvoorden2019tophat,
- author = {Steenvoorden, Tim and Naus, Nico and Klinik, Markus},
- title = {TopHat: A Formal Foundation for Task-Oriented
- Programming},
- year = {2019},
- isbn = {9781450372497},
- publisher = {ACM},
- address = {New York, NY, USA},
- doi = {10.1145/3354166.3354182},
- booktitle = {Proceedings of the 21st International Symposium on
- Principles and Practice of Declarative Programming},
- articleno = {17},
- numpages = {13},
- location = {Porto, Portugal},
- series = {PPDP '19}
-}
repositories / phd-thesis.git / blobdiff