Unifying Theories of Programming 7th International Symposium, UTP 20
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion o
- PDF / 7,879,002 Bytes
- 224 Pages / 439.371 x 666.143 pts Page_size
- 39 Downloads / 193 Views
Festschrift
Pedro Ribeiro Augusto Sampaio (Eds.)
Unifying Theories of Programming 7th International Symposium, UTP 2019 Dedicated to Tony Hoare on the Occasion of His 85th Birthday Porto, Portugal, October 8, 2019, Proceedings behaviour
isabelle
theories
programs
systems
defined
semantics theorem software
action
theory order
continuous
time variables
process
formal
testing
design
operator
computerfunction algebra
state
command
models
model
utp
composition
algebraic
science reactive
calculus
relation
programming
σ
language
program
hybrid
set
case
aadl
using
trace
definition
parallel
example
prob based
refinement
Lecture Notes in Computer Science Founding Editors Gerhard Goos Karlsruhe Institute of Technology, Karlsruhe, Germany Juris Hartmanis Cornell University, Ithaca, NY, USA
Editorial Board Members Elisa Bertino Purdue University, West Lafayette, IN, USA Wen Gao Peking University, Beijing, China Bernhard Steffen TU Dortmund University, Dortmund, Germany Gerhard Woeginger RWTH Aachen, Aachen, Germany Moti Yung Columbia University, New York, NY, USA
11885
More information about this series at http://www.springer.com/series/7407
Pedro Ribeiro Augusto Sampaio (Eds.) •
Unifying Theories of Programming 7th International Symposium, UTP 2019 Dedicated to Tony Hoare on the Occasion of His 85th Birthday Porto, Portugal, October 8, 2019 Proceedings
123
Editors Pedro Ribeiro University of York York, UK
Augusto Sampaio Universidade Federal de Pernambuco Recife, Brazil
ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Computer Science ISBN 978-3-030-31037-0 ISBN 978-3-030-31038-7 (eBook) https://doi.org/10.1007/978-3-030-31038-7 LNCS Sublibrary: SL1 – Theoretical Computer Science and General Issues © Springer Nature Switzerland AG 2019 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, 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. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Cover illustration: The
Data Loading...
