skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Symposium on semantics of algorithmic languages Preview this item
ClosePreview this item
Checking...

Symposium on semantics of algorithmic languages

Author: Erwin Engeler
Publisher: Berlin ; New York : Springer-Verlag, 1971.
Series: Lecture notes in mathematics (Springer-Verlag), 188.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Kongreß
Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Symposium on semantics of algorithmic languages.
Berlin, New York, Springer-Verlag, 1971
(OCoLC)624982047
Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Erwin Engeler
ISBN: 0387053778 9780387053776 3540053778 9783540053774 9783540364993 3540364994
OCLC Number: 143281
Notes: "A write-in symposium."
Description: 372 pages ; 26 cm.
Contents: Axiom systems for simple assignment statements / J.W. de Bakker --
A property of linear conditionals / J.W. de Bakker --
Formalization of storage properties / H. Bekic and K. Walk --
Program schemes, programs, and logic / D.C. Cooper --
Algebraic theories and program schemes / C.C. Elgot --
Structure and meaning of elementary programs / E. Engeler --
Procedures and parameters : an axiomatic approach / C.A.R. Hoare --
Semantics of ALGOL-like statements / S. Igarashi --
Proving correctness of implementation techniques / C.B. Jones and P. Lucas --
Examples of formal semantics / D.E. Knuth --
Experience with inductive assertions for proving programs correct / R.L. London --
Mathematical theory of partial correctness / Z. Manna --
Towards automatic program synthesis / Z. Manna and R.J. Waldinger --
The lattice of flow diagrams / D.S. Scott.
Series Title: Lecture notes in mathematics (Springer-Verlag), 188.
Responsibility: edited by E. Engeler.

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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/143281<\/a>> # Symposium on semantics of algorithmic languages<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, schema:MediaObject<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"143281<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/algorithmische_programmiersprache<\/a>> ; # Algorithmische Programmiersprache<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/932922<\/a>> ; # Formal languages<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1078716<\/a>> ; # Programming languages (Electronic computers)--Semantics<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/001.6424\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/programmiersprache<\/a>> ; # Programmiersprache<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/computer_algorithms<\/a>> ; # Computer algorithms<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/algorithmes<\/a>> ; # Algorithmes<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/872010<\/a>> ; # Computer algorithms<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/kongress<\/a>> ; # Kongress<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/programming_languages_electronic_computers_semantics<\/a>> ; # Programming languages (Electronic computers)--Semantics<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/semantik<\/a>> ; # Semantik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/langages_formels<\/a>> ; # Langages formels<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/formal_languages<\/a>> ; # Formal languages<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/langages_de_programmation<\/a>> ; # Langages de programmation<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1971<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Axiom systems for simple assignment statements \/ J.W. de Bakker -- A property of linear conditionals \/ J.W. de Bakker -- Formalization of storage properties \/ H. Bekic and K. Walk -- Program schemes, programs, and logic \/ D.C. Cooper -- Algebraic theories and program schemes \/ C.C. Elgot -- Structure and meaning of elementary programs \/ E. Engeler -- Procedures and parameters : an axiomatic approach \/ C.A.R. Hoare -- Semantics of ALGOL-like statements \/ S. Igarashi -- Proving correctness of implementation techniques \/ C.B. Jones and P. Lucas -- Examples of formal semantics \/ D.E. Knuth -- Experience with inductive assertions for proving programs correct \/ R.L. London -- Mathematical theory of partial correctness \/ Z. Manna -- Towards automatic program synthesis \/ Z. Manna and R.J. Waldinger -- The lattice of flow diagrams \/ D.S. Scott.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/viaf.org\/viaf\/85204564<\/a>> ; # Erwin Engeler<\/span>\n\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1314019<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Kongre\u00DF<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Series\/lecture_notes_in_mathematics_springer_verlag<\/a>> ; # Lecture notes in mathematics (Springer-Verlag) ;<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Series\/lecture_notes_in_mathematics_188<\/a>> ; # Lecture notes in mathematics, 188<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/624982047<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Symposium on semantics of algorithmic languages<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"143281<\/span>\" ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/qe2a-proxy.mun.ca\/Login?url=http:\/\/www.springerlink.com\/openurl.asp?genre=issue&issn=0075-8434&volume=188<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/www.springerlink.com\/openurl.asp?genre=issue&issn=0075-8434&volume=188<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/swbplus.bsz-bw.de\/bsz01108619Xcov.htm<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783540364993<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780387053776<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783540053774<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/d-nb.info\/458289167<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/143281<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/001.6424\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Series\/lecture_notes_in_mathematics_188<\/a>> # Lecture notes in mathematics, 188<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/143281<\/a>> ; # Symposium on semantics of algorithmic languages<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in mathematics, 188<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Series\/lecture_notes_in_mathematics_springer_verlag<\/a>> # Lecture notes in mathematics (Springer-Verlag) ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/143281<\/a>> ; # Symposium on semantics of algorithmic languages<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in mathematics (Springer-Verlag) ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/algorithmes<\/a>> # Algorithmes<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Algorithmes<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/algorithmische_programmiersprache<\/a>> # Algorithmische Programmiersprache<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Algorithmische Programmiersprache<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/computer_algorithms<\/a>> # Computer algorithms<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2008101223<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer algorithms<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/formal_languages<\/a>> # Formal languages<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2008104060<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Formal languages<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/kongress<\/a>> # Kongress<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Kongress<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/langages_de_programmation<\/a>> # Langages de programmation<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Langages de programmation<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/langages_formels<\/a>> # Langages formels<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Langages formels<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/programmiersprache<\/a>> # Programmiersprache<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programmiersprache<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/programming_languages_electronic_computers_semantics<\/a>> # Programming languages (Electronic computers)--Semantics<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2010108609<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programming languages (Electronic computers)--Semantics<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1314019#Topic\/semantik<\/a>> # Semantik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Semantik<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"gw<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/1078716<\/a>> # Programming languages (Electronic computers)--Semantics<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programming languages (Electronic computers)--Semantics<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/872010<\/a>> # Computer algorithms<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer algorithms<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/932922<\/a>> # Formal languages<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Formal languages<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/85204564<\/a>> # Erwin Engeler<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Engeler<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Erwin<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Erwin Engeler<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780387053776<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0387053778<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780387053776<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783540053774<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3540053778<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783540053774<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783540364993<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3540364994<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783540364993<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/oclc\/624982047<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Symposium on semantics of algorithmic languages.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Online version:<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/143281<\/a>> ; # Symposium on semantics of algorithmic languages<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n