Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

The university philosopher in early modern Germany

In this groundbreaking collection of essays the history of philosophy appears in a new light, not as reason's progressive discovery of its universal conditions, but as a series of unreconciled disputes over the proper way to conduct oneself as a philosopher. By shifting focus from the philosopher as proxy for the universal subject of reason to the philosopher as a... More special persona arising from rival forms of self-cultivation, philosophy is approached in terms of the social office and intellectual deportment of the philosopher, as a personage with a definite moral physiognomy and institutional setting. In so doing, this collection of essays by leading figures in the fields of both philosophy and the history of ideas provides access to key early modern disputes over what it meant to be a philosopher, and to the institutional and larger political and religious contexts in which such disputes took place.