A flexible (C)LP-based approach to the analysis of object-oriented programs

Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of the work involving object-oriented languages and abstract interpretation usually omits the description of that language or just refers to the Control Flow Graph(CFG) it represents. However, this lack of formalization on one hand results in an absence of assurances regarding the correctness of the transformation and on the other it typically strongly couples the analysis to the source language. In this work we present a framework for analysis of object-oriented languages in which in a first phase we transform the input program into a representation based on Horn clauses. This allows on one hand proving the transformation correct attending to a simple condition and on the other being able to apply an existing analyzer for (constraint) logic programming to automatically derive a safe approximation of the semantics of the original program. The approach is flexible in the sense that the first phase decouples the analyzer from most languagedependent features, and correct because the set of Horn clauses returned by the transformation phase safely approximates the standard semantics of the input program. The resulting analysis is also reasonably scalable due to the use of mature, modular (C)LP-based analyzers. The overall approach allows us to report results for medium-sized programs.

Phospholipase C-linked receptors regulate the ATP-sensitive potassium channel by means of phosphatidylinositol 4,5-bisphosphate metabolism

In the COS7 cells transfected with cDNAs of the Kir6.2, SUR2A, and M1 muscarinic receptors, we activated the ATP-sensitive potassium (KATP) channel with a K+ channel opener and recorded the whole-cell KATP current. The KATP current was reversibly inhibited by the stimulation of the M1 receptor, which is linked to phospholipase C (PLC) by the Gq protein. The receptor-mediated inhibition was observed even when protein kinase C (PKC) was inhibited by H-7 or by chelating intracellular Ca2+ with 10 mM 1,2-bis(2-aminophenoxy)ethane-N,N,N′,N′-tetraacetate (BAPTA) included in the pipette solution. However, the receptor-mediated inhibition was blocked by U-73122, a PLC inhibitor. M1-receptor stimulation failed to inhibit the KATP current activated by the injection of exogenous phosphatidylinositol 4,5-bisphosphate (PIP2) through the whole-cell patch pipette. The receptor-mediated inhibition became irreversible when the replenishment of PIP2 was blocked by wortmannin (an inhibitor of phosphatidylinositol kinases), or by including adenosine 5′-[β,γ–imido]triphosphate (AMPPNP, a nonhydrolyzable ATP analogue) in the pipette solution. In inside-out patch experiments, the ATP sensitivity of the KATP channel was significantly higher when the M1 receptor in the patch membrane was stimulated by acetylcholine. The stimulatory effect of pinacidil was also attenuated under this condition. We postulate that stimulation of PLC-linked receptors inhibited the KATP channel by increasing the ATP sensitivity, not through PKC activation, but most probably through changing PIP2 levels.

Altered stability of pulmonary surfactant in SP-C-deficient mice

The surfactant protein C (SP-C) gene encodes an extremely hydrophobic, 4-kDa peptide produced by alveolar epithelial cells in the lung. To discern the role of SP-C in lung function, SP-C-deficient (−/−) mice were produced. The SP-C (−/−) mice were viable at birth and grew normally to adulthood without apparent pulmonary abnormalities. SP-C mRNA was not detected in the lungs of SP-C (−/−) mice, nor was mature SP-C protein detected by Western blot of alveolar lavage from SP-C (−/−) mice. The levels of the other surfactant proteins (A, B, D) in alveolar lavage were comparable to those in wild-type mice. Surfactant pool sizes, surfactant synthesis, and lung morphology were similar in SP-C (−/−) and SP-C (+/+) mice. Lamellar bodies were present in SP-C (−/−) type II cells, and tubular myelin was present in the alveolar lumen. Lung mechanics studies demonstrated abnormalities in lung hysteresivity (a term used to reflect the mechanical coupling between energy dissipative forces and tissue-elastic properties) at low, positive-end, expiratory pressures. The stability of captive bubbles with surfactant from the SP-C (−/−) mice was decreased significantly, indicating that SP-C plays a role in the stabilization of surfactant at low lung volumes, a condition that may accompany respiratory distress syndrome in infants and adults.

