skip to content
First-order programming theories Preview this item
ClosePreview this item
Checking...

First-order programming theories

Author: T Gergely; László Úry
Publisher: Berlin ; New York : Springer-Verlag, ©1991.
Series: EATCS monographs on theoretical computer science, v. 24.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book proposes a purely classical first-order logical approach to the theory of programming. The authors, leading members of the famous "Hungarian school", use this approach to give a unified and systematic presentation of the theory. This approach provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs,  Read more...
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Gergely, T. (Tamás).
First-order programming theories.
Berlin ; New York : Springer-Verlag, ©1991
(DLC) 91027370
(OCoLC)24174280
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: T Gergely; László Úry
ISBN: 9780387299860 0387299866 9783642582059 3642582052 9783642635038 3642635032
OCLC Number: 209982206
Reproduction Notes: Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (ix, 351 pages) : illustrations
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Mathematical Background --
1. Logic and Model Theory --
2. Inductive Definability --
I Computability --
3. Introduction to Part I --
4. Main Properties of Program Schemas --
5. Extension of Program Schemas --
6. Program Schemas with Stacks --
7. Computability --
8. On Inductive Definability of 1- and 2-Computable Relations --
II Extended Dynamic Logics --
9. Introduction to Part II --
10. Description of Program Properties --
11. Den-based Descriptive Languages --
12. The Problem of Completeness --
13. Dynamic Logic Generated by Extension --
14. Continuous Denotational Semantics --
15. Definable Denotational Semantics --
III Temporal Characterization of Programs --
16. Introduction to Part III --
17. Temporal Logic --
18. Temporal Logical Description of Program Properties --
19. Is Temporal Logic Expressible in Dynamic Logic? --
20. Is Dynamic Logic Expressible in Temporal Logic? --
21. The Case of Enumerable Models --
22. Temporal Axiomatization of Program Verification Methods --
IV Programming Logic with Explicit Time --
23. Introduction to Part IV --
24. Time Logic --
25. Definability in Regular Time Theories --
26. Expressive Power of Time --
Epilogue --
References --
Notations.
Series Title: EATCS monographs on theoretical computer science, v. 24.
Responsibility: Tamás Gergely, László Úry.

Abstract:

