Functional reactive programming (FRP) is an emerging paradigm which allows the management of input/output and state within the confines of a purely functional language. The functional nature of FRP promises to make formal verification of functional reactive systems more tractable than that of their imperative counterparts. I propose to substantiate this claim by formally modeling FRP systems an...

One of the goals that the Innovative Bridge Research and Construction (IRBC) program, sponsored by the Federal Highway Administration (FHWA), wishes to achieve through sponsored research projects is the concept of an economical, durable, short-span bridge that reduces construction time. Delaware County, Iowa took a step in that direction through the construction of a 64 ft. long bridge comprise...

4 Wooster, M.J., Roberts, G., Freeborn, P. H., Xu, W., Govaerts, Y., Beeby, R., 5 He, J. , A. Lattanzio, Fisher, D., and Mullen, R. 6 7 8 1 King’s College London, Environmental Monitoring and Modelling Research Group, 9 Department of Geography , Strand, London, WC2R 2LS, UK. 10 2 NERC National Centre for Earth Observation (NCEO), UK. 11 3 Geography and Environment, University of Southampton, Hi...

As a preliminary study for the erection of floating structures using high performance concrete, this paper examines the bond characteristics between concrete and the reinforcing bar. Since the floating structure is constructed in aquatic environment, corrosion of the reinforcing steel is likely to develop more prematurely than in onshore structure in case of concrete cracking. A solution to thi...

ABSTRACT Fiber Reinforced Polymer (FRP) composite systems can be used for shear strengthening of reinforced concrete (RC) members. The present study investigated the shear performance and the modes of failure of simply supported RC T-beams externally strengthened in shear with FRP composites. Two different FRP-based strengthening systems were investigated, namely, externally bonded FRP sheets a...

This paper reviews the reality and vision of the use of fiber reinforced polymer (FRP) composite materials in civil engineering and transportation infrastructure applications. Due to their superior characteristics these materials have become a commonly accepted construction material for both new construction and for rehabilitation and strengthening of existing bridges and structures. This paper...

Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on time-varying values (signals). FRP is based on the synchronous data-flow paradigm and supports both continuous-time and discretetime signals (hybrid systems). What sets FRP apart from most other reactive languages is its support for systems with highly ...