12.3116, Books: Semantics
LINGUIST List
linguist at linguistlist.org
Mon Dec 17 14:35:24 UTC 2001
LINGUIST List: Vol-12-3116. Mon Dec 17 2001. ISSN: 1068-4875.
Subject: 12.3116, Books: Semantics
Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
Andrew Carnie, U. of Arizona <carnie at linguistlist.org>
Reviews (reviews at linguistlist.org):
Simin Karimi, U. of Arizona
Terence Langendoen, U. of Arizona
Editors (linguist at linguistlist.org):
Karen Milligan, WSU Naomi Ogasawara, EMU
Jody Huellmantel, WSU James Yuells, WSU
Michael Appleby, EMU Marie Klopfenstein, WSU
Ljuba Veselinova, Stockholm U. Heather Taylor-Loring, EMU
Dina Kapetangianni, EMU Richard Harvey, EMU
Karolina Owczarzak, EMU Renee Galvis, WSU
Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>
Home Page: http://linguistlist.org/
The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.
Editor for this issue: Richard John Harvey <richard at linguistlist.org>
==========================================================================
Links to the websites of all LINGUIST's supporting publishers are
available at the end of this issue.
=================================Directory=================================
1)
Date: Thu, 13 Dec 2001 15:27:49 -0800
From: Christine Sosa <sosa at csli.stanford.edu>
Subject: Semantics: A Paradigm for Program Semantics
-------------------------------- Message 1 -------------------------------
Date: Thu, 13 Dec 2001 15:27:49 -0800
From: Christine Sosa <sosa at csli.stanford.edu>
Subject: Semantics: A Paradigm for Program Semantics
CSLI Publications is pleased to announce the availability of:
A PARADIGM FOR PROGRAM SEMANTICS: POWER STRUCTURES AND DUALITY:
Chris Brink (University of Wollongong and Ingrid Rewitzky (University of
Cape Town);
Paper ISBN: 1-57586-344-8, $27.50, cloth ISBN: 1-57586-345-6, $67.50, 284 page
CSLI Publications 2001.
http://cslipublications.stanford.edu , email: pubs at csli.stanford.edu.
To order this book, contact The University of Chicago Press. Call
their toll free order number 1-800-621-2736 (U.S. & Canada only) or
order online at http://www.press.uchicago.edu/ (use the search feature
to locate the book, then order).
Book description:
This book provides a synthesis of four versions of program semantics.
In relational semantics a program is thought of as a binary
input-output relation over some state space; in predicate transformer
semantics a program is a mapping from predicates to predicates; in
information systems (and Hoare logic) a program is considered as a
relation between predicates; and in domain theory a program is a
multifunction mapping states to sets of states. Brink and Rewitzky
show, through an exhaustive case study analysis, that it is possible
to do back-and-forth translation from any of these versions of program
semantics from and to any of the others. They do so by invoking
techniques from non-classical logics, lattice theory, topology and the
calculus of binary relations. At the heart of their method is the
notion of a power construction along with an invocation of duality
theory. A power construction lifts a given structure from its base set
to its power set (the set of all its subsets); duality theory is then
used to recapture the original structure from the lifted
structure. Specifcally, the duality theory at work in this book is
Priestley duality, which identifies certain topological spaces
(Priestley spaces) as the duals of bounded distributive lattices. In
the authors' version, relational Priestley spaces are the duals of
bounded distributive lattices with operators. The importance of this
book lies in its demonstration that, although there are many
variations of each of the four versions of program semantics, in
principle they may be thought of as intertranslatable.
---------------------------------------------------------------------------
If you buy one of these books, please tell the publisher or author
that you saw it on LINGUIST.
The following publishers contribute to the support of The LINGUIST List:
MAJOR SUPPORTERS
Academic Press
http://www.academicpress.com
Arnold Publishers
http://www.arnoldpublishers.com
Athelstan Publications
http://www.athel.com
Blackwell Publishers
http://www.blackwellpublishers.co.uk/
Cambridge University Press
http://www.cup.org
Cascadilla Press
http://www.cascadilla.com/
CSLI Publications
http://csli-www.stanford.edu/publications/
Distribution Fides
Elsevier Science Ltd.
http://www.elsevier.nl/locate/linguistics
John Benjamins
http://www.benjamins.com/
http://www.benjamins.nl/
Kluwer Academic Publishers
http://www.wkap.nl/
Lernout & Hauspie
http://www.lhsl.com
Lincom Europa
http://www.lincom-europa.com
MIT Press
http://mitpress.mit.edu/books-legacy.tcl
Mouton de Gruyter
http://www.deGruyter.de/hling.html
Multilingual Matters
http://www.multilingual-matters.com/
Oxford UP
http://www.oup-usa.org/
Pearson Education
http://www.pearsoneduc.com/catalog.html
Rodopi
http://www.rodopi.nl/
Routledge
http://www.routledge.com/
Springer-Verlag
http://www.springer.de
Summer Institute of Linguistics
http://www.sil.org/
OTHER SUPPORTING PUBLISHERS
Anthropological Linguistics
http://www.indiana.edu/~anthling/
Bedford/St. Martin's
http://www.bedfordstmartins.com/
Finno-Ugrian Society
http://www.helsinki.fi/jarj/sus/
Graduate Linguistic Students' Assoc., Umass
http://www.umass.edu/linguist/GLSA/
International Pragmatics Assoc.
http://ipra-www.uia.ac.be/ipra/
Kingston Press Ltd.
http://www.kingstonpress.com
Linguistic Assoc. of Finland
http://www.ling.helsinki.fi/sky/
Linguistic Society of Southern Africa (LSSA)
http://www.safest.org.za/bsp
Pacific Linguistics
http://pacling.anu.edu.au
Pacini Editore Spa
http://www.pacinieditore.it/
Virittaja Aikakauslehti
http://www.helsinki.fi/jarj/kks/virittaja.html
---------------------------------------------------------------------------
LINGUIST List: Vol-12-3116
More information about the LINGUIST
mailing list