6 Hits in 3.6 sec

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

Abhiroop Sarkar, Mary Sheeran
2020 22nd International Symposium on Principles and Practice of Declarative Programming  
We present Hailstorm, a statically-typed, purely functional programming language that attempts to address the above problem. It is a high-level programming language with a strict typing discipline.  ...  While C provides low-level control over memory, it lacks a number of high-level programming abstractions such as higher-order functions, polymorphism, strong static typing, memory safety, and automatic  ...  Polychronous languages like SIGNAL [8] and FRP libraries like Rhine [6] provide static guarantees on correctness of systems with multiple clocks -something that we hope to experiment with in the future  ... 
doi:10.1145/3414080.3414092 dblp:conf/ppdp/SarkarS20 fatcat:xzihmlkcine65ix2q6i3kwf66u

Synthesizing stream control [article]

Felix Klein, Universität Des Saarlandes
We present a modular development framework that first uses synthesis to identify the high level control flow of a program.  ...  With both methods at hand, we resolve the aforementioned problems and therefore help the developer in the development phase with the effective creation of a safe and correct reactive system. iv Abstract  ...  Acknowledgements vii Acknowledgements Over the past six years I met many people who shared their time working with me and supported me in writing this thesis in some or another way.  ... 
doi:10.22028/d291-32255 fatcat:z6ui3badqjbrtoiveem6kvxflm

Quaternary Stratigraphy [chapter]

1979 The Quaternary of Israel  
The mollusk fauna is of forest-steppe type, with thermophilic species of Unio, Fagotia, and Gastrocopta.  ...  All other faunas of the Tiraspol type from the Don River Basin come from deposits with normal polarity, i.e., correspond to the Brunes Epoch.  ...  It must be noted, analyzing the systematic composition of discovered fauna, its large similarity with those from two localities, situated north of Meizhartyk.  ... 
doi:10.1016/b978-0-12-356170-1.50011-8 fatcat:kb445fly7zgybnl7wumjm2vufi

State of the Climate in 2009

D. S. Arndt, M. O. Baringer, M. R. Johnson
2010 Bulletin of The American Meteorological Society - (BAMS)  
Figure 2 .49 shows FRP averaged over 2003-08 (a) and for 2009 (b), with five-degree resolution.  ...  Global and regional budgets of FRP are listed in Table 2 tic.  ...  Rainfall activity during July was near normal with monthly rainfall of 96% of the LTA.  ... 
doi:10.1175/bams-91-7-stateoftheclimate fatcat:clais3otfbbknefksvaxd6ojgi

Science and pseudo-science on the world wide web [article]

James Bird
This dissertation is concerned with information and misinformation in the field of physical science published on the World Wide Web.  ...  There are three levels to this subscription package, each level providing more detail and each costing £9 per year.  ...  A spoon attached to a strain gauge is placed in a safe with a clock. The image from a video camera focused on this spoon is broadcast over the Web, see figure 10.  ... 
doi:10.26174/thesis.lboro.13547024.v1 fatcat:ffpg4hs67rboxauxxrauftpjue

Maryland Gazette July 1834

(:Unkn) Unknown
clock.  ...  M. an I J 'clock.  ...  """> *etrimitt»n with the luxury tndlhe, "--i which ipprjred in the furniture ) thai '"m.  ... 
doi:10.13016/m2hd7nt6m fatcat:d6gyiflgpngklmzg3dzt6brf2u