Filters








271,755 Hits in 3.4 sec

Unified Theories of Programming [chapter]

C. A. R. Hoare
<span title="">1997</span> <i title="Springer Berlin Heidelberg"> Mathematical Methods in Program Development </i> &nbsp;
A mathematical theory of programming aims to provide a similar basis for speci cation, design and implementation of computer programs.  ...  This paper presents simple theories of sequential non-deterministic programming in each of these three styles; by deriving each presentation from its predecessor in a cyclic fashion, mutual consistency  ...  That is the practical bene t of unifying theories of programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-60858-2_21">doi:10.1007/978-3-642-60858-2_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vvevxbhyivdljm6opduph6oksa">fatcat:vvevxbhyivdljm6opduph6oksa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130512173145/http://research.microsoft.com:80/pubs/68626/unified_theories.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/48/e4/48e49798f5163b80ad2c8df793d387d603e2813b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-60858-2_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Unifying Theories of Programming with Monads [chapter]

Jeremy Gibbons
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a simple functional programming approach to this challenge, based on algebraic theories of computational effects.  ...  The combination of probabilistic and nondeterministic choice in program calculi is a notoriously tricky problem, and one with a long history.  ...  Acknowledgements We are grateful to members of the Algebra of Programming research group at Oxford and of IFIP Working Groups 2.1 and 2.8, and to the referees of this and the earlier paper [10] , all  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35705-3_2">doi:10.1007/978-3-642-35705-3_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n6m6xbztxzbb7jbhrharebjdnu">fatcat:n6m6xbztxzbb7jbhrharebjdnu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151023133630/http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/utp-monads.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bb/33/bb33868f835371c96b2d0fe3b5af0b10e4a83190.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35705-3_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Unifying Theories of Programming in Isabelle [chapter]

Simon Foster, Jim Woodcock
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This is a tutorial introduction to the two most basic theories in Hoare & He's Unifying Theories of Programming and their mechanisation in the Isabelle interactive theorem prover.  ...  We describe the theories of relations and of designs (pre-postcondition pairs), interspersed with their formalisation in Isabelle and example mechanised proofs.  ...  Preliminaries Unifying Theories of Programming, originally the work of Hoare & He [15] , is a long-term research agenda that can be summarised as follows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39721-9_3">doi:10.1007/978-3-642-39721-9_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3vmc5hqjyjfsjlfeahg44yzy4e">fatcat:3vmc5hqjyjfsjlfeahg44yzy4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719133408/http://eprints.whiterose.ac.uk/94531/1/utp_in_isabelle.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/6a/1c6ac29592c8e63f58221f177c0c978d2877c5f6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39721-9_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Angelic Nondeterminism and Unifying Theories of Programming

Ana Cavalcanti, Jim Woodcock
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates, which supports development in several programming paradigms.  ...  In this paper, we investigate the integration of angelic nondeterminism in the UTP; we propose the unification of a model of binary multirelations, which is isomorphic to the monotonic predicate transformers  ...  Unifying theories of programming The objective of Hoare and He's unifying theories of programming is to study and compare programming paradigms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.04.024">doi:10.1016/j.entcs.2005.04.024</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hyht2t4rd5fgdmnzskpbrgagja">fatcat:hyht2t4rd5fgdmnzskpbrgagja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190415083719/https://core.ac.uk/download/pdf/81125808.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/0f/c40fe6ee039b5febc1ece5777358eb91354d5b0b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.04.024"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Non-termination in Unifying Theories of Programming [chapter]

Walter Guttmann
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Within the Unifying Theories of Programming framework, program initiation and termination has been modelled by introducing a pair of variables in order to satisfy the required algebraic properties.  ...  Basics of Unifying Theories of Programming In practice one can observe about the execution of a program the initial and final values of its variables.  ...  Introduction The Unifying Theories of Programming framework [1] , hereafter abbreviated as UTP, takes a relational view on semantics: The meaning of a non-deterministic, imperative program is described  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11734673_9">doi:10.1007/11734673_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z3zdy4ywyfgubh24wb4cfvd3ti">fatcat:z3zdy4ywyfgubh24wb4cfvd3ti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160127081221/http://www.csse.canterbury.ac.nz/walter.guttmann/publications/0011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/4c/954cd019b0898091e197997d1b03fc3dc1eacebf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11734673_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Retrospective and Prospective for Unifying Theories of Programming [chapter]

