-
+@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}
}
Programming Languages in Open Source Projects},
year = {2015},
isbn = {9781450333504},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2745802.2745805},
abstract = {Background: Anecdotal evidence suggests that software
}
@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},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/3266237.3266263},
abstract = {Contemporary software systems, such as the Internet of
behind the Curtain of Lines-of-Code Metrics},
year = {2020},
isbn = {9781450381789},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/3426428.3426921},
abstract = {Lines-of-code metrics (loc) are commonly reported in
title = {Towards Haskell in the Cloud},
year = {2011},
isbn = {9781450308601},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2034675.2034690},
abstract = {We present Cloud Haskell, a domain-specific language for
title = {A New Approach to Generic Functional Programming},
year = {2000},
isbn = {1581131259},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/325694.325709},
abstract = {This paper describes a new approach to generic functional
{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},
Lenses},
year = {2014},
isbn = {9781450332842},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2746325.2746333},
abstract = {Most complex applications inevitably need to maintain
title = {Comparing Libraries for Generic Programming in Haskell},
year = {2008},
isbn = {9781605580647},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/1411286.1411301},
abstract = {Datatype-generic programming is defining functions that
Language Interfaces},
year = {2010},
issue_date = {June 2010},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
volume = {45},
number = {6},
title = {Checking Type Safety of Foreign Function Calls},
year = {2005},
issue_date = {June 2005},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
volume = {40},
number = {6},
Web Applications},
year = {2014},
issue_date = {December 2014},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
volume = {49},
number = {12},
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
via low-energy Bluetooth on Zephyr OS.},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} {International}
{Symposium} on {Haskell}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Valliappan, Nachiappan and Krook, Robert and Russo,
Alejandro and Claessen, Koen},
year = {2020},
booktitle = {Proceedings of the 22nd {International} {Symposium} on
{Principles} and {Practice} of {Declarative}
{Programming}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Sarkar, Abhiroop and Sheeran, Mary},
year = {2020},
note = {event-place: Bologna, Italy},
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 = {Association for Computing Machinery},
- 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}},
- url = {http://www.worldscientific.com/doi/abs/10.1142/9789813234079_0001},
doi = {10.1142/9789813234079_0001},
language = {en},
urldate = {2022-03-02},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} {International}
{Workshop} on {Programming} {Based} on {Actors}, {Agents},
and {Decentralized} {Control}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Shibanai, Kazuhiro and Watanabe, Takuo},
year = {2018},
note = {event-place: Boston, MA, USA},
traditional dataflow languages.},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} {Workshop} on
{Haskell}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Nilsson, Henrik and Courtney, Antony and Peterson, John},
year = {2002},
note = {event-place: Pittsburgh, Pennsylvania},
}
@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},
isbn = {9781450332101},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2661136.2661146},
abstract = {Tierless programming languages enable developing the
title = {arduino-copilot: {Arduino} programming in haskell using
the {Copilot} stream {DSL}},
shorttitle = {arduino-copilot},
- url = {//hackage.haskell.org/package/arduino-copilot},
+ url = {https://hackage.haskell.org/package/arduino-copilot},
urldate = {2020-02-14},
journal = {Hackage},
author = {Hess, Joey},
}
@Book{ strack2015getting,
- title = {Getting Started with Meteor. js JavaScript Framework},
+ title = {Getting Started with Meteor.js JavaScript Framework},
author = {Strack, Isaac},
year = {2015},
publisher = {Packt Publishing Ltd}
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,
title = {Measurement and {Analysis} of {Hajime}, a {Peer}-to-peer
{IoT} {Botnet}},
isbn = {1-891562-55-X},
- url = {https://par.nsf.gov/biblio/10096257},
doi = {10.14722/ndss.2019.23488},
booktitle = {Network and {Distributed} {Systems} {Security} ({NDSS})
{Symposium} 2019},
address = {Nijmegen},
type = {Bachelor's {Thesis}},
title = {Security analysis of the {iTasks} framework},
- url = {http://www.ru.nl/publish/pages/769526/arjan_oortgiese.pdf},
language = {English},
urldate = {2017-04-08},
school = {Radboud University},
- 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 = {Association for Computing Machinery},
- 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