Unifying Theories of Programming

This book provides a synthesis of the theory of programming.

Author: Charles Antony Richard Hoare

Publisher:

ISBN:

Category: Computers

Page: 298

View: 762

This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, design and implementation of programs. It is wide ranging both in its subject matter and also in its approach and style. The first five chapters justify and introduce the main concepts and methods to be used within the text, relating the goal of unification to the achievements of other branches of science and mathematics. The remaining chapters introduce more advanced programming language features one by one. The main methods of programming are summarised and concluded in a manner suitable for those already familiar with programming semantics. Definitions are accompanied by examples and the theorems by meticulous proof.

Unifying Theories of Programming

This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community.

Author: Pedro Ribeiro

Publisher: Springer

ISBN: 9783030310370

Category: Computers

Page: 217

View: 175

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 of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.

Unifying Theories of Programming

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006.

Author: Steve Dunne

Publisher: Springer Science & Business Media

ISBN: 354034750X

Category: Computers

Page: 256

View: 907

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks.

Unifying Theories of Programming

This book constitutes the proceedings of UTP 2014, the 5th International
Symposium on Unifying Theories of Programming, held on May 13, 2014 in
Singapore. It was colocated with the 19th International Symposium on Formal
Methods, FM ...

Author: David Naumann

Publisher: Springer

ISBN: 3319148060

Category: Computers

Page: 143

View: 593

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.

Unifying Theories of Programming

4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012,
Revised Selected Papers Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane
Feliachi. Unifying Theories of Programming with Monads Jeremy Gibbons Oxford
 ...

Author: Burkhard Wolff

Publisher: Springer

ISBN: 3642357059

Category: Computers

Page: 249

View: 910

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

Unifying Theories of Programming

Unifying. Theories. of. Programming. The components of the unified theory are
alphabets, signatures and healthiness conditions. The alphabet is a set of names
representing observations of behaviour made by the program. These names may
 ...

Author: Andrew Butterfield

Publisher: Springer Science & Business Media

ISBN: 3642145205

Category: Computers

Page: 279

View: 481

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. The 15 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 20 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

Unifying Theories of Programming

Halting Still Standing – Programs versus Specifications Cornelis Huizing, Ruurd
Kuiper, and Tom Verhoeff Technische Universiteit Eindhoven, Department of
Mathematics and Computer Science, Den Dolech 2, 5600 MB Eindhoven, The ...

Author: Shengchao Qin

Publisher: Springer Science & Business Media

ISBN: 364216689X

Category: Computers

Page: 310

View: 154

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 25 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

Unifying Theories of Programming and Formal Engineering Methods

He is the Head of the Program on Information Engineering and Technology in
Healthcare. ... The formal se- mantics is given in Unifying Theories of
Programming, where each individual paradigm is dealt with as a separate theory
and linked ...

Author: Zhiming Liu

Publisher: Springer

ISBN: 3642397212

Category: Computers

Page: 283

View: 274

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.

Engineering Theories of Software Construction

( Eds . ) IOS Press , 2001 Unifying Theories for Logic Programming C.A.R. Hoare
Microsoft Research Cambridge , England ... Abstract A theory of programming is
intended to support the practice of programming by relating each program to the
 ...

Author: Charles Antony Richard Hoare

Publisher: IOS Press

ISBN: 9781586031725

Category: Computers

Page: 357

View: 562

This text examines the software engineering techniques used for industrial tasks. Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. This book presents mathematical foundations of software engineering and engineering methods in their theoretical substance in the step towards practical applications.

Theories of Programming and Formal Methods

Papers presented at a symposium held in Shanghai, September 1–3, 2013.
LNCS volume 8051, Springer 2013. • Unifying Theories of Programming and
Formal Engineering Methods. International Training School on Software
Engineering, ...

Author: Zhiming Liu

Publisher: Springer

ISBN: 3642396984

Category: Computers

Page: 413

View: 614

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics. He Jifeng is known for his seminal work in the theories of programming and formal methods for software engineering. He is particularly associated with Unifying Theories of Programming (UTP) , the theory of data refinement and the laws of programming, and the rCOS formal method for object and component system construction. His book on UTP with Tony Hoare has been widely read and followed by a large number of researchers, and it has been used in many postgraduate courses. He was a senior researcher at Oxford during 1984-1998, and then a senior research fellow at the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during 1998-2005. He has been a professor and currently the Dean of the Institute of Software Engineering at East China Normal University, Shanghai, China. In 2005, He Jifeng was elected as an academician to the Chinese Academy of Sciences. He also received an honorary doctorate from the University of York. He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

The grand unified theory of software engineering

Author:

Publisher: Industrial Info Systems

ISBN: 9197462012

Category:

Page: 235

View: 209


Software Engineering

A Unifying Theory of True Concurrency Based on CSP and Lazy Observation
Marc L. SMITH Department of Computer Science, Colby College ... Similarly,
within the context of the Unifying Theories of Programming, a model of true
concurrency ...

Author: Krzysztof Zieliński

Publisher: IOS Press

ISBN: 1586035592

Category: Computers

