Lecture Notes in Computer Science 7850

Size: px
Start display at page:

Download "Lecture Notes in Computer Science 7850"

Transcription

1 Lecture Notes in Computer Science 7850 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany

2 Dave Clarke James Noble Tobias Wrigstad (Eds.) Aliasing in Object-Oriented Programming Types, Analysis, and Verification 13

3 Volume Editors Dave Clarke Katholieke Universiteit Leuven, Department of Computer Science Celestijnenlaan 200A, 3001 Heverlee, Belgium James Noble Victoria University of Wellington, School of Engineering and Computer Science Cotton Building, Gate 6, Kelburn Parade, Wellington 6140, New Zealand Tobias Wrigstad Uppsala University, Department of Information Technology Lägerhyddsvägen 2, Uppsala, Sweden ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): D.1.5, D.1.3, D.4.2, D.2.4-5, D.2.7, D.3.1-3, A.1, K.2 LNCS Sublibrary: SL 2 Programming and Software Engineering Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in ist current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)

4 Preface Aliasing is one of the key features of object-oriented programming languages, but it is both a blessing and a curse. On one hand it enables the expression of sophisticated designs involving sharing, but on the other hand it makes reasoning about programs difficult for programmers, for tools such as compilers, and for programming verification. This book presents a survey of the state of the art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention on The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis dechampeaux, and Richard Holt, which stressed the need for a systematic study of aliasing in object-oriented programming. Since that paper was published in 1992, several workshops have been devoted to this topic, including the Intercontinental Workshop on Aliasing in Object Oriented Systems (IWAOOS) in 1999 and five instalments of the International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) in 2003, 2007, 2008, 2009 and The most recent IWACO was dedicated to 20 years of aliasing in objectoriented languages and at that venue it was decided to produce a state-of-theart LNCS volume dedicated to research in this field. This is the volume you are reading now.papers were solicited from contributors to IWACO and other experts in the area. The result is a broad collection of papers covering many aspects of aliasing in object-oriented programming. Each paper has been extensively reviewed to ensure the highest quality. We hope that this collection will be a valuable addition to researchers bookshelves, and that it will be useful to both active researchers and graduate students alike. January 2013 Dave Clarke James Noble Tobias Wrigstad

5 Table of Contents The Geneva Convention Beyond the Geneva Convention on the Treatment of Object Aliasing... 1 Dave Clarke, James Noble, and Tobias Wrigstad The Geneva Convention on the Treatment of Object Aliasing... 7 John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, and Richard Holt Ownership Ownership Types: A Survey Dave Clarke, Johan Östlund, Ilya Sergey, and Tobias Wrigstad Notions of Aliasing and Ownership Alan Mycroft and Janina Voigt Understanding Ownership Types with Dependent Types Nicholas Cameron, Sophia Drossopoulou, and James Noble Object Graphs with Ownership Domains: An Empirical Study Radu Vanciu and Marwan Abi-Antoun Concurrency Alias Control for Deterministic Parallelism Robert L. Bocchino Jr. Alias Analysis Alias Analysis for Object-Oriented Programs Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, and Eran Yahav Controlling Effects Immutability Alex Potanin, Johan Östlund, Yoav Zibin, and Michael D. Ernst Fractional Permissions John Boyland

6 VIII Table of Contents Verification Object Ownership in Program Verification Werner Dietl and Peter Müller State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings Anindya Banerjee and David A. Naumann Separation Logic for Object-Oriented Programming Matthew Parkinson and Gavin Bierman VeriFast for Java: A Tutorial Jan Smans, Bart Jacobs, and Frank Piessens Programming Languages Confined Roles and Decapsulation in Object Teams Contradiction or Synergy? Stephan Herrmann Location Types for Safe Programming with Near and Far References Yannick Welsch, Jan Schäfer, and Arnd Poetzsch-Heffter Visions The Future of Aliasing in Parallel Programming Robert L. Bocchino Jr. Aliasing Visions: Ownership and Location Alan Mycroft Alias Analysis: Beyond the Code Manu Sridharan How, Then, Should We Program? James Noble A Retrospective on Aliasing Type Systems: Jonathan Aldrich Structured Aliasing Tobias Wrigstad Author Index

