SICIoT: A simple instruction compiler for the Internet of Things

Colina, 2016 Abedin, 2017, An interoperable IP based WSN for smart irrigation system, 1 Khriji, 2014, Precision irrigation based on wireless sensor network, IET Sci. Meas. Technol., 8, 10.1049/iet-smt.2013.0137 Ojha, 2015, Wireless sensor networks for agriculture: the state-of-the-art in practice and future challenges, Comput. Electron. Agric., 118, 66, 10.1016/j.compag.2015.08.011 Yu, 2013, A survey on wireless sensor network infrastructure for agriculture, Comput. Stand. Interfaces, 35, 59, 10.1016/j.csi.2012.05.001 Barcelo-Ordinas, 2013, A survey of wireless sensor technologies applied to precision agriculture, 801 Ruiz-Garcia, 2009, A review of wireless sensor technologies and applications in agriculture and food industry: state of the art and current trends, Sensors, 9, 4728, 10.3390/s90604728 Tzounis, 2017, Internet of Things in agriculture, recent advances and future challenges, Biosyst. Eng., 164, 31, 10.1016/j.biosystemseng.2017.09.007 Jawad, 2017, Energy-efficient wireless sensor networks for precision agriculture: a review, Sensors, 17, 10.3390/s17081781 Anisi, 2015, A survey of wireless sensor network approaches and their energy consumption for monitoring farm fields in precision agriculture, Precis. Agric., 16, 216, 10.1007/s11119-014-9371-8 Akyildiz, 2002, Wireless sensor networks: a survey, Comput. Netw., 38, 393, 10.1016/S1389-1286(01)00302-4 Yick, 2008, Wireless sensor network survey, Comput. Netw., 52, 2292, 10.1016/j.comnet.2008.04.002 Potdar, 2009, Wireless sensor networks: a survey, 636 Rawat, 2014, Wireless sensor networks: a survey on recent developments and potential synergies, J. Supercomput., 68, 1, 10.1007/s11227-013-1021-9 Cacciagrano, 2018, IRON: Reliable domain specific language for programming IoT devices, Internet Things Lopes, 2016, A safe-by-design programming language for wireless sensor networks, J. Syst. Archit., 63, 16, 10.1016/j.sysarc.2016.01.004 Lee, 2017, Design and implementation of the secure compiler and virtual machine for developing secure IoT services, Future Gener. Comput. Syst., 76, 350, 10.1016/j.future.2016.03.014 Salman, 2016, SenNet: a programming toolkit to develop wireless sensor network applications, 1 Chandra, 2015, Programming languages for Wireless Sensor Networks: a comparative study, 1702 Xiao, 2019, A finite-state-machine model driven service composition architecture for Internet of Things rapid prototyping, Future Gener. Comput. Syst., 99, 473, 10.1016/j.future.2019.04.050 Gianni, 2019, RapIoT toolkit: rapid prototyping of collaborative Internet of Things applications, Future Gener. Comput. Syst., 95, 867, 10.1016/j.future.2018.02.030 Krishnamurthy, 2016, Chapter 5 – programming frameworks for Internet of Things, 79 Wang, 2008, Middleware for wireless sensor networks: a survey, J. Comput. Sci. Technol., 23, 305, 10.1007/s11390-008-9135-x de Farias, 2017, COMFIT: a development environment for the Internet of Things, Future Gener. Comput. Syst., 75, 128, 10.1016/j.future.2016.06.031 Johnsson, 2017, Towards end-user development of graphical user interfaces for internet of things, Future Gener. Comput. Syst. Johnson, 2009, A comparative review of wireless sensor network mote technologies, 1439 Gajjar, 2014, Comparative analysis of wireless sensor network motes, 426 Karray, 2018, A comprehensive survey on wireless sensor node hardware platforms, Comput. Netw., 144, 89, 10.1016/j.comnet.2018.05.010 Farooq, 2011, Operating systems for wireless sensor networks: asurvey, Sensors, 11, 5900, 10.3390/s110605900 Chien, 2011, A comparative study on operating system for Wireless Sensor Networks, 73 Dutta, 2012, Operating systems and network protocols for wireless sensor networks, Philos. Trans. R. Soc. A Math. Phys. Eng. Sci., 370, 68, 10.1098/rsta.2011.0330 Strazdins, 2013, Wireless sensor network operating system design rules based on real-world deployment survey, J. Sens. Actuator Netw., 2, 509, 10.3390/jsan2030509 P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse, A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, D. Culler, TinyOS: an Operating System for Sensor Networks, Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 115–148. 10.1007/3-540-27139-2_7 Dunkels, 2004, Contiki – a lightweight and flexible operating system for tiny networked sensors, 455 Tarditi, 1992, No assembly required: compiling standard ML to C, ACM Lett. Program. Lang. Syst., 1, 161, 10.1145/151333.151343 Serrano, 1995, Bigloo: a portable and optimizing compiler for strict functional languages, 366 Codognet, 1995, WAMCC: compiling Prolog to C, 81 Polastre, 2005, Telos: enabling ultra-low power wireless research, 364 Texas Instruments, LAUNCHXL-CC2650, (http://www.ti.com/tool/LAUNCHXL-CC2650). Gamma, 1995 Zúñiga, 2018, Towards a natural language compiler, 70 Aho, 1972 Aho, 2006 Jäger, 2012, Formal language theory: refining the chomsky hierarchy, Philos. Trans. R. Soc. Lond. B Biol. Sci., 367, 1956, 10.1098/rstb.2012.0077 A.K. Joshi, Tree Adjoining Grammars: How Much Context-sensitivity is Required to Provide Reasonable Structural Descriptions?, Studies in Natural Language Processing, Cambridge University Press, pp. 206–250. 10.1017/CBO9780511597855.007 Stabler, 1997, Derivational minimalism, 68 Harkema, 2000, A recognizer for minimalist grammars, 111 Sørensen, 2006, Lectures on the Curry-Howard Isomorphism, 149 Montague, 1970, Universal grammar, Theoria, 36, 373, 10.1111/j.1755-2567.1970.tb00434.x Montague, 1970, English as a formal language, 188 R. Montague, The Proper Treatment of Quantification in Ordinary English, Springer, Netherlands, Dordrecht, pp. 141–162. 10.1007/978-94-009-2727-8_7 Maršík, 2016, Introducing a calculus of effects and handlers for natural language semantics, 257 Marsik, 2015, Pragmatic side effects rí Maršík, 2014, Algebraic effects and handlers in natural language interpretation Advanticsys, MTM-CM5000-MSP, (https://www.advanticsys.com/shop/mtmcm5000msp-p-14.html). Levine, 2009 Contiki, 2019a, (https://github.com/contiki-os/contikia). Contiki-NG, 2019b, (https://github.com/contiki-ng/contiki-ngb). A. Zúñiga, The SICIoT compiler prototype, (https://github.com/azuniga-ii/sicIoT). A. Dunkels, Sensor acquisition, (http://anrg.usc.edu/contiki/images/a/a8/Sensor-acq.docx). Munawar, 2010, Dynamic TinyOS: modular and transparent incremental code-updates for sensor networks, 1 Amjad, 2016, TinyOS-New trends, comparative views, and supported sensing applications: a review, IEEE Sens. J., 16, 2865, 10.1109/JSEN.2016.2519924 Iacob, 2017, NLCP: towards a compiler for natural language, 252 Thomas, 2015, natural language compiler for english and dravidian languages, 313 Mountrouidou, 2019, Not just another internet of things taxonomy: amethod for validation of taxonomies, Internet Things, 6, 100049, 10.1016/j.iot.2019.03.003 Chomsky, 1995, The Minimalist Program Stanojević, 2018, A sound and complete left-corner parsing for minimalist grammars, 65 Kallmeyer, 2010, Parsing Beyond Context-Free Grammars, 10.1007/978-3-642-14846-0 Kallmeyer, 2016, LR parsing for LCFRS, Algorithms, 9, 10.3390/a9030058 Angelov, 2009, Incremental parsing with parallel multiple context-free grammars, 69 Ljunglöf, 2012, Practical parsing of parallel multiple context-free grammars, 144 Boullier, 1998, Proposal for a Natural Language Processing Syntactic Backbone P. Boullier, Range Concatenation Grammars, Springer, Netherlands, Dordrecht, pp. 269–289. 10.1007/1-4020-2295-6_13 Leroy, 2009, Formal verification of a realistic compiler, Commun. ACM, 52, 107, 10.1145/1538788.1538814 Evans, 2011, The Internet of Things