Page: 431

View: 379

The capability to design quality software and implement modern information systems is at the core of economic growth in the 21st century. This book aims to review and analyze software engineering technologies, focusing on the evolution of design and implementation platforms as well as on novel computer systems.

Communicating Process Architectures 2005

A Unifying Theory of True Concurrency Based on CSP and Lazy Observation
Marc L. SMITH Department of Computer ... Unifying Theories of Programming,
lazy observation, true concurrency Introduction This paper presents and explores
the ...

Author: J.F. Broenink

Publisher: IOS Press

ISBN: 1607501449

Category: Computers

Page: 416

View: 908

The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person – maybe not even a small team – can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined to achieve scalability. A crucial property is that the cost of making a change to a system depends linearly on the size of that change – not on the size of the system being changed. Of course, this must be true whether that change is a matter of maintenance (e.g. to take advantage of upcoming multiprocessor hardware) or the addition of new functionality. One key is that system composition (and disassembly) introduces no surprises. A component must behave consistently, no matter the context in which it is used – which means that component interfaces must be explicit, published and free from hidden side-effect. This publication offers strongly refereed high-quality papers covering many differing aspects: system design and implementation (for both hardware and software), tools (concurrent programming languages, libraries and run-time kernels), formal methods and applications.

FME 2003 Formal Methods

A Semantic Foundation for TCOZ in Unifying Theories of Programming
Shengchao Qin1, Jin Song Dong2, and Wei-Ngan Chin1,2 1 Singapore-MIT
Alliance, National University of Singapore 2 School of Computing, National
University o ...

Author: Italy) International Symposium of Formal Methods Europe 2003 (Pisa

Publisher: Springer Science & Business Media

ISBN: 9783540408284

Category: Business & Economics

Page: 942

View: 903

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

Testing Techniques in Software Engineering

Unifying. Theories. of. Programming. Bernhard K. Aichernig 1 Institute for
Software Technology, Graz University of ... China This chapter presents a theory
of testing that integrates into Hoare and He's Unifying Theories of Programming (
UTP).

Author: Paulo Borba

Publisher: Springer Science & Business Media

ISBN: 3642143342

Category: Computers

Page: 313

View: 297

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring software quality. The summer school and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity and its state of the art. Theseproceedingsrecordthecontributionsfromtheinvitedlecturers.Eachof thechaptersistheresultofathoroughrevisionoftheinitialnotesprovidedtothe participants of the school. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves and with the school’s attendees. The editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing out di?erences in notation and approach, and providing links between the lectures. We apologize to the authors for any errors introduced by our extensive editing. Although the chapters are linked in severalways, each one is su?ciently se- contained to be read in isolation. Nevertheless, Chap. 1 should be read ?rst by those interested in an introduction to testing. Chapter 1 introduces the terminology adopted in this book. It also provides an overview of the testing process, and of the types (functional, structural, and so on)anddimensions(unit,integration,andsoon)ofthetestingactivity.Themain strategies employed in the central activity of test selection are also discussed. Most of the material presented in this introductory chapter is addressedin more depth in the following chapters.

Formal Methods Foundations and Applications

Victor Bandur and Jim Woodcock The University of York, UK Abstract. We
propose a unifying treatment of multi-valued logic in the general context of
specification, presented in the style of the Unifying Theories of Programming of
Hoare and He ...

Author: Juliano Iyoda

Publisher: Springer

ISBN: 3642410715

Category: Computers

Page: 243

View: 635

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Integrated Formal Methods

Our contribution is a UTP encoding that captures pGCL programs as predicate-
transformers, on predicates over ... 1 Introduction The Unifying Theories of
Programming (UTP) research activity seeks to bring models of a wide range of ...

Author: John Derrick

Publisher: Springer

ISBN: 3642307299

Category: Computers

Page: 360

View: 616

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.

Lectures on Petri Nets II Applications

The primary role of algebraic laws is recognised in the most abstract of branches
of algebra, namely category theory. ... forward in this paper evolved during a long
collaboration with He Jifeng on research into unifying theories of programming.

Author: Wolfgang Reisig

Publisher: Springer Science & Business Media

ISBN: 9783540653073

Category: Business & Economics

Page: 487

View: 317

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.

FM 2014 Formal Methods

We describe the semantic domains for Compass Modelling Language (CML),
using Hoare & He's Unifying Theories of Programming (UTP). CML has been
designed to specify, design, compose, simulate, verify, test, and validate
industrial ...

Author: Cliff Jones

Publisher: Springer

ISBN: 331906410X

Category: Computers

Page: 750

View: 399

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Mathematics of Program Construction

The technique of parameterising a combinator derives from the definition of
parallel-by-merge in 'Unifying Theories of Programming'. It is applied here to the
study of disjointness combinators that extend the separating conjunction of ...

Author: Tarmo Uustalu

Publisher: Springer Science & Business Media

ISBN: 3540356312

Category: Computers

Page: 454

View: 634

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006, co-located with AMAST 2006, the 11th International Conference on Algebraic Methodology and Software Technology.The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 45 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.