Lecture Notes in Computer Science 5161

Lecture Notes in Computer Science 5161 Lecture Notes in Computer Science 5161 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 3161

Lecture Notes in Computer Science 3161 Lecture Notes in Computer Science 3161 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 3422

Lecture Notes in Computer Science 3422 Lecture Notes in Computer Science 3422 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 8703

Lecture Notes in Computer Science 8703 Lecture Notes in Computer Science 8703 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7482

Lecture Notes in Computer Science 7482 Lecture Notes in Computer Science 7482 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Oral and Cranial Implants

Oral and Cranial Implants Oral and Cranial Implants Hugh Devlin Ichiro Nishimura Editors Oral and Cranial Implants Recent Research Developments Editors Hugh Devlin School of Dentistry University of Manchester Manchester United

More information

Understanding Competitive Advantage

Understanding Competitive Advantage Understanding Competitive Advantage Fredrik Nilsson Birger Rapp Understanding Competitive Advantage The Importance of Strategic Congruence and Integrated Control With 44 Figures 4y Springer Professor Dr.

More information

International Series on Consumer Science

International Series on Consumer Science International Series on Consumer Science For further volumes: http://www.springer.com/series/8358 Tsan-Ming Choi Editor Fashion Branding and Consumer Behaviors Scientific Models 1 3 Editor Tsan-Ming Choi

More information

Undeclared Work, Deterrence and Social Norms

Undeclared Work, Deterrence and Social Norms Undeclared Work, Deterrence and Social Norms . Lars P. Feld l Claus Larsen Undeclared Work, Deterrence and Social Norms The Case of Germany Prof. Dr. Lars P. Feld Albert-Ludwigs-University Freiburg Walter

More information

Lecture Notes in Computer Science 3599

Lecture Notes in Computer Science 3599 Lecture Notes in Computer Science 3599 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Applying Comparative Effectiveness Data to Medical Decision Making

Applying Comparative Effectiveness Data to Medical Decision Making Applying Comparative Effectiveness Data to Medical Decision Making Carl V. Asche Editor Applying Comparative Effectiveness Data to Medical Decision Making A Practical Guide Adis Editor Carl V. Asche Research

More information

Software Process Automation

Software Process Automation Software Process Automation Alan M. Christie Software Process Automation The Technology and Its Adoption With 48 Figures and 19Tables Springer Alan M. Christie Software Engineering Institute Carnegie Mellon

More information

Java and the Java Virtual Machine

Java and the Java Virtual Machine Java and the Java Virtual Machine Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Robert F. SHirk Joachim Schmid Egon Borger Java and the Java Virtual Machine

More information

Atlas of Scar Treatment and Correction

Atlas of Scar Treatment and Correction Atlas of Scar Treatment and Correction Igor Safonov Atlas of Scar Treatment and Correction Author Igor Safonov Centre of Scars Treatment and Correction Dr. Bogomolets Institute of Dermatocosmetology Kiev

More information

Automated Firewall Analytics

Automated Firewall Analytics Automated Firewall Analytics Ehab Al-Shaer Automated Firewall Analytics Design, Configuration and Optimization 123 Ehab Al-Shaer University of North Carolina Charlotte Charlotte, NC, USA ISBN 978-3-319-10370-9

More information

Lecture Notes in Computer Science 3654

Lecture Notes in Computer Science 3654 Lecture Notes in Computer Science 3654 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Ernst Schering Research Foundation Workshop 15 Computer Aided Drug Design in Industrial Research

Ernst Schering Research Foundation Workshop 15 Computer Aided Drug Design in Industrial Research Ernst Schering Research Foundation Workshop 15 Computer Aided Drug Design in Industrial Research Ernst Schering Research Foundation Workshop 15 Computer Aided Drug Design in Industrial Research E. C. Herrmann,

More information

Renaissance Averroism and Its Aftermath: Arabic Philosophy in Early Modern Europe

Renaissance Averroism and Its Aftermath: Arabic Philosophy in Early Modern Europe Renaissance Averroism and Its Aftermath: Arabic Philosophy in Early Modern Europe ARCHIVES INTERNATIONALES D HISTOIRE DES IDÉES INTERNATIONAL ARCHIVES OF THE HISTORY OF IDEAS 211 RENAISSANCE AVERROISM