Washington, D.C., 1791 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city intended for the permanent seat of the government of t[he] United States : projected agreeable to the direction of the President of the United States, in pursuance of an act of Congress passed the sixteenth day of July, MDCCXC, "establishing the permanent seat on the bank of the Potowmac", by Peter Charles L'Enfant. It was published by U.S. Coast and Geodetic Survey in 1887. Scale ca. 1:15,840. Facsimile of L'Enfant's 1791 plan for Washington, D.C. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as proposed streets and government building locations, drainage, parks, and more. Includes notes, text, statistical data, and index to points of interest. 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.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington in the territory of Columbia : ceded by the states of Virginia and Maryland to the United States of America, and by them established as the seat of their government, after the year MDCCC, engrav'd by Sam'l Hill, Boston ; in order to execute this plan, Mr. Ellicott drew a true meridional line. Andrew Ellicott plan of Washington, D.C. It was published in 1792. Scale [ca. 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief is shown by hachures. Depths shown by soundings. Includes text and notes. 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.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington in the territory of Columbia : ceded by the states of Virginia and Maryland to the United States of America, and by them established as the seat of their government, after the year MDCCC, engrav'd by Thackara & Vallance Philad'a 1792 ; in order to execute this plan, Mr. Ellicott drew a true meridional line ... and left nothing to the uncertainty of the compass. Andrew Ellicott plan of Washington, D.C. It was published in 1792. Scale [ca. 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief is shown by hachures. Depths are shown by soundings. Includes text, notes, and coat-of-arms. 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.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington, Thackara & Vallance, sc. Andrew Ellicott plan of Washington, D.C. It was published in the Universal asylum, and Columbian magazine, v. 4, March 1792. Scale not given. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as proposed streets and government building locations, drainage, parks, and more. Relief is shown by hachures. 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.

Washington, D.C., 1795 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington, in the territory of Columbia, ceded by the States of Virginia and Maryland to the United States of America, and by them established as the seat of their government after the year 1800, J. Russell, sculpt., Constitu'n Row, Grays Inn Road. It was published in 1795. Scale [ca 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief shown by hachures. Depths shown by soundings. Includes "Remarks" and coat-of-arms. 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.

Washington, D.C., 1815 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Territory of Columbia, drawn by And'w Ellicott ; engraved by P.A.F. Tardieu, Paris, 1815. It was published in 1815. Scale [ca. 1:63,360]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, district boundaries, government buildings, parks and more. Relief is shown by hachures. 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.

Washington, D.C., 1820 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: A correct map of the city of Washington : capital of the United States of America : lat. 38.53 n., long. 0.0, eng'd by W.I. Stone, Wash'n. It was published by Davis & Force in 1820. Scale [ca. 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, selected government and public buildings, block numbers. churches, and more. Includes ill. and index to points of interest. 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.

Washington, D.C., 1839 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Map of the city of Washington in the District of Columbia : established as the permanent seat of the government of the United States of America, W.J. Stone sc. Wash'n. It was published ca. 1839. Scale [ca. 1:12,250]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, block numbers, wards, selected government buildings, and more. Relief is shown by hachures. Includes indexed table of "References." 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.

Washington, D.C., 1840 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Map of the city of Washington, drawn by F.C. De Krafft, city surveyor ; eng'd by Mrs. W.I. Stone. It was published by Wm. M. Morrison in 1840. Scale [ca. 1:18,400]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, block numbers, city wards, selected government buildings, and more. 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.

Washington, D.C., 1855 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Colton's Georgetown and the city of Washington : the capital of the United States of America. It was published by J.H. Colton in 1855. Scale [ca. 1:25,750]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, drainage, block numbers, city wards, built-up areas, selected government buildings, parks, and more. Includes views: Smithsonian Institution -- The Capitol -- Washington Monument. 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.

Washington, D.C., 1884 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Topographical map of the District of Columbia and a portion of Virginia, compiled under the direction of Major G.J. Lydecker, Corps of Engineers, Engineer Commissioner D.C., by Captain F.V. Greene, Corps of Engineers ; drawn by W.T.O. Bruff. It was published in 1884. Scale [1:15,840]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, railroads, drainage, selected public buildings, selected private residences and names of landowners, built-up areas, parks, and more. Relief shown by contours. Depths shown by soundings. Includes source materials note. 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.

Washington, D.C., 1895 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Rand, McNally & Co.'s indexed atlas of the world : map of Washington, D.C. It was published by Rand, McNally & Co. in 1895. Scale [ca. 1:15,000]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). 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, index maps, legends, or other information associated with the principal map. This map shows features such as roads, railroads, drainage, selected public buildings and points of interest, parks, and more. 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.