55 Hayward Street T H E M I T PRESS Cambridge, MA02142

Transcription

1 ESSENTIALS OF PROGRAMMING LANGUAGES Daniel P. Friedman, MitcheB Wand, aid QmstophertHaynes hawad by Hd tlxison "Friedman, Wand, and Haynes hove done o landmark job... The sample interpreters in this book ore outstanding models. Indeed, since they are runnuble models, I'm sure that these iikj^elers wi find themselves at the cores of many programming systems over the yean." f r o m thefaeword by Hd Abeison 568 pp., 138 6B. $49.95 CATEGORIES, TYPES, ANDSTRUGURES An Intnxkidion to Category Theory for the Working Computer Saentist FomUaEoiCanpoiigSate 325pp. $32.50 ADVANCED RESEARCH IN VLSI AND PARALLEL SYSTEMS Proceedings of the 1992 Brown/MIT Conference 400 pp. $55.00 (Apri) THEARTOFTHEMETAOBJECT PROTOCOL Cregor Kkzales, M desffwsras,and OavseiBdbm 350 pp. $45.00 do*, $24.95 softow BASIC CATEGORY THEORY FOR COMPUTER SCIENTISTS ferprai CPierce 128 pp. $17.95 softami Logic P r o g r a m m i n g S e r i e s TYPES IN LOGIC PROGRAMMING Type theory is a wd-estobished branch of theorbticn] computer science that has ployed on important role rn the development of imperative and fibktioncrj programming languages. This cofledkxi cowers all of the major themes in this burgeonng field. 325pp. $37 50 LOGIC PROGRAMMING AND NONMONOTONIC REASONING Proceedings of the fast IntemationaJ Workshop June 22-24,1991 Washington, D.C edtodtyantinewde, WktorMowk, and V.S.Subralmnkin 432 pp. $32S0sofam HANDBOOK OF THEORETICAL COMPUTER SCIENCE Volume A: Algorithms and Complexity Volume B: FoWH Models and Sernantks I VanLeeuwen VolumA: 996pp $ VdumtB' 1,273pp. S150W TwVdumSit $25000 CopifcM«tf>Els«feiSdwsPutfc!». DertUad r h U.S, Crab, ad JopnbyTheMnPnn How Jbnt&B B Poperbod OPTICAL COMPUTING A Survey for Computer Scfentisls "An extremely wide overview of this area of research... The author has done a good job collecting and sorting out the work of 20 years... A valuable reference source." 4Upp. $24.95 pops To order adl too-frae Fax (617) 625^660 Mastertard & VISA oaepted Enquiries from the U.K. and Europe to: 1beltWPmsLtd^l4BloorrtsburyS9JOJe ( LrjndonWClA2U > ENGlAND PriasouJalill.Aimriairaoy be higherfonthosishnnhere. 55 Hayward Street T H E M I T PRESS Cambridge, MA02142

2 COMPUTING FROM OXFORD Handbook of Logic in Computer Science Volume 1 Edited by S. Abramsky, Reader in Computing Science, D. M. Gabbay, Professor of Computing Science, andt. S. E. Maibaum, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, University of London The Handbook of Logic in Computer Science \s a multi-volume work covering all major areas of application of logic to theoretical computer science. The first two volumes cover the background to the subject in terms of mathematical and computational structures. The authors are chosen on an international basis and are leaders in the fields covered. The Handbook is a closely coordinated work which has been under development for the past five years. Contents: M. Ryan & M. Sadler: Valuation systems and consequence relations; l.c.c. Phillips: Recursion theory; K. Meinke & J.V. Tucker: Universal algebra; A.K. Poigne: Basic category theory; M.B. Smyth: Topology; J. Makovsky: Model theory , 700 pp., Clarendon Press June Volume 2 Contents: J.W. Klop: Term rewriting systems; H.P. Barendregt: Lambda calculi with types; D.M. Gabbay: Elements of algorithmic proof; Lawrence C. Paulson: Designing a theorem prover; Colin Stirling: Modal and temporal logics , 544 pp., Clarendon Press, June Intensional Logics for Programming Edited by Luis Fariflas del Cerro, Directeur de Recherche, I.R.I.T., Toulouse, France, and Marti Penttonen, Professor of Computer Science, University of Joensu, Finland This volume contains important contributions on the use of intensional logics for the semantical analysis of logic programs, and on programming in intensional logics. The result not only helps the understanding of logic programs, but will have a significant impact on future developments of logic programming , 320 pp., Clarendon Press, June TO ORDER: These books can be orderedfrom your usual supplier. Customers in the UK and Europe can also orderfrom OUP Distribution Services, Saxon Way West, Corby, Northants, NN189ES (add 1.75for P&P). Credit card holders can order by phone (0536) ; orfax (0536) FURTHER INFORMATION: Please write to Susan Harrison, SMJMarketing, Oxford University Press, Walton Street, Oxford OX2 6DP, hhcme ror61) fax C0R6V OXFORD UNIVERSITY PRESS