More information

Lecture Notes in Computer Science 4814

Lecture Notes in Computer Science 4814 Lecture Notes in Computer Science 4814 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Spatial Inequalities

Spatial Inequalities Spatial Inequalities GeoJournal Library Volume 110 Managing Editor: Daniel Z. Sui, Columbus, Ohio, USA Founding Series Editor: Wolf Tietze, Helmstedt, Germany Editorial Board: Paul Claval, France Yehuda

More information

Lasers in Restorative Dentistry

Lasers in Restorative Dentistry Lasers in Restorative Dentistry Giovanni Olivi Matteo Olivi Editors Lasers in Restorative Dentistry A Practical Guide Editors Giovanni Olivi Rome Italy Matteo Olivi Rome Italy ISBN 978-3-662-47316-0 DOI

More information

SpringerBriefs in Criminology

SpringerBriefs in Criminology SpringerBriefs in Criminology More information about this series at http://www.springer.com/series/10159 Wesley G. Jennings Rolf Loeber Dustin A. Pardini Alex R. Piquero David P. Farrington Offending

More information

Lecture Notes in Computer Science 7021

Lecture Notes in Computer Science 7021 Lecture Notes in Computer Science 7021 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

The Banks and the Italian Economy

The Banks and the Italian Economy The Banks and the Italian Economy Damiano Bruno Silipo The Banks and the Italian Economy Physica Verlag A Springer Company Editor Professor Damiano Bruno Silipo Dipartimento di Economia e Statistica Università

More information

Springer-Verlag Berlin Heidelberg GmbH

Springer-Verlag Berlin Heidelberg GmbH Information Systems Outsourcing Springer-Verlag Berlin Heidelberg GmbH Rudy Hirschheim Armin Heinzl. Jens Dibbern Editors Information Systems Outsourcing Enduring Themes, Emergent Patterns and Future Directions

More information

Library and Information Sciences

Library and Information Sciences Library and Information Sciences Chuanfu Chen Ronald Larsen Editors Library and Information Sciences Trends and Research Editors Chuanfu Chen School of Information Management Wuhan University Wuhan China

More information

TErrestrial Trunked RAdio - TETRA

TErrestrial Trunked RAdio - TETRA TErrestrial Trunked RAdio - TETRA Peter Stavroulakis TErrestrial Trunked RAdio - TETRA A Global Security Tool With 124 Figures and 22 Tables 123 E d itor Prof. Peter Stavroulakis Technical University C

More information

Lecture Notes in Mathematics 2033

Lecture Notes in Mathematics 2033 Lecture Notes in Mathematics 2033 Editors: J.-M. Morel, Cachan B. Teissier, Paris Subseries: École d Été de Probabilités de Saint-Flour For further volumes: http://www.springer.com/series/304 Saint-Flour

More information

Investigating Archaeological Cultures

Investigating Archaeological Cultures Investigating Archaeological Cultures wwwwwwwwwww Benjamin W. Roberts Editors Marc Vander Linden Investigating Archaeological Cultures Material Culture, Variability, and Transmission Editors Benjamin W.

More information

Miklós Szendrői Franklin H. Sim (Eds.) Color Atlas of Clinical Orthopedics

Miklós Szendrői Franklin H. Sim (Eds.) Color Atlas of Clinical Orthopedics Miklós Szendrői Franklin H. Sim (Eds.) Color Atlas of Clinical Orthopedics Miklós Szendrői Franklin H. Sim (Eds.) Color Atlas of Clinical Orthopedics Miklós Szendrői 1113 Budapest Franklin Sim Mayo Clinic

More information

Lecture Notes in Mathematics 2019

Lecture Notes in Mathematics 2019 Lecture Notes in Mathematics 2019 Editors: J.-M. Morel, Cachan B. Teissier, Paris Subseries: École d Été de Probabilités de Saint-Flour Saint-Flour Probability Summer School The Saint-Flour volumes are

More information

Lecture Notes in Computer Science 7554