Eric Hehner
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
It also speculates on consequences the work will have for all of computer science. Retrospective and Prospective for Unifying Theories of Programming 2  ...  This paper presents a personal account of developments leading to Unifying Theories of Programming, and some opinions about the direction the work should take in the future.  ...  Retrospective and Prospective for Unifying Theories of Programming 8 What can we prove about loops?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11768173_1">doi:10.1007/11768173_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pjk7kzzyqjbhhc3w2656rjjxoy">fatcat:pjk7kzzyqjbhhc3w2656rjjxoy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070417162830/http://www.cs.toronto.edu/~hehner/RPUTP.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/eb/cb/ebcb95c28c3f524b5e73f2823fa2387c0f54939b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11768173_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards a unified theory of intensional logic programming

Mehmet A Orgun, William W Wadge
<span title="">1992</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
TOWARDS A UNIFIED THEORY OF INTENSIONAL LOGIC PROGRAMMING MEHMET A. ORGUN AND WILLIAM W.  ...  In short, the objective of a language-independent unified theory for intensional logic programming is twofold: l We investigate whether some intensional logic programming language is contained in the theory  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(92)90055-8">doi:10.1016/0743-1066(92)90055-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rzsflxynojf7bn3uf4ac4xzhby">fatcat:rzsflxynojf7bn3uf4ac4xzhby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925192242/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/2f0/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wNzQzMTA2NjkyOTAwNTU4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/2b/ed2be42ce594db194cd2a12c556236abb014e5da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(92)90055-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Angelic nondeterminism in the unifying theories of programming

Ana Cavalcanti, Jim Woodcock, Steve Dunne
<span title="2006-08-08">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms.  ...  In this paper, we investigate the integration of angelic nondeterminism in the UTP; we propose the unification of a model of binary multirelations, which is isomorphic to the monotonic predicate transformers  ...  Unifying theories of programming The objective of Hoare and He's work on unifying theories of programming is to study and compare programming paradigms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-006-0001-8">doi:10.1007/s00165-006-0001-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lnybsg5qofd4fpiz4iveasdrwe">fatcat:lnybsg5qofd4fpiz4iveasdrwe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200307093903/https://research.tees.ac.uk/ws/files/6483463/58302.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/82/38821562334ade8f61036a9d2b3a7c1f39985318.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-006-0001-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Unifying Theories of Programming That Distinguish Nontermination and Abort [chapter]

Ian J. Hayes, Steve E. Dunne, Larissa Meinicke
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The models are formulated in the Unifying Theories of Programming of Hoare and He, but correspond to widely used specification models.  ...  , outside of which the program has no possible behaviour.  ...  We would like to thank Brijesh Dongol for feedback on earlier drafts of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13321-3_12">doi:10.1007/978-3-642-13321-3_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7ra26mmkurba3kqxuo43lk3zia">fatcat:7ra26mmkurba3kqxuo43lk3zia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830013236/http://tees.openrepository.com/tees/bitstream/10149/125145/2/125145.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/42/f4/42f415545f1511e0c0303461602c25f45decbd2a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13321-3_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Tutorial Introduction to Designs in Unifying Theories of Programming [chapter]

Jim Woodcock, Ana Cavalcanti
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In their Unifying Theories of Programming (UTP), Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms  ...  We give a tutorial introduction to the theory of alphabetised relations, and its sub-theory of designs.  ...  We hope to have given a didactic and accessible account of this basic foundation of the unifying theories of programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24756-2_4">doi:10.1007/978-3-540-24756-2_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhn335khb5gm3gnsrlnr3qt66y">fatcat:hhn335khb5gm3gnsrlnr3qt66y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171206124048/https://core.ac.uk/download/pdf/92090.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/56/f2/56f2ba84f1c625ab6759950e0e7fd90a0e92e382.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24756-2_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Tutorial Introduction to CSP in Unifying Theories of Programming [chapter]

