Filters








30 Hits in 11.0 sec

Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness

Steve Dunne
2001 unpublished
doi:10.14236/ewic/iwfm2001.1 fatcat:xj6bylibyrbsrhiiodblmsfike

Unifying Theories of Reactive Design Contracts [article]

Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
2019 arXiv   pre-print
In this paper, we describe a unifying theory for reactive design contracts that provides the basis for modelling and verification of reactive systems.  ...  Being based in Unifying Theories of Programming (UTP), our theory can be composed with further computational theories to support semantics for multi-paradigm languages.  ...  We also thank the anonymous reviewers of this article, whose suggestions have greatly improved the presentation of our work.  ... 
arXiv:1712.10233v2 fatcat:nucijwgabvbx5e2takfqiubtou

A CSP model with flexible parallel termination semantics

Paul Howells, Mark d'Inverno
2008 Formal Aspects of Computing  
In addition, the authors would like to thank the anonymous referees for their suggestions and comments regarding the contents and structure of the paper.  ...  Acknowledgments The authors gratefully acknowledge the advice and assistance of the following people Richard Bornat, Jonathan Bowen, Peter Burton, Michael Luck, Steve Reeves, Steve Schneider and Steve  ...  The fourth takes a very different approach and is the recasting of CSP within Hoare and He's [HJ98] Unifying Theories of Programming (UTP) framework.  ... 
doi:10.1007/s00165-008-0098-z fatcat:dw4iq67p3zeu5nllz2hoisxshy

Mechanical Reasoning about Families of UTP Theories

Frank Zeyda, Ana Cavalcanti
2009 Electronical Notes in Theoretical Computer Science  
In this paper we present a semantic embedding of Hoare and He's Unifying Theories of Programming (UTP) framework into the ProofPower-Z theorem prover; it concisely captures the notion of UTP theory, theory  ...  We support encoding and reasoning about combinations of elements of collections of theory instantiations, as typically found in UTP models of particular specifications and programs.  ...  We would also like to acknowledge EPSRC for funding this work under the "Programming from Control Laws" research grant EP/E025366/1.  ... 
doi:10.1016/j.entcs.2009.05.055 fatcat:jckuq43x7bem7jcm7wamrrqfiq

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP [article]

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
2018 arXiv   pre-print
In this paper, we present a verification approach for a diagrammatic state machine language that utilises theorem proving and a denotational semantics based on Unifying Theories of Programming (UTP).  ...  State-machine based notations are ubiquitous in the description of component systems, particularly in the robotic domain.  ...  This work is funded by the EPSRC projects RoboCalc 4 (Grant EP/M025756/1) and CyPhyAssure (Grant EP/S001190/1), and the Royal Academy of Engineering.  ... 
arXiv:1807.08588v1 fatcat:nboohuqn3rh7dmmax7cqud4taa

Unifying Theories in ProofPower-Z [chapter]

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2006 Lecture Notes in Computer Science  
The increasing interest in the combination of different computational paradigms is well represented by Hoare & He in the Unifying Theories of Programming (UTP).  ...  We aim at providing tool support not only for CSP and Circus, but also for further explorations of Hoare & He's unification, and for the mechanisation of languages whose semantics is based on the UTP.  ...  Acknowledgements We thank QinetiQ and the Royal Society for their financial support. The work of Marcel Oliveira is supported by CNPq: grant 551210/2005-2.  ... 
doi:10.1007/11768173_8 fatcat:ojcwog46h5apzk2vggv3lspmoq

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

J. Dingel
2002 Formal Aspects of Computing  
In parallel programs, efficiency in terms of explicit, finer-grained parallelism seems to exclude robustness, maintainability and verifiability. • The paradigms and patterns of program execution for various  ...  The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.  ...  (SRC) and the National Sciences and Engineering Council of Canada (NSERC).  ... 
doi:10.1007/s001650200032 fatcat:nvjcuxsv7jdavdgklzfqbsvf3y

Peace, Land, and Bread: A Scholarly Journal of Revolutionary Theory and Practice #3

Ben Stahnke, Taylor Genovese, Christian Noakes, Samuel Parry, Amal Samaha, Jackson Albert Mann, Lucas Huang, Mark LaRubio, Sergio Dias Branco, Jarrod Grammel, Ethan Deere, Joe Dwyer (+23 others)
2021 figshare.com  
Peace, Land, and Bread is a peer-reviewed, scholarly journal edited and produced by the CCS—an international research center dedicated to public scholarship and grassroots research in the field of applied  ...  The journal is both transdisciplinary and interdisciplinary in scope, and draws from various fields such as ecology, education, sociology, and law as they intersect with radical political theory and contemporary  ...  To see the shadow of reflexive labour within Graeber's theory shows that Habermas' theory of how capitalism might avert economic and political crisis was correct in a way, but not at all in the way he  ... 
doi:10.6084/m9.figshare.13577717.v1 fatcat:cwyycd7vmfcytpsfz5o6vsyora

Whistling in the dark: memory and culture in wartime London

1999 ChoiceReviews  
There's an explosion and one hell ofa draught, as ifsomeone has left all the doors open. mare both stillstanding, andEddie has the door handle in hisfist, but the door hasgone away. '1t blew out ofme hand  ...  This I consider quite useful and ifburiedshall whistle with all my might. -From the diary ofVere Hodgson, 28 February 1944 Before he can open the dOf?  ...  make sense of the past and to give a form to their lives, and set the interview and the narrative in their historical context" (1991, 52) .  ... 
doi:10.5860/choice.36-4692 fatcat:bxd2gxqls5dljdp6l36halncbq

The Lion and the Star: Gentile-Jewish Relations in Three Hessian Communities

Keith H. Pickus, Jonathan C. Friedman
2000 German Studies Review  
13 April193 3, Document III 5, in DGF, 67-68. For the stat on lawyers, see, Alfred Vogel, Erblehre und Rassenkunde in bildlicher Darstellung (Stuttgart, 193 5), 69. 31.  ...  Schreiber was eventually forced into retirement (Eduard Schreiber, "Erlebnissen eines deutschen Richters 1993/34," Document III 2, in DGF, [62] [63] [64].  ...  Occupational Structure of Jews and the General Population in Germany in 1907 and 1933 39 10.  ... 
doi:10.2307/1432856 fatcat:lontoerravbi5n4qcind6qwrzi

The sharia: sources, legal theory and unofficial sources of law [chapter]

Jonathan Ercanbrack
The Transformation of Islamic Law in Global Financial Markets  
Legal theory, sources of law and the semantic web Boer, A. Link to publication Citation for published version (APA): Boer, A. (2009). Legal theory, sources of law and the semantic web.  ...  An OWL theory describes a set of models M , and a datalog program describes a specific model m.  ...  Business process design and design of specialized computer systems are both usually based on explicit models in modeling languages, like the Unified Modeling Language (UML) or, more recently in the context  ... 
doi:10.1017/cbo9781107447929.003 fatcat:ivopkakf5fclpdaibyrcilu5jq

Improvising Meaning in the Age of Humans [article]

(:Unkn) Unknown, University, My, Karen E. Bond
2020
This emergent knowledge is integrated into discourses and practices addressing the relationship of the human and more than human world in the context of a deepening environmental crisis in the 21st century  ...  In light of growing challenges associated with the Anthropocene, including climate change and mass extinction, the dissertation makes a case for greater inclusion of ecological and environmental contexts  ...  He's just doing that, and in that moment he's so beautiful and somebody notices it and tells him. Then suddenly he's trying, admiring himself in the mirror, and he can't "get it" back ever again.  ... 
doi:10.34944/dspace/783 fatcat:slmwziheifcfjovhw7s7rrynhu

Index [chapter]

Nazi Characters in German Propaganda and Literature  
This is an open access title distributed under the terms of the CC BY-NC 4.0 license, which permits any non-commercial use, distribution, and reproduction in any medium, provided the original author(s)  ...  This is an open access title distributed under the terms of the CC BY-NC 4.0 license, which permits any non-commercial use, distribution, and reproduction in any medium, provided the original author(s)  ...  This final chapter examines texts that follow the three basic options available at the end of the war: intransigence and denial, silence and moving ahead, or confronting and processing the past.  ... 
doi:10.1163/9789004365261_008 fatcat:gdnyornwvfemhk6sfhnesn3tjy

Changes to the Amplification of Risk Information within the British Press: 1985-2017

Martin Rooke
2021
The data generated from these investigations provided evidence to suggest that amplified reporting of risk information is subject to the prevailing professional conventions embedded across four distinct  ...  The qualitative content analysis investigated the changes to the volume of risk-based news publication, alongside the expression of sensationalist and politicising language.  ...  He's an idiot. He is a thorn in people's sides and an egomaniac."  ... 
doi:10.22024/unikent/01.02.85923 fatcat:sf2jlaetdzamzpe3rs5hfoobla

Psychiatry at War: Psychiatric Culture and Political Ideology in Yugoslavia under the Nazi Occupation

Ana Antic
2017
In that sense, my dissertation offers a revision of the common historical understanding of WWII psychiatry (and indeed of Nazification generally) in Eastern Europe, and argues that even collaborationist  ...  This dissertation examines the social and cultural history of psychiatric concepts and definitions of "normalcy," "deviation" and mental illness in German-occupied Yugoslavia in the Second World War, and  ...  achievement given the general context of the hospital.  ... 
doi:10.7916/d8js9njc fatcat:dr6crqvvzjgg5pi6eihnlul66a
« Previous Showing results 1 — 15 out of 30 results