An increasing number of studies have been conducted on the role of expression and regulation of emotion in health. This book addresses the question of these studies from diverse angles while  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"This book represents the key contributions of a conference on emotions, emotion regulation and health research held at Tilburg University in 2003. ... it is mainly directed at Read more...

 
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/209982206> # First-order programming theories
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "209982206" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26452798#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychiatrie> ; # psychiatrie
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychologie> ; # psychologie
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychology_general> ; # Psychology (General)
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/pradikatenlogik> ; # Prädikatenlogik
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/logica_e_semantica_de_programacao> ; # Logica e semantica de programacao
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychology> ; # psychology
    schema:about <http://dewey.info/class/005.1/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/stufe_1> ; # Stufe 1
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychologie_algemeen> ; # Psychologie (algemeen)
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychiatry> ; # psychiatry
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/neurowetenschap> ; # neurowetenschap
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/26452798#Topic/neuroscience> ; # neuroscience
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/112138688> ; # László Úry
    schema:copyrightYear "1991" ;
    schema:creator <http://viaf.org/viaf/94717468> ; # Tamás Gergely
    schema:datePublished "1991" ;
    schema:description "This book proposes a purely classical first-order logical approach to the theory of programming. The authors, leading members of the famous "Hungarian school", use this approach to give a unified and systematic presentation of the theory. This approach provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties. The basic methods are logical extension, inductive definition and their combination, all of which admit an appropriate first-order representation of data and time. The framework proposed by the authors allows the investigation and development of different programming theories and logics from a unified point of view. Dynamic and temporal logics, for example, are investigated and compared with respect to their expressive and proof-theoretic powers. The book should appeal to both theoretical researchers and students. For researchers in computer science the book provides a coherent presentation of a new approach which permits the solution of various problems in programming theory in a unified manner by the use of first-order logical tools. The book may serve as a basis for graduate courses in programming theory and logic as it covers all important questions arising between the theory of computation and formal descriptive languages and presents an appropriate derivation system."@en ;
    schema:description "Mathematical Background -- 1. Logic and Model Theory -- 2. Inductive Definability -- I Computability -- 3. Introduction to Part I -- 4. Main Properties of Program Schemas -- 5. Extension of Program Schemas -- 6. Program Schemas with Stacks -- 7. Computability -- 8. On Inductive Definability of 1- and 2-Computable Relations -- II Extended Dynamic Logics -- 9. Introduction to Part II -- 10. Description of Program Properties -- 11. Den-based Descriptive Languages -- 12. The Problem of Completeness -- 13. Dynamic Logic Generated by Extension -- 14. Continuous Denotational Semantics -- 15. Definable Denotational Semantics -- III Temporal Characterization of Programs -- 16. Introduction to Part III -- 17. Temporal Logic -- 18. Temporal Logical Description of Program Properties -- 19. Is Temporal Logic Expressible in Dynamic Logic? -- 20. Is Dynamic Logic Expressible in Temporal Logic? -- 21. The Case of Enumerable Models -- 22. Temporal Axiomatization of Program Verification Methods -- IV Programming Logic with Explicit Time -- 23. Introduction to Part IV -- 24. Time Logic -- 25. Definability in Regular Time Theories -- 26. Expressive Power of Time -- Epilogue -- References -- Notations."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/26452798> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26452798#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/24174280> ;
    schema:name "First-order programming theories"@en ;
    schema:productID "209982206" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/209982206#PublicationEvent/berlin_new_york_springer_verlag_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/26452798#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/24174280.html> ;
    schema:url <https://doi.org/10.1007/978-3-642-58205-9> ;
    schema:url <http://books.google.com/books?id=RXGGAAAAIAAJ> ;
    schema:url <http://site.ebrary.com/id/10649366> ;
    schema:url <http://link.springer.com/10.1007/978-0-387-29986-0> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-54277-3> ;
    schema:url <http://www.myilibrary.com?id=111590> ;
    schema:workExample <http://worldcat.org/isbn/9783642582059> ;
    schema:workExample <http://worldcat.org/isbn/9783642635038> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-58205-9> ;
    schema:workExample <http://worldcat.org/isbn/9780387299860> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/209982206> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/209982206> ; # First-order programming theories
    schema:name "EATCS monographs on theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/logica_e_semantica_de_programacao> # Logica e semantica de programacao
    a schema:Intangible ;
    schema:name "Logica e semantica de programacao"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/pradikatenlogik> # Prädikatenlogik
    a schema:Intangible ;
    schema:name "Prädikatenlogik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychologie_algemeen> # Psychologie (algemeen)
    a schema:Intangible ;
    schema:name "Psychologie (algemeen)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/26452798#Topic/psychology_general> # Psychology (General)
    a schema:Intangible ;
    schema:name "Psychology (General)"@en ;
    .

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

<http://viaf.org/viaf/112138688> # László Úry
    a schema:Person ;
    schema:birthDate "1953" ;
    schema:familyName "Úry" ;
    schema:givenName "László" ;
    schema:name "László Úry" ;
    .

<http://viaf.org/viaf/94717468> # Tamás Gergely
    a schema:Person ;
    schema:familyName "Gergely" ;
    schema:givenName "Tamás" ;
    schema:givenName "T." ;
    schema:name "Tamás Gergely" ;
    .

<http://worldcat.org/isbn/9780387299860>
    a schema:ProductModel ;
    schema:isbn "0387299866" ;
    schema:isbn "9780387299860" ;
    .

<http://worldcat.org/isbn/9783642582059>
    a schema:ProductModel ;
    schema:isbn "3642582052" ;
    schema:isbn "9783642582059" ;
    .

<http://worldcat.org/isbn/9783642635038>
    a schema:ProductModel ;
    schema:isbn "3642635032" ;
    schema:isbn "9783642635038" ;
    .

<http://www.worldcat.org/oclc/24174280>
    a schema:CreativeWork ;
    rdfs:label "First-order programming theories." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/209982206> ; # First-order programming theories
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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