Lecture Notes in Computer Science 7554 Lecture Notes in Computer Science 7554 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

The Product Manager s Toolkit

The Product Manager s Toolkit The Product Manager s Toolkit Gabriel Steinhardt The Product Manager s Toolkit Methodologies, Processes and Tasks in High-Tech Product Management ISBN 978-3-642-04507-3 e-isbn 978-3-642-04508-0 DOI 10.1007/978-3-642-04508-0

More information

User-Generated Content and its Impact on Branding

User-Generated Content and its Impact on Branding User-Generated Content and its Impact on Branding Severin Dennhardt User-Generated Content and its Impact on Branding How Users and Communities Create and Manage Brands in Social Media Severin Dennhardt

More information

Human Rights in European Criminal Law

Human Rights in European Criminal Law Human Rights in European Criminal Law ThiS is a FM Blank Page Stefano Ruggeri Editor Human Rights in European Criminal Law New Developments in European Legislation and Case Law after the Lisbon Treaty

More information

Lecture Notes in Computer Science

Lecture Notes in Computer Science Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1267 Advisory Board: W. Brauer D. Gries J. Stoer Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London

More information

Sustainable Supply Chains

Sustainable Supply Chains Sustainable Supply Chains International Series in Operations Research & Management Science Volume 174 Series Editor: Frederick S. Hillier Stanford University, CA, USA Special Editorial Consultant: Camille

More information

Landolt-Börnstein / New Series

Landolt-Börnstein / New Series Landolt-Börnstein / New Series Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series Editor in Chief: W. Martienssen Units and Fundamental Constants in Physics

More information

Essential Clinical Social Work Series

Essential Clinical Social Work Series Essential Clinical Social Work Series Series Editor Carol Tosone For further volumes: http://www.springer.com/series/8115 Judith B. Rosenberger Editor Relational Social Work Practice with Diverse Populations

More information

Youth Gangs in International Perspective

Youth Gangs in International Perspective Youth Gangs in International Perspective Finn-Aage Esbensen Editors Cheryl L. Maxson Youth Gangs in International Perspective Results from the Eurogang Program of Research Editors Finn-Aage Esbensen Department

More information

Challenges and Opportunities in Health Care Management

Challenges and Opportunities in Health Care Management Challenges and Opportunities in Health Care Management . Sebastian Gurtner Katja Soyez Editors Challenges and Opportunities in Health Care Management Editors Sebastian Gurtner Research Group InnoTech4Health

More information

Guide to Web Development with Java

Guide to Web Development with Java Guide to Web Development with Java Tim Downey Guide to Web Development with Java Understanding Website Creation Tim Downey Computing and Information Sciences Florida Inernational University 11200 SW 8th

More information

English for Academic Research: Grammar Exercises

English for Academic Research: Grammar Exercises English for Academic Research: Grammar Exercises wwwwwwwwwwwwwwww Adrian Wallwork English for Academic Research: Grammar Exercises Adrian Wallwork Via Carducci 9 56127 Pisa, Italy adrian.wallwork@gmail.com

More information

Lecture Notes in Computer Science 7453

Lecture Notes in Computer Science 7453 Lecture Notes in Computer Science 7453 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4100

Lecture Notes in Computer Science 4100 Lecture Notes in Computer Science 4100 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

UNIVERSITY TOP 50 BY SUBJECTS a) Arts and Humanities Universities 2011-2012

UNIVERSITY TOP 50 BY SUBJECTS a) Arts and Humanities Universities 2011-2012 Times Higher Education s World University Rankings UNIVERSITY TOP 50 BY SUBJECTS a) Arts and Humanities Universities 2011-2012 Top 50 Arts and Humanities Universities 2011-2012 1 Stanford University United

More information

New Frontiers in Entrepreneurship

New Frontiers in Entrepreneurship New Frontiers in Entrepreneurship International Studies In Entrepreneurship Series Editors: Zoltan J. Acs Geroge Manson University Fairfox, VA, USA David B. Audretsch Indiana University Bloomington, IN,

More information

Matthias Beck Ross Geoghegan. The Art of Proof. Basic Training for Deeper Mathematics