Ana Cavalcanti, Jim Woodcock
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In their Unifying Theories of Programming, Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms.  ...  Afterwards, we present in detail a theory for reactive processes. Later, we combine the theories of designs and reactive processes to provide the model for CSP processes.  ...  Pernambuco Summer School, and are grateful for their support of this event, where this tutorial was first presented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11889229_6">doi:10.1007/11889229_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tyzod3apircnbkynr6fjxtwkxe">fatcat:tyzod3apircnbkynr6fjxtwkxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829195217/https://www.cs.york.ac.uk/circus/publications/papers/06-cw.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/18/c2/18c200122482a2eb07057f09fbbb254b8d755bda.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11889229_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Semantic Foundation for TCOZ in Unifying Theories of Programming [chapter]

Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Unifying Theories of Programming (UTP) can provide a formal semantic foundation not only for programming languages but also for more expressive specification languages.  ...  In particular, a novel unified semantic model of the channel based synchronisation and sensor/actuator based asynchronisation in TCOZ is presented.  ...  The UTP Observation Model In the Unifying Theories of Programming (UTP), the relational/predicate calculus is adopted as a fundamental basis for unifying various programming theories across three dimensions  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-45236-2_19">doi:10.1007/978-3-540-45236-2_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lujy3vfmjbecbivuuh6mcvwe3m">fatcat:lujy3vfmjbecbivuuh6mcvwe3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171206170403/https://core.ac.uk/download/pdf/66628.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/15/1e15574a7702c1b7a71b83ec023d61803116790b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-45236-2_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Threads and or-parallelism unified

VíTOR SANTOS COSTA, INÊS DUTRA, RICARDO ROCHA
<span title="">2010</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
AbstractOne of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs.  ...  Our new approach takes full advantage of the state-of-the-art fast and optimized YAP Prolog engine and shares the underlying execution environment, scheduler and most of the data structures used to support  ...  Acknowledgements We would like to thank all the anonymous referees that helped improving the quality of this paper with their insightful comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068410000190">doi:10.1017/s1471068410000190</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5eettijz7ffplne4nqxlk2chiy">fatcat:5eettijz7ffplne4nqxlk2chiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430060100/https://repositorio.inesctec.pt/bitstream/123456789/2952/1/PS-10810.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5d/17/5d176c8bd368603839b7751ec3fe2a53e9577862.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068410000190"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models [article]

Pascal Hitzler, Sibylle Schwarz
<span title="2005-11-09">2005</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which  ...  Most recently, however, new methodologies have been proposed which allow one to derive uniform characterizations of different declarative semantics for logic programs with negation.  ...  [4, 5] use bilattices in the spirit of [10] to arrive at a unified theory encompassing some of the major semantics for non-disjunctive programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0511038v1">arXiv:cs/0511038v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nlw4btdagnfhdn67am6larysoy">fatcat:nlw4btdagnfhdn67am6larysoy</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0511038/cs0511038.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/af/59af43a040926f7b86fcf6855351ce910df175b4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0511038v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Unified description of structure and reactions: implementing the nuclear field theory program

R A Broglia, P F Bortignon, F Barranco, E Vigezzi, A Idini, G Potel
<span title="2016-05-26">2016</span> <i title="IOP Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p2cujwllrvcclbhjfpcchfiyu4" style="color: black;">Physica Scripta</a> </i> &nbsp;
In the present contribution we review the implementation of the NFT program of structure and reactions, setting special emphasis on open problems and outstanding predictions.  ...  The modern theory of the atomic nucleus results from the merging of the liquid drop (Niels Bohr and Fritz Kalckar) and of the shell model (Marie Goeppert Meyer and Axel Jensen), which contributed the concepts  ...  In particular regarding the implementation of the Nuclear Field Theory (NFT) program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1088/0031-8949/91/6/063012">doi:10.1088/0031-8949/91/6/063012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jyiofqlpcrdhxo4ib2e6hms67a">fatcat:jyiofqlpcrdhxo4ib2e6hms67a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200902192859/https://arxiv.org/pdf/1511.03874v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7a/e3/7ae30b5c02387b18388f65dda654087b6e136d3c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1088/0031-8949/91/6/063012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> iop.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 271,755 results