Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Implementation Feasibility of a Digital Nervous System for the Construction Industry: For Efficient and Effective Information Management across the Project Lifecycle

The construction industry has long been considered as highly fragmented and non-collaborative industry. This fragmentation sprouted from complex and unstructured traditional coordination processes and information exchanges amongst all parties involved in a construction project. This nature coupled with risk and uncertainty has pushed clients and their supply chain to search for new ways of improving their business process to deliver better quality and high performing product. This research will closely investigate the need to implement a Digital Nervous System (DNS), analogous to a biological nervous system, on the flow and management of digital information across the project lifecycle. This will be through direct examination of the key processes and information produced in a construction project and how a DNS can provide a well-integrated flow of digital information throughout the project lifecycle. This research will also investigate how a DNS can create a tight digital feedback loop that enables the organisation to sense, react and adapt to changing project conditions. A Digital Nervous System is a digital infrastructure that provides a well-integrated flow of digital information to the right part of the organisation at the right time. It provides the organisation with the relevant and up-to-date information it needs, for critical project issues, to aid in near real-time decision-making. Previous literature review and survey questionnaires were used in this research to collect and analyse data about information management problems of the industry – e.g. disruption and discontinuity of digital information flow due to interoperability issues, disintegration/fragmentation of the adopted digital solutions and paper-based transactions. Results analysis revealed efficient and effective information management requires the creation and implementation of a DNS.

New Orleans, Louisiana, Water Distribution System, 1902 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Map of the city of New Orleans : showing proposed water distribution system, [by] Sewerage and Water Board New Orleans, LA.; Geo. G. Earl, genl. sup't. It was published by the Sewerage and Water Board New Orleans in 1902. Scale [ca. 1:50,900]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Louisiana State Plane Coordinate System, South NAD83 (in Feet) (Fipszone 1702). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, or other information associated with the principal map. This map shows water distribution features such as existing and proposed water mains (with sizes), suction pipes, and water purification station sites. Also shows other features such as roads, canals, levees, drainage, cemeteries, Parish boundaries, and more. Shaded to show built-up and unbuilt areas for construction. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Integrated land use/air quality/water quality control study for Sonoma County, California /

Mode of access: Internet.

CETIS, Complex Effluents Toxicity Information System : data encoding guidelines and procedures /

"CR807240."

Integrated safe driving information system development: volume III - state guide. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Integrated safe driving information system development: volume IV - catalog of available materials. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Integrated safe driving information system development. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Integrated safe driving information system development: volume II - system plan. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Implementing a housing information system: experiences in Los Angeles and Kern Counties. Final report,

Mode of access: Internet.

Case management/facility management : evaluation of integrated information system /

On cover: New horizons in long term care.

Relationships between land-use and chemical quality of Illinois streams /

Cover title.

Drain and water system plan. Grounds of Mr. L. Rueckheim.

Red, green, black ink on linen; note, "See Anderson, Lake Forest, for topo. survey"; signed; 78 x 42 cm.; Scale: 1" = 20' [from photographic copy by Lance Burgharrdt]