Matthias Beck Ross Geoghegan. The Art of Proof. Basic Training for Deeper Mathematics Matthias Beck Ross Geoghegan The Art of Proof Basic Training for Deeper Mathematics ! "#$$%&#'!()*+!!,-''!.)-/%)/#0! 1)2#3$4)0$!-5!"#$%)4#$&*'!! 1)2#3$4)0$!-5!"#$%)4#$&*#6!7*&)0*)'! 7#0!83#0*&'*-!7$#$)!90&:)3'&$;!

More information

INTELLIGENT SYSTEMS, CONTROL, AND AUTOMATION: SCIENCE AND ENGINEERING

INTELLIGENT SYSTEMS, CONTROL, AND AUTOMATION: SCIENCE AND ENGINEERING Robotics International Series on INTELLIGENT SYSTEMS, CONTROL, AND AUTOMATION: SCIENCE AND ENGINEERING VOLUME 43 Editor Professor S. G. Tzafestas, National Technical University of Athens, Greece Editorial

More information

Lecture Notes in Mathematics 2026

Lecture Notes in Mathematics 2026 Lecture Notes in Mathematics 2026 Editors: J.-M. Morel, Cachan B. Teissier, Paris Subseries: École d Été de Probabilités de Saint-Flour For further volumes: http://www.springer.com/series/304 Saint-Flour

More information

Big-Data Analytics and Cloud Computing

Big-Data Analytics and Cloud Computing Big-Data Analytics and Cloud Computing Marcello Trovati Richard Hill Ashiq Anjum Shao Ying Zhu Lu Liu Editors Big-Data Analytics and Cloud Computing Theory, Algorithms and Applications 123 Editors Marcello

More information

Corporate Performance Management

Corporate Performance Management Corporate Performance Management August-Wilhelm Scheer Wolfram Jost Helge Heß Andreas Kronz Editors Corporate Performance Management ARIS in Practice With 145 Figures and 5 Tables 123 Professor Dr. Dr.

More information

Collaborative Customer Relationship Management

Collaborative Customer Relationship Management Collaborative Customer Relationship Management Alexander H. Kracklauer D. Quinn Mills Dirk Seifert Editors Collaborative Customer Relationship Management Taking CRM to the Next Level With 99 Figures and

More information

Lecture Notes in Computer Science 4606

Lecture Notes in Computer Science 4606 Lecture Notes in Computer Science 4606 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Spatial Data on the Web

Spatial Data on the Web Spatial Data on the Web Alberto B elussi B arbara Catania Eliseo Clementini Elena F errari (Eds.) Spatial Data on the Web Modeling and Management With 111 F igures 123 Editors Alberto Belussi University

More information

Pediatric Board Study Guide

Pediatric Board Study Guide Pediatric Board Study Guide Editor Pediatric Board Study Guide A Last Minute Review Editor Department of Pediatrics Paul L Foster School of Medicine, Texas Tech, University Health Sciences Center El Paso

More information

Urban Wildlife Conservation

Urban Wildlife Conservation Urban Wildlife Conservation Robert A. McCleery Christopher E. Moorman M. Nils Peterson Editors Urban Wildlife Conservation Theory and Practice 1 3 Editors Robert A. McCleery Department of Wildlife Ecology

More information

Lecture Notes in Computer Science 8101

Lecture Notes in Computer Science 8101 Lecture Notes in Computer Science 8101 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Adult Attachment in Clinical Social Work

Adult Attachment in Clinical Social Work Adult Attachment in Clinical Social Work Essential Clinical Social Work Series Series Editor: Carol Tosone For other titles published in this series, go to www.springer.com/series/8115 Susanne Bennett

More information

Common Eye Diseases and their Management

Common Eye Diseases and their Management Common Eye Diseases and their Management N.R. Galloway, W.M.K. Amoaku, P.H. Galloway and A.C. Browning Common Eye Diseases and their Management Third Edition With 146 Figures Nicholas R. Galloway, MBCHB,

More information

Lecture Notes in Computer Science 4417

Lecture Notes in Computer Science 4417 Lecture Notes in Computer Science 4417 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

CONTRIBUTIONS TO GLOBAL HISTORICAL ARCHAEOLOGY Series Editor: Charles E. Orser, Jr., New York State Museum, Albany, New York, USA

