C. A. R. Hoare. Towards a theory of parallel programming. Operating Systems Techniques, 1971. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Separation Logic: A Logic for Shared Mutable Data Structures - Reynolds (2002) (104 citations) (Correct)
....fq 2 g fp 1 p 2 g c 1 k c 2 fq 1 q 2 g; where no variable free in p 1 or q 1 is modified by c 2 , or viceversa. Going beyond this trivial case, O Hearn [22, 21] has extended the Hoare like logic for concurrency devised by Owicki and Gries [25] which is in turn an extension of work by Hoare [18]) to treat critical regions in the framework of separation logic. The basic idea is that, just as program variables are syntactically partitioned into groups owned by different processes and resources, so the heap should be similarly partitioned by separating conjunctions in the proof of the ....
C. A. R. Hoare. Towards a theory of parallel programming. In C. A. R. Hoare and R. H. Perrott, editors, Operating Systems Techniques, volume 9 of A.P.I.C. Studies in Data Processing, pages 61--71, London, 1972. Academic Press.
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
....j P j= in which we intend the following: m denotes an element of resource, perhaps drawn from a monoidal structure of ths kind we have discussed; P denotes a process term, located at a resource m, such as an program in a language in which resource access is explicit. For example, Hoare s [21] explicit resource declarations, resource r 1 (varlist) r m (varlist) cobegin P 1 ; Pn coend; provide a suitable construct and each of the resources will be decomposed by the composition operator in the semantics. This gives us a direct way to approach the concept of ....
C. A. R. Hoare. Towards a theory of parallel programming. In Hoare and Perrot, editors, Operating Systems Techniques. Academic Press, 1972.
On the Search for Tractable Ways of Reasoning about Programs - Jones (2001) (8 citations) (Correct)
....seen in the work of Tony Hoare. Semaphores are a low level device for controlling concurrency: they are adequate in that they can be used to achieve any particular e ect; they lack structure in that there is no way of checking that they are properly used. Hoare s conditional critical sections [Hoa72c] and monitors [Hoa74] are progressively richer constructs whose structure rules out certain sorts of potential error. Hoare s concept of monitor was implemented in the programming language Pascal Plus. Both of these language constructs are intended to harness shared variable concurrency ....
C. A. R. Hoare. Towards a theory of parallel programming. In C. A. R. Hoare and R. Perrot, editors, Operating System Techniques, pages 61-71. Academic Press, 1972.
Macroservers: An Execution Model for DRAM Processor-In-Memory.. - Zima, al. (2000) (Correct)
....approachtocondition synchronization, based on condition variables and direct control of blocking and releasing threads with respect to a synchronization condition. A more exible and higher level synchronization mechanism could be de ned along the lines of Hoare s conditional critical regions [28]. Such an approachwould also allow the uni cation of condition synchronization with future based synchronization. However, the feasibility of an ecient implementation of such a mechanism is unclear at this time. We believe that this topic needs additional research before a de nite decision can be ....
C.A.R.Hoare. Towards a Theory of Parallel Programming. In:(C.A.R.Hoare and R.H.Perrott,Eds.) Operating System Techniques, Academic Press, pp.61-71, 1972. 36
Monads-DP: Outline of an Object-Oriented Concurrent Programming.. - Ferenczi (Correct)
....object to which a process is local provides its local data space for sharing between the local processes. 2.1. 6 Intra object Synchronization: CCRs Synchronization among concurrent operations (threads) in scope of the same object is solved by an adapted form of Conditional Critical Regions (CCR) Hoa72] This means that the local variable space of an object can only be operated upon inside critical regions. The original CCR proposal explicitly denotes the shared resource whereas in MonadsDP the shared resource is implicitly associated with the local data space of the object. 8 Therefore, CCR ....
....continues with the execution of actions a , b or c respectively as critical region: when B1 do a else B2 do b else B3 do c end Both the Boolean conditions B1 B3 and the actions a c reference the attribute part of the host object. That is why the with clause of the original CCR proposal [Hoa72] can be omitted. Inheritance: New classes can be defined in Monads DP by sub classing where subclasses inherit everything from parent classes. The visibility of inherited entities are controlled as explained above (2.2.1) Given classes P and N, a new class Q can be derived from them by a ....
C. A. R. Hoare. Towards a Theory of Parallel Programming. In C. A. R. Hoare and R. H. Perrott, editors, Operating Systems Techniques, pages 61--71. Academic Press, New York, 1972.
Strategies For The Modelling And Simulation Of Asynchronous.. - Theodoropoulos (1995) (Correct)
....modules. Another problem associated with shared memory architectures is the issue of mutual exclusion, namely preventing a task from accessing a shared data structure while this is being modified by a different parallel task. Signals [Wirt77] semaphores [Dijk68] conditional critical regions [Hoar72] [Hans73] and monitors [Hoar74] are schemes that have been developed to solve the mutual exclusion problem. Languages based on these concepts have also been developed including Ada [Barn89] and Modula [Wirt77] 3 Delta networks for instance have a cost logarithmic to the number of inputs. ....
Hoare, C.A.R., "Towards a theory of parallel programming", in C.A.R. Hoare and R.H. Perrot, (Editors), "Operating Systems Techniques", Academic Press, 1982.
Variables as Resource in Hoare Logics - Matthew Parkinson And (2006) Self-citation (Hoare) (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. Operating Systems Techniques, 1971.
Expressions, Commands, and Assertions - Reynolds (2002) Self-citation (Hoare) (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In C. A. R. Hoare and R. H. Perrott, editors, Operating Systems Techniques, volume 9 of A.P.I.C. Studies in Data Processing, pages 61-71, London, 1972. Academic Press.
A Marriage of Rely/Guarantee and Separation - Logic Viktor Vafeiadis (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. Operating Systems Techniques, 1971.
Permission Accounting in Separation Logic - Richard Bornat School (2005) (1 citation) (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In Hoare and Perrott, editors, , in , ed. Operating System Techniques,, 1972.
Executing Temporal Logic Programs - Ben Moszkowski Address (1986) (113 citations) (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In C. A. R. Hoare and R. H. Perrott, editors, Operating Systems Techniques, pages 61--71. Academic Press, London, 1972. 2
Resources, Concurrency and Local Reasoning - O'Hearn (2005) (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In Hoare and Perrot, editors, Operating Systems Techniques. Academic Press, 1972. Reprinted in [11].
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
C.A.R. Hoare. Towards a theory of parallel programming. In Hoare and Perrot, editors, Operating Systems Techniques. Academic Press, 1972.
Concurrent Programming for Dummies (and smart people too) - Harris (Correct)
No context found.
HOARE, C. A. R. Towards a theory of parallel programming. In Operating Systems Techniques (London, 1972), C. A. R. Hoare and R. H. Perrott, Eds., vol. 9 of A.P.I.C. Studies in Data Processing, Academic Press, pp. 61--71.
Incorporating Unbounded Algorithms into Predictable .. - Audsley, Burns.. (1993) (5 citations) (Correct)
No context found.
C. A. R. Hoare, "Towards a Theory of Parallel Programming", pp. 61-71 in Operating system techniques, Academic Press (1972).
Notes on Separation Logic for Shared-variable - Concurrency Peter Hearn (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In Hoare and Perrot, editors, Operating Systems Techniques. Academic Press, 1972.
A Semantics for Concurrent Separation Logic - Brookes (2004) (6 citations) (Correct)
No context found.
C.A.R. Hoare, Towards a Theory of Parallel Programming. In Operating Systems Techniques, C. A. R. Hoare and R. H. Perrott, editors, pp. 61-71, Academic Press, 1972.
Exceptions and Side-Effects in Atomic Blocks - Tim Harris University (2004) (2 citations) (Correct)
No context found.
Hoare,C.A.R.Towards a theory of parallel programming. In Operating Systems Techniques (1972), vol. 9 of A.P.I.C. Studies in Data Processing, pp. 61--71.
Design Choices For Language-Based Transactions - Harris (2003) (Correct)
No context found.
Hoare, C. A. R. Towards a theory of parallel programming. In Operating Systems Techniques (1972), vol. 9 of A.P.I.C. Studies in Data Processing, Academic Press, pp. 61--71.
Language Support for Lightweight Transactions - Harris, Fraser (2003) (15 citations) (Correct)
No context found.
Hoare, C. A. R. Towards a theory of parallel programming. In Operating Systems Techniques (1972), vol. 9 of A.P.I.C. Studies in Data Processing, Academic Press, pp. 61--71.
Resources, Concurrency and Local Reasoning - O'Hearn (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In Hoare and Perrot, editors, Operating Systems Techniques. Academic Press, 1972. Reprinted in [3].
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
C.A.R. Hoare. Towards a theory of parallel programming. In Hoare and Perrot, editors, Operating Systems Techniques. Academic Press, 1972.
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In C. A. R. Hoare and R. Perrot, editors, Operating System Techniques, pages 61--71. Academic Press, 1972.
Notes on Separation Logic for Shared-variable Concurrency - O'Hearn (2002) (Correct)
No context found.
C. A. R. Hoare. Towards a theory of parallel programming. In Hoare and Perrot, editors, Operating Systems Techniques. Academic Press, 1972.
A Compositional Approach to Concurrent Programming - Pandey (1995) (3 citations) (Correct)
No context found.
C. A. R. Hoare. Towards a Theory of Parallel Programming. In C. A. R. Hoare and R. H. Perrot, editors, Operating System Techniques. Academic Press, NY, 1972.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC