A practical approach to the global analysis of CLP programs

This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in constraint logic programming (CLP) languages using abstract interpretation. It is first argued that, from the framework point of view, it sufnces to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for which efncient fixpoint algorithms have been developed. This is shown by proposing a simple but quite general extensión of Bruynooghe's traditional framework to the analysis of CLP programs. In this extensión constraints are viewed not as "suspended goals" but rather as new information in the store, following the traditional view of CLP. Using this approach, and as an example of its use, a complete, constraint system independent, abstract analysis is presented for approximating definiteness information. The analysis is in fact of quite general applicability. It has been implemented and used in the analysis of CLP(R) and Prolog-III applications. Results from the implementation of this analysis are also presented.

B-LOG: A branch and bound methodology for the parallel execution of logic programs

We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.

Estimating the computational cost of logic programs

Information about the computational cost of programs is potentially useful for a variety of purposes, including selecting among different algorithms, guiding program transformations, in granularity control and mapping decisions in parallelizing compilers, and query optimization in deductive databases. Cost analysis of logic programs is complicated by nondeterminism: on the one hand, procedures can return múltiple Solutions, making it necessary to estímate the number of solutions in order to give nontrivial upper bound cost estimates; on the other hand, the possibility of failure has to be taken into account while estimating lower bounds. Here we discuss techniques to address these problems to some extent.

Initiatives : new Secretary of State programs.

"July 1993."--Prelim. page.

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in this situation. The use of test cases would catch these errors but would fail to distinguish between them. The system adapts proof critics, commonly used to patch faulty proofs, to diagnose such errors and distinguish between the two classes. It has been implemented in Lambda-clam, a proof planning system, and applied successfully to a small set of examples.

American foreign policy, based upon statements of presidents and secretaries of state of the United States and of publicists of the American republics,

Mode of access: Internet.

Reason of state and a new notion of fortune : Historicising the risk society

Since the 1980s the concept of risk has produced a large and diverse volume of sociological research. Ulrich Beck’s groundbreaking risk society thesis provides a particularly engaging contribution, since it seems that nearly every sociological account of risk engages with this work. For Beck, we are living in second modernity – a new epoch that breaks with pre-modernity and industrial society due to the centrality, incalculability and reflexivity of globalised risk. While Beck’s theory is compelling, a reading of other theorists such as Foucault (2007[1978]) and Hacking (1975,1990) suggests that a difficulty with Beck’s work is that in attempting to explain what is novel about risk in contemporary times, he too quickly passes over the complexities and ruptures of historical change that impact on the history and contingency of risk. This paper begins by presenting a brief analysis of the present state of risk by introducing Beck’s historical narrative of risk from pre-modernity to the risk society; it then outlines the challenges with the “risk as epoch” argument by considering a range of literature, which suggests risk has a more complex history than proposed by Beck; and finally it highlights the value in examining strategies of statecraft in early modern Europe, specifically Machiavelli’s The Prince (2008[1513]) and Giovanni Botero’s political treatise, Della Ragion di Stato (1956[1589]) – as a means of more thoroughly understanding how our current concept of risk emerges. In doing so, this paper seeks to open up new trajectories in the historicisation of risk for other interested scholars.

The Other Side of the Doors: Butte & Beyond -- Congressman Pat Williams “In the Crucible of Change”

Pat Williams emerged from the Mining City of Butte, Montana with a sense of grassroots, people-oriented politics. His inherent belief in the power of ordinary citizens carried him through the Montana Legislature and into Congress for a record-setting period. The accomplishments of his long career partially obscured his innate progressive and populist instinct that is reflective of the period of “in the Crucible of Change.” This film addresses Pat’s early years when his progressive instincts and activities resulted in pushback from the giant Anaconda Company which had held Montana hostage for 75 years. Pat is joined for part of the film by former campaign staffer, and now prominent media consultant, Michael Fenenbock for reflections on Pat’s 1978 “Door-to-Door to Congress” campaign, which demonstrated the power of his belief in the people on the other side of the doors. Pat Williams (b. 1937) rose from teaching grade school in his hometown of Butte, MT, to serving for the longest number of consecutive terms (9 terms, 18 years) in the US House of Representatives of anyone in Montana history. Pat was a member of the National Guard and attended UM in Missoula and William Jewel College, graduating from the University of Denver. Pat also served in the Montana legislature for 2 terms (1966 & 1968 elections). In 1969. Pat helped his legislative seat-mate John Melcher get elected as Montana’s Eastern District Congressman in the Special Election that June. Pat went to Washington DC as Melcher’s Executive Assistant. Upon returning to Montana, Pat headed up the Montana offices of the innovative Mountain Plains Family Education Program. In 1974, Pat ran unsuccessfully for Montana’s Western District Congressional seat in a three-way race with former Congressman Arnold Olsen and state Legislator Max Baucus. After the drafting and passage of the 1972 Montana Constitution, Pat was named a member of Montana’s first-ever Reapportionment Commission. In 1978 he successfully ran for Congress, conducting a massive grass-roots door-to-door campaign of 1½ years, reaching 50,000 doors. In a hotly contested 6-way Democratic primary, Pat won going away and also handily won the general election. Pat served in Congress from January, 1979 until January of 1997, 14 years representing the Western District and 4 years representing the entire state. Upon his retirement from Congress, in 1997 Williams returned to Montana where has been an instructor at the University of Montana and Senior Fellow and Regional Policy Associate at the Center for the Rocky Mountain West. He is a former member of the Montana Board of Regents and serves on a number of national education-related boards. In Congress Pat was a Deputy Whip of the U.S. House of Representatives and sat on committees on: Budget, Natural Resources, Education and Labor, and Agriculture. Pat’s leadership helped pass trailblazing legislation to assist hard-working middle-class families and ensure opportunities for every child. Pat’s fingerprints are on many pieces of important legislation, including the College Middle Income Assistance Act, the Family and Medical Leave Act, the Toddlers and Childhood Disability Act, the Library Services and Construction Act, and the Museum Services Act. Pat successfully sponsored the Lee Metcalf Wilderness Area and the Rattlesnake Wilderness area, helped save the Bob Marshall Wilderness from oil and gas exploration, and helped ban geothermal energy drilling near the borders of Yellowstone National Park. As Chairman of The Post-Secondary Education Committee, he protected the National Endowment for the Arts from elimination, a remarkable undertaking during a very trying time for the Agency. Pat worked tirelessly with Tribal College Leaders to build Montana’s seven Tribal Colleges. He was also responsible for the legislation that created The American Conservation Corps, which became the Corporation for National Service, giving thousands of America’s young people a chance to serve their country and pursue higher education. Pat lives in Missoula with his wife Carol Griffith Williams, former Montana Senate Majority Leader. They have three children and five grandchildren.

The Joint Chiefs of Staff and national policy, 1945-1947 /

Mode of access: Internet.

Telling the truth.

"September 1992."

Cocaine and a changing brain : meeting summary : Ernest Morial Convention Center, New Orleans, LA, October 25, 1997 : sponsored by Division of Basic Research, National Institute on Drug Abuse, National Institutes of Health /

"January 1999"--P. [4] of cover.

Distribution of health services in the structure of State government, 1950.

First ed. published in 1929 by John A. Ferrell under title: Health departments of States and provinces of the United States and Canada.

Remarks at the commemoration ceremony in honor of the two-hundredth anniversary of the First Continental Congress /

Mode of access: Internet.