CONTRIBUTIONS TO GLOBAL HISTORICAL ARCHAEOLOGY Series Editor: Charles E. Orser, Jr., New York State Museum, Albany, New York, USA Prisoners of War CONTRIBUTIONS TO GLOBAL HISTORICAL ARCHAEOLOGY Series Editor: Charles E. Orser, Jr., New York State Museum, Albany, New York, USA For further volumes: http://www.springer.com/series/5734

More information

Ammonia. Catalysis and Manufacture. Springer-Verlag. Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest

Ammonia. Catalysis and Manufacture. Springer-Verlag. Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest Ammonia Catalysis and Manufacture With contributions by K. Aika, L. 1. Christiansen, I. Dybkjaer, 1. B. Hansen, P. E. H0jlund Nielsen, A. Nielsen, P. Stoltze, K. Tamaru With 68 Figures and 23 Tables Springer-Verlag

More information

Nuclear Cardiology Study Guide

Nuclear Cardiology Study Guide Nuclear Cardiology Study Guide Andrzej Moniuszko B. Adrian Kesala Nuclear Cardiology Study Guide A Technologist s Review for Passing Specialty Certification Exams Andrzej Moniuszko, MD Department of Radiology

More information

The Neuropsychology Toolkit

The Neuropsychology Toolkit The Neuropsychology Toolkit Richard L. Wanlass The Neuropsychology Toolkit Guidelines, Formats, and Language Richard L. Wanlass University of California, Davis, Medical Center Sacramento, CA, USA Richard.Wanlass@ucdmc.ucdavis.edu

More information

Stem Cell Biology and Regenerative Medicine

Stem Cell Biology and Regenerative Medicine Stem Cell Biology and Regenerative Medicine Series Editor Kursad Turksen, Ph.D. kursadturksen@gmail.com For further volumes: http://www.springer.com/series/7896 Tiziana A.L. Brevini Editor Stem Cells

More information

Regulated Chemicals Directory

Regulated Chemicals Directory Regulated Chemicals Directory 1994 Regulated Chemicals Directory 1994 Compiled by ChemADVISO~, Ine. Pittsburgh, Pennsylvania Springer-Science+Business Media, B.V. Copyright 1994 by Springer Science+Business

More information

The Political Economy of Regulation in Turkey

The Political Economy of Regulation in Turkey The Political Economy of Regulation in Turkey Tamer Çetin Fuat Oğuz Editors The Political Economy of Regulation in Turkey Editors Tamer Çetin Department of Economics Yildiz Technical University Yildiz

More information

Colon Polyps and the Prevention of Colorectal Cancer

Colon Polyps and the Prevention of Colorectal Cancer Colon Polyps and the Prevention of Colorectal Cancer Omer Engin Editor Colon Polyps and the Prevention of Colorectal Cancer Editor Omer Engin Department of Surgery Izmir Buca Hospital Buca, Izmir Turkey

More information

Lecture Notes in Computer Science 4475

Lecture Notes in Computer Science 4475 Lecture Notes in Computer Science 4475 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

SOFTWARE SYSTEM RELIABILITY AND SECURITY

SOFTWARE SYSTEM RELIABILITY AND SECURITY SOFTWARE SYSTEM RELIABILITY AND SECURITY NATO Security through Science Series This Series presents the results of scientific meetings supported under the NATO Programme for Security through Science (STS).

More information

Lecture Notes in Computer Science 5115

Lecture Notes in Computer Science 5115 Lecture Notes in Computer Science 5115 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Design of Flexible Production Systems

Design of Flexible Production Systems Design of Flexible Production Systems Tullio Tolio (Ed.) Design of Flexible Production Systems Methodologies and Tools 13 Professor Tullio Tolio Politecnico di Milano Dipartimento di Meccanica Via La Masa

More information

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications Niccolò Battezzati Luca Sterpone Massimo Violante Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications

More information

Genitourinary Radiology: Male Genital Tract, Adrenal and Retroperitoneum

