Lecture Notes in Computer Science 7850
|
|
- Howard Greer
- 7 years ago
- Views:
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 (
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 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture 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 informationLecture 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 informationLecture 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 informationLecture 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 informationOral 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 informationUnderstanding 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 informationInternational 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 informationLecture 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 informationApplying 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 informationJava 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 informationLecture 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 informationSoftware 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 informationLecture 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 informationLecture 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 informationAutomated 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 informationLasers 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 informationSpringerBriefs 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 informationSpatial 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 informationThe 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 informationSpringer-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 informationMikló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 informationLecture 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 informationLecture 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 informationLibrary 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 informationThe 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 informationHuman 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 informationLecture 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 informationLecture 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 informationLecture 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 informationChallenges 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 informationEssential 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 informationSustainable 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 informationYouth 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 informationCollaborative 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 informationUNIVERSITY 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 informationBig-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 informationCorporate 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 informationNew 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 informationLecture 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 informationLecture 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 informationLecture 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 informationINTELLIGENT 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 informationLecture 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 informationSpatial 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 informationAmmonia. 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 informationPediatric 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 informationUrban 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 informationLecture 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 informationSOFTWARE 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 informationLecture 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 informationAdult 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 informationLecture 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 informationColon 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 informationThe 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 informationStem 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 informationThe 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 informationDesign 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 informationFirms 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 informationHow To Write An Fpa Programmable Gate Array
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 informationAdaptive 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 informationGenitourinary 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 informationCost 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 informationDing-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 informationBook 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 informationStatistics 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 informationThe International Society of Business, Economics, and Ethics Book Series
The International Society of Business, Economics, and Ethics Book Series Volume 5 Series editors Daryl Koehn Ethics and Business Law, University of St. Thomas, Opus College of Business, St. Paul, Minnesota,
More informationLecture 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 informationComplications 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 informationDonnellan, Brian Gleasure, Rob Helfert, Markus Kenneally, Jim Rothenberger, Marcus Chiarini Tremblay, Monica VanderMeer, Debra Winter, Robert
Title Author(s) Editor(s) ITSM ProcessGuide a longitudinal and multi-method field study for real-world DSR artifact evaluation Morana, Stefan; Schacht, Silvia; Gerards, Timo; Maedche, Alexander Donnellan,
More informationHow To Create A Virtual World From A Computer World
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 informationInfectious 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 informationHow To Make A Border Patrol Autonomous
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 informationSpringer NewYork Berlin Heidelberg Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo UNDERGRADUATE TEXTS IN COMPUTER SCIENCE
UNDERGRADUATE TEXTS IN COMPUTER SCIENCE Editors David Gries Fred B. Schneider Springer NewYork Berlin Heidelberg Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo UNDERGRADUATE
More informationVariation Management for Software Production Lines 1
Variation Management for Software Production Lines 1 Charles W. Krueger BigLever Software, Inc. 10500 Laurel Hill Cove Austin TX 78730 USA ckrueger@biglever.com Abstract. Variation in a software product
More informationWorking Paper Series. RatSWD. Working Paper No. 163. DataCite: The International Data Citation Initiative. Datasets Programme.
German Data Forum (RatSWD) www.germandataforum.de RatSWD Working Paper Series Working Paper No. 163 DataCite: The International Data Citation Initiative Datasets Programme Max Wilkinson November 2010 Working
More informationMarketing 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 informationPHYSICAL 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 informationBCS 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 informationProduction 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 informationAniyizhai Annamalai. Editor. Refugee Health Care. An Essential Medical Guide
Refugee Health Care Aniyizhai Annamalai Editor Refugee Health Care An Essential Medical Guide Editor Aniyizhai Annamalai, M.D. Yale University School of Medicine New Haven, CT, USA ISBN 978-1-4939-0270-5
More informationContemporary Pediatric and Adolescent Sports Medicine
Contemporary Pediatric and Adolescent Sports Medicine Series Editor Lyle J. Micheli For further volumes: http://www.springer.com/series/11729 Lyle Micheli Cynthia Stein Michael O Brien Pierre d Hemecourt
More informationSourcebook for Training in Clinical Psychology
Sourcebook for Training in Clinical Psychology Contributors: ELTON AsH HAROLD BASOWITZ LEONARD BLANK HENRY P. DAVID GORDON F. DERNER ARTHUR KOVACS LUCIANO L' ABATE MARTIN MAYMAN CECIL P. PECK LESLIE PmLLIPs
More informationSTEWARDSHIP ETHICS IN DEBT MANAGEMENT
STEWARDSHIP ETHICS IN DEBT MANAGEMENT Issues in Business Ethics VOLUME 12 Series Editors Henk van Luijk, Nijenrode, Netherlands of Business, Breukelen, The Netherlands Patricia Werhane, University of Virginia,
More informationSpringer Proceedings in Mathematics & Statistics
Springer Proceedings in Mathematics & Statistics Volume 135 More information about this series at http://www.springer.com/series/10533 Springer Proceedings in Mathematics & Statistics This book series
More informationCurriculum vitae. July 2007 present Professor of Mathematics (W3), Technische
Peter Bank Institut für Mathematik, Sekr. MA 7-1 Straße des 17. Juni 136 10623 Berlin Germany Tel.: +49 (30) 314-22816 Fax.: +49 (30) 314-24413 e-mail: bank@math.tu-berlin.edu URL: www.math.tu-berlin.de/
More informationEnergy Efficient Thermal Management of Data Centers
Energy Efficient Thermal Management of Data Centers Yogendra Joshi l Editors Pramod Kumar Energy Efficient Thermal Management of Data Centers Editors Yogendra Joshi G.W. Woodruff School of Mechanical
More informationStudies in the Economics of Uncertainty
Studies in the Economics of Uncertainty Josef Hadar Thomas B. Fomby Tae Kun Sea Editors Studies in the Economics of Uncertainty In Honor of Josef Hadar With 25 Illustrations Springer Verlag New York Berlin
More informationMigrating to Swift from Web Development
Migrating to Swift from Web Development Sean Liao Mark Punak Migrating to Swift from Web Development Copyright 2015 by Sean Liao and Mark Punak This work is subject to copyright. All rights are reserved
More informationMicrosoft Dynamics CRM API Development for Online and On-Premise Environments
Microsoft Dynamics CRM API Development for Online and On-Premise Environments Mark Beckner Triston Arisawa Microsoft Dynamics CRM API Development for Online and On-Premise Environments Copyright 2013 by
More informationToward Quantitative Process Management With Exploratory Data Analysis
Toward Quantitative Process Management With Exploratory Data Analysis Mark C. Paulk Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Abstract The Capability Maturity Model
More informationScientific research competitiveness of world universities in computer science
Jointly published by Akadémiai Kiadó, Budapest Scientometrics, Vol. 76, No. 2 (2008) 245 260 and Springer, Dordrecht DOI: 10.1007/s11192-007-1913-7 Scientific research competitiveness of world universities
More informationValuation in Life Sciences. Third edition
Valuation in Life Sciences Third edition Boris Bogdan Ralph Villiger Valuation in Life Sciences A Practical Guide Third edition 123 Dr. Boris Bogdan Avance, Basel GmbH Bäumleingasse 2 4051 Basel Switzerland
More informationasked the Software Engineering Institute Publishes Software Technology Review A Cliffs Notes Approach for PEOs, PMs, IPTs, and Support Staff
ACQUISITION REFERENCE SOURCE Software Engineering Institute Publishes Software Technology Review A Cliffs Notes Approach for PEOs, PMs, IPTs, and Support Staff ROBERT ROSENSTEIN KIMBERLY BRUNE JOHN FOREMAN
More informationMore information about this series at http://www.springer.com/series/4622
Power Systems More information about this series at http://www.springer.com/series/4622 Siddhartha Kumar Khaitan James D. McCalley Chen-Ching Liu Editors Cyber Physical Systems Approach to Smart Electric
More informationLecture Notes in Computer Science 7253
Lecture Notes in Computer Science 7253 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationInjection Procedures
Injection Procedures wwww Todd P. Stitik Editor Injection Procedures Osteoarthritis and Related Conditions Editor Todd P. Stitik Professor, Physical Medicine and Rehabilitation Co-Director, Musculoskeletal/Pain
More informationIntroducing Honeycomb. An Open Source Release Automation Solution for Be Informed
Introducing Honeycomb An Open Source Release Automation Solution for Be Informed Copyrighted Material Introducing Honeycomb: An Open Source Release Automation Solution for Be Informed A Taxonic technical
More informationLecture Notes in Computer Science 2828 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2828 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Antonio Lioy Daniele Mazzocchi (Eds.) Communications
More information