3 SOFTWARE from OXFORD APPLE MAC SOFTWARE FOR STUDENTS OF DIGITAL ELECTRONICS SimLog offers a modern construction kit with which designs in digital logic can be implemented and analysed without the problems associated with hardware-based laboratories. The program emulates a wide variety of logic, input, and output devices.from which the user can create realistic complex electronic logic circuits. Their behaviour can be examined using progressively more advanced components, and the results modified, saved, or printed. Hardware requirements Apple Macintosh computer with 512k RAM minimum Operating System 4.2 or higher. Finder version 6.0. Price 175 (UK customers add VAT, overseas customers add 10 postage and packing) To order, or for further information, please contact Janet Caldwell, Oxford University Press, Walton Street, Oxford 0X2 6DR lei. UK (0) , fax UK (0)

4

5 Information for contributors Aims and scope Logic has found applications in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence, and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths... Logical issues in logic programming, knowledge based systems and automated reasoning Logical issues in knowledge representation, such as nonmonotonic reasoning and systems of knowledge and belief Logics and semantics of programming Specification and verification of programs and systems Applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases The bulk of the content will be technical scientific papers, although regular contributions such as letters, reviews, and discussions will also be welcome. The Executive Editors also hope to be able to commission relevant conference reviews. Submission process Contributions falling within the scope of the journal are invited. Authors should endeavour to restrict their papers to about 30 printed pages. Longer papers submitted and accepted for publication may incur page charges on the extra pages. Four copies should be submitted to: Professor D. M. Gabbay Department of Computing Imperial College of Science, Technology and Medicine 180 Queen's Gate London SW7 2BZ, UK Contributions will be acknowledged in all cases and referees' comments together with the decision of the Editorial Board will be forwarded to contributors as soon as possible after submission. The submission of any manuscript will imply that the content is original, has not been previously published in a journal, and is not being considered for publication elsewhere. Format for contributions Manuscripts should be typewritten on one side only with wide margins. The typing should be double-spaced. Pages should be numbered consecutively. A title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. Where possible, address and telephone number should be included. This should be followed by an abstract of approximately 300 words and five key words for indexing. Original drawings should be submitted in a form ready for the printer. Care should be taken to ensure that lettering and details should be easily readable after any necessary reduction of size for publication. Each illustration should bear on the back a number, the author's name, and the title of the paper. Captions should be submitted separately on a sheet at the end of the manuscript and should be identified by number. Any photographs should be high quality glossy prints. Three sets of photocopies of the illustrations should be included. Each table should be submitted on a separate sheet of paper at the end of the manuscript and identified by number. References should be listed alphabetically and numbered, and referred to within the text by the number. Offprints Thirty offprints of each paper will be provided free of charge. Additional offprints may be ordered at proof stage, using the form provided.

6 Editorial Contents Original Articles Using the Universal Modality: Gains and Questions V. Goranko and S. Passy A Constructive Presentation for the Modal Connective of Necessity ( ) M. R. F. Benevides and T. S. E. Maibaum Axiomatic Systems, Deduction and Implication A. Avron Review Books Received Forthcoming Papers