Genitourinary Radiology: Male Genital Tract, Adrenal and Retroperitoneum Genitourinary Radiology: Male Genital Tract, Adrenal and Retroperitoneum Vikram S. Dogra Gregory T. MacLennan Editors Ahmet Tuncay Turgut Anastasia Canacci Associate Editors Mehmet Ruhi Onur Assistant

More information

Lecture Notes in Mathematics 2108

Lecture Notes in Mathematics 2108 Lecture Notes in Mathematics 2108 Editors-in-Chief: J.-M. Morel, Cachan B. Teissier, Paris Advisory Board: Camillo De Lellis (Zürich) Mario Di Bernardo (Bristol) Alessio Figalli (Austin) Davar Khoshnevisan

More information

Cost Management in Shipbuilding

Cost Management in Shipbuilding Cost Management in Shipbuilding Jan O. Fischer Gerd Holbach Cost Management in Shipbuilding Planning, Analysing and Controlling Product Cost in the Maritime Industry GKP Publishing Dr. Jan O. Fischer

More information

Lecture Notes in Computer Science 3706

Lecture Notes in Computer Science 3706 Lecture Notes in Computer Science 3706 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Statistics for Biology and Health

Statistics for Biology and Health Statistics for Biology and Health Series Editors M. Gail, K. Krickeberg, J.M. Samet, A. Tsiatis, W. Wong For further volumes: http://www.springer.com/series/2848 David G. Kleinbaum Mitchel Klein Survival

More information

Firms in Open Source Software Development

Firms in Open Source Software Development Firms in Open Source Software Development Mario Schaarschmidt Firms in Open Source Software Development Managing Innovation Beyond Firm Boundaries Foreword by Prof. Dr. Harald von Kortzfleisch RESEARCH

More information

The Patrick Moore Practical Astronomy Series

The Patrick Moore Practical Astronomy Series The Patrick Moore Practical Astronomy Series More information about this series at http://www.springer.com/series/3192 A Guide to Hubble Space Telescope Objects Their Selection, Location, and Significance

More information

Complications in Endodontic Surgery

Complications in Endodontic Surgery Complications in Endodontic Surgery Igor Tsesis Editor Complications in Endodontic Surgery Prevention, Identification and Management Editor Igor Tsesis, DMD Department of Endodontology Maurice and Gabriela

More information

Adaptive Business Intelligence

Adaptive Business Intelligence Adaptive Business Intelligence Zbigniew Michalewicz Martin Schmidt Matthew Michalewicz Constantin Chiriac Adaptive Business Intelligence 123 Authors Zbigniew Michalewicz School of Computer Science University

More information

Ding-Zhu Du Editors. Network Security

Ding-Zhu Du Editors. Network Security Network Security Scott C.-H. Huang Ding-Zhu Du Editors David MacCallum Network Security 123 Editors Scott C.-H. Huang Department of Computer Science City University of Hong Kong Tat Chee Avenue 83 Hong

More information

Virtual Applications: Applications with Virtual Inhabited 3D Wodds

Virtual Applications: Applications with Virtual Inhabited 3D Wodds Virtual Applications: Applications with Virtual Inhabited 3D Wodds Springer-Verlag London Ltd. Peter Andersen and Lars Qvortrup (Eds) Virtual Applications Applications with Virtual Inhabited 3D Worlds

More information

Infectious Diseases in Pediatric Otolaryngology

Infectious Diseases in Pediatric Otolaryngology Infectious Diseases in Pediatric Otolaryngology Tulio A. Valdez Jesus G. Vallejo Editors Infectious Diseases in Pediatric Otolaryngology A Practical Guide Editors Tulio A. Valdez Department of Pediatric

More information

Empirically Informed Ethics: Morality between Facts and Norms

Empirically Informed Ethics: Morality between Facts and Norms Empirically Informed Ethics: Morality between Facts and Norms LIBRARY OF ETHICS AND APPLIED PHILOSOPHY VOLUME 32 Editor in Chief Marcus Düwell, Utrecht University, Utrecht, NL Editorial Board Deryck Beyleveld,

More information

Franco Sells Spain to America

Franco Sells Spain to America Franco Sells Spain to America Palgrave Studies in the History of the Media Series Editors: Professor Bill Bell (Cardiff University), Dr Chandrika Kaul (Department of Modern History, University of St Andrews),

More information

Production Systems and Supply Chain Management in Emerging Countries: Best Practices

Production Systems and Supply Chain Management in Emerging Countries: Best Practices Production Systems and Supply Chain Management in Emerging Countries: Best Practices . Gonzalo Mejía Nubia Velasco Editors Production Systems and Supply Chain Management in Emerging Countries: Best Practices

More information

PHYSICAL TESTING OF RUBBER

PHYSICAL TESTING OF RUBBER PHYSICAL TESTING OF RUBBER PHYSICAL TESTING OF RUBBER Roger Brown Springer Library of Congress Cataloging-in-Publication Data A CLP. Catalogue record for this book is available from the Library of Congress.

More information

Studies in Computational Intelligence 440

Studies in Computational Intelligence 440 Studies in Computational Intelligence 440 Editor-in-Chief Prof. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences ul. Newelska 6 01-447 Warsaw Poland E-mail: kacprzyk@ibspan.waw.pl

More information

Marketing Analytics. Methods, Metrics, and Tools. Jerry Rackley

Marketing Analytics. Methods, Metrics, and Tools. Jerry Rackley Marketing Analytics Roadmap Methods, Metrics, and Tools Jerry Rackley Marketing Analytics Roadmap: Methods, Metrics, and Tools Copyright 2015 by Jerry Rackley This work is subject to copyright. All rights

More information

Book review of Linley, A. & Joseph, S. (2004) Positive Psychology in Practice. http://hdl.handle.net/10197/6337

Book review of Linley, A. & Joseph, S. (2004) Positive Psychology in Practice. http://hdl.handle.net/10197/6337 Provided by the author(s) and University College Dublin Library in accordance with publisher policies. Please cite the published version when available. Title Book review of Linley, A. & Joseph, S. (2004)

More information

SPRINGER BRIEFS IN CRIMINOLOGY. Sayantani Guin. Prison Inmates Living with HIV in India Case Studies from Prisons in Maharashtra

SPRINGER BRIEFS IN CRIMINOLOGY. Sayantani Guin. Prison Inmates Living with HIV in India Case Studies from Prisons in Maharashtra SPRINGER BRIEFS IN CRIMINOLOGY Sayantani Guin Prison Inmates Living with HIV in India Case Studies from Prisons in Maharashtra 123 SpringerBriefs in Criminology More information about this series at http://www.springer.com/series/10159

More information

Travel Writing and Tourism in Britain and Ireland

Travel Writing and Tourism in Britain and Ireland Travel Writing and Tourism in Britain and Ireland Edited by Travel Writing and Tourism in Britain and Ireland Also by : BRITISH SATIRE, 1785 1840: Volume 3 (editor) SHELLEY S EYE: Travel Writing and Aesthetic

More information

BCS Higher Education Qualifications. Professional Graduate Diploma in IT. Programming Paradigms Syllabus

BCS Higher Education Qualifications. Professional Graduate Diploma in IT. Programming Paradigms Syllabus BCS Higher Education Qualifications Professional Graduate Diploma in IT Programming Paradigms Syllabus Version: 180516 Contents 1. Change History 3 2. Rationale 3 3. Aims 3 4. Objectives 3 5. Prior Knowledge

More information

The Global Employability University Survey and Ranking The Globalization of Higher Education

The Global Employability University Survey and Ranking The Globalization of Higher Education The Global Employability University Survey and Ranking 2015 The Globalization of Higher Education 2 Bienvenue! Who are we? INFO aktualisieren The producer, Emerging is: The researcher, Trendence is : A

More information

Springer New York Berlin Heidelberg Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo

Springer New York Berlin Heidelberg Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo Using the STL Springer New York Berlin Heidelberg Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo Robert Robson Using the STL The c++ Standard Template Library With 34 Illustrations

More information

CO320 Introduction to Object- Oriented Programming

CO320 Introduction to Object- Oriented Programming CO320 Introduction to Object- Oriented Programming Michael Kölling 3.0 Take control of your own learning Lecture Classes Exercises Book Web page Discussion forum Study groups Practice, practice, practice!

More information