This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.

In this collection of essays, leading environmentalists and philosophers explore the relationship between environmental ethics and policy, both in theory and practice. The first section of the book focuses on four approaches to change in ethical theory: ecological science, feminist metaphysics, Chinese philosophy, and holistic postmodern technology. In subsequent sections the contributors emphasize the need for nontraditional solutions and attempt to expand awareness of the most pressing practical problems. Among the topics discussed are the possibilities of real international cooperation, the inequitable but economically intractable issue of global gasses, the political and ethical challenges of city planning, and the growing evidence of fundamental inappropriateness in treating land as legal private property. This volume is based on essays presented in 1992 at the Second International Conference on Ethics and Environmental Policy. The conference was held in response to the increasing need for a new ethics that would counter the traditional human-centered, dominantly individualistic approach of the industrial world toward the environment.

In this collection of essays, leading environmentalists and philosophers explore the relationship between environmental ethics and policy, both in theory and practice. The first section of the book focuses on four approaches to change in ethical theory: ecological science, feminist metaphysics, Chinese philosophy, and holistic postmodern technology. In subsequent sections the contributors emphasise the need for nontraditional solutions and attempt to expand awareness of the most pressing practical problems. Among the topics discussed are the possibilities of real international cooperation; the inequitable but economically intractable issue of global gases; the political and ethical challenges of city planning; and the growing evidence of fundamental inappropriateness in treating land as legal private property. This volume is based on essays presented in 1992 at the Second International Conference on Ethics and Environmental Policy. The conference was held in response to the increasing need for a new ethics that would counter the traditional human-centred, dominantly individualistic approach of the industrial world toward the environment. Contributors include: J. Baird Callicott, Victoria Davion, Frederick Ferre, Frank B. Golley, Elizabeth Dodson Gray, Alastair S. Gunn, Eugene Hargrove, Peter Hartel, Erazim Kohak, Yu-shi Mao, Ignazio Musu, Bryan Norton, Corrado Poli, Holmes Rolston III, Kristin Shrader-Frechette, Udo E. Simonis and Gary E. Varner.