skip to content
Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 Preview this item
ClosePreview this item
Checking...

Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Author: E Clarke; D Kozen
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984.
Series: Lecture notes in computer science, 164.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: E Clarke; D Kozen
ISBN: 9783540128960 3540128964 9783540387756 3540387757
OCLC Number: 793075101
Description: 1 online resource : v.: digital.
Contents: A static analysis of CSP programs --
Compactness in semantics for merge and fair merge --
Algebraic tools for system construction --
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness --
The intractability of validity in logic programming and dynamic logic --
A semantics and proof system for communicating processes --
Non-standard fixed points in first order logic --
Automatic verification of asynchronous circuits --
Mathematics as programming --
Characterization of acceptable by algol-like programming languages --
A rigorous approach to fault-tolerant system development --
A sound and relatively complete axiomatization of clarke's language L4 --
Deciding branching time logic: A triple exponential decision procedure for CTL --
Equations in combinatory algebras --
Reasoning about procedures as parameters --
Introducing institutions --
A complete proof rule for strong equifair termination --
Necessary and sufficient conditions for the universality of programming formalisms --
There exist decidable context free propositonal dynamic logics --
A decision procedure for the propositional?-calculus --
A verifier for compact parallel coordination programs --
Information systems, continuity and realizability --
A complete system of temporal logic for specification schemata --
Reasoning in interval temporal logic --
Hoare's logic for programs with procedures --
What has been achieved? --
A theory of probabilistic programs --
A low level language for obtaining decision procedures for classes of temporal logics --
Deriving efficient graph algorithms (summary) --
An introduction to specification logic --
An interval-based temporal logic --
Property preserving homomorphisms of transition systems --
From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview --
Yet another process logic --
A proof system for partial correctness of dynamic networks of processes --
Errata.
Series Title: Lecture notes in computer science, 164.
Responsibility: by E. Clarke, D. Kozen.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/793075101> # Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "793075101" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1065513154#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1065513154#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1065513154#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/1065513154#Topic/computer_science> ; # Computer Science
   schema:about <http://dewey.info/class/005.1015113/e23/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/25829033> ; # D. Kozen
   schema:creator <http://experiment.worldcat.org/entity/work/data/1065513154#Person/clarke_e> ; # E. Clarke
   schema:datePublished "1984" ;
   schema:description "A static analysis of CSP programs -- Compactness in semantics for merge and fair merge -- Algebraic tools for system construction -- PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness -- The intractability of validity in logic programming and dynamic logic -- A semantics and proof system for communicating processes -- Non-standard fixed points in first order logic -- Automatic verification of asynchronous circuits -- Mathematics as programming -- Characterization of acceptable by algol-like programming languages -- A rigorous approach to fault-tolerant system development -- A sound and relatively complete axiomatization of clarke's language L4 -- Deciding branching time logic: A triple exponential decision procedure for CTL -- Equations in combinatory algebras -- Reasoning about procedures as parameters -- Introducing institutions -- A complete proof rule for strong equifair termination -- Necessary and sufficient conditions for the universality of programming formalisms -- There exist decidable context free propositonal dynamic logics -- A decision procedure for the propositional?-calculus -- A verifier for compact parallel coordination programs -- Information systems, continuity and realizability -- A complete system of temporal logic for specification schemata -- Reasoning in interval temporal logic -- Hoare's logic for programs with procedures -- What has been achieved? -- A theory of probabilistic programs -- A low level language for obtaining decision procedures for classes of temporal logics -- Deriving efficient graph algorithms (summary) -- An introduction to specification logic -- An interval-based temporal logic -- Property preserving homomorphisms of transition systems -- From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview -- Yet another process logic -- A proof system for partial correctness of dynamic networks of processes -- Errata."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1065513154> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1065513154#CreativeWork/> ;
   schema:name "Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983"@en ;
   schema:productID "793075101" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/793075101#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1065513154#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-12896-0> ;
   schema:url <http://dx.doi.org/10.1007/3-540-12896-4> ;
   schema:workExample <http://worldcat.org/isbn/9783540387756> ;
   schema:workExample <http://worldcat.org/isbn/9783540128960> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-12896-4> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/793075101> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1065513154#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065513154#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065513154#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1065513154#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
   schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/25829033> # D. Kozen
    a schema:Person ;
   schema:familyName "Kozen" ;
   schema:givenName "D." ;
   schema:name "D. Kozen" ;
    .

<http://worldcat.org/entity/work/data/1065513154#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/793075101> ; # Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
    .

<http://worldcat.org/isbn/9783540128960>
    a schema:ProductModel ;
   schema:isbn "3540128964" ;
   schema:isbn "9783540128960" ;
    .

<http://worldcat.org/isbn/9783540387756>
    a schema:ProductModel ;
   schema:isbn "3540387757" ;
   schema:isbn "9783540387756" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/793075101> ; # Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/793075101>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/793075101> ; # Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
   schema:dateModified "2017-10-22" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.