skip to content
Programmiersprachen : 4. Fachtagung der GI, Erlangen, 8-10. März 1976 Preview this item
ClosePreview this item
Checking...

Programmiersprachen : 4. Fachtagung der GI, Erlangen, 8-10. März 1976

Author: H J Schneider; Manfred Nagl
Publisher: Berlin ; New York : Springer-Verlag, 1976.
Series: Informatik-Fachberichte, Bd. 1.
Edition/Format:   Print book : Conference publication : GermanView all editions and formats
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: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: H J Schneider; Manfred Nagl
ISBN: 0387076190 9780387076195 3540076190 9783540076193
OCLC Number: 2877284
Notes: English or German.
English ed. published in 1976 under the title: Programming languages.
Description: 270 pages : illustrations ; 25 cm.
Contents: Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsmethode auf hohere Programmiersprachen.- Systematische Analyse semantischer Abhangigkeiten.- Ein algebraischer Ansatz fur Kompilerkorrektheitsbeweise.- Eine Methode zur rechnergestutzten Verifikation von while-Programmen.- Echtzeitprogrammierung/Realtime Programming.- Eine Dialogsprache fur die Prozesssteuerung.- Zur Programmierung von Echtzeitrechnersystemen mit raumlich verteilten Prozessorstationen.- Programmiertechnik/Programming Methodology.- Programming-in-the-Large versus Programming-in-the-Small.- Implementierungssprachen/Implementation Languages.- Einige Eigenschaften der Programmiersprache BALG.- SLAN - eine erweiterbare Sprache zur Unterstutzung der strukturierten und modularen Programmierung.- Grundlegende Konzepte/Foundational Concepts.- Cons-freies Programmieren in LISP unter deletion-Strategie.- Uber die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.- On the Implementation of Data Generality.- Programmiersprachen fur Spezielle Anwendungen/Programming Languages for Special Applications.- PROMID - eine problembezogene Programmiersprache fur die Mittlere Datentechnik.- EHBIS: High Level Picture Programming.- COMSKEE - Eine Sprache fur Linguisten.- Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis.- Syntax-error Recovery in LR-Parsers.- Generating Error Recovery in a Compiler Generating System.- Darstellung der Artanpassung in hoheren Programmiersprachen durch Reprasentationen von Gruppen.- Hauptvortrage/Invited Lectures.- Mathematical Theory of Serial Computers.- Some Comments on Programming Language Design.- On Generating Verification Conditions for Correctness Proofs.
Series Title: Informatik-Fachberichte, Bd. 1.
Responsibility: hrsg. von H.-J. Schneider und M. Nagl.

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/2877284> # Programmiersprachen : 4. Fachtagung der GI, Erlangen, 8-10. März 1976
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "2877284" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/6444633#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://dewey.info/class/001.6424/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/6444633#Topic/programmeertalen> ; # Programmeertalen
   schema:about <http://experiment.worldcat.org/entity/work/data/6444633#Topic/ordinateurs_programmation_congres> ; # Ordinateurs--Programmation--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/6444633#Topic/langages_de_programmation_congres> ; # Langages de programmation--Congrès
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/6444633#Person/schneider_h_j> ; # H. J. Schneider
   schema:contributor <http://viaf.org/viaf/33357461> ; # Manfred Nagl
   schema:creator <http://experiment.worldcat.org/entity/work/data/6444633#Meeting/fachtagung_uber_programmiersprachen_4th_erlangen_1976> ; # Fachtagung über Programmiersprachen, 4th, Erlangen, 1976.
   schema:datePublished "1976" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/6444633> ;
   schema:genre "Conference papers and proceedings" ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/6444633#Series/informatik_fachberichte> ; # Informatik-Fachberichte ;
   schema:name "Programmiersprachen : 4. Fachtagung der GI, Erlangen, 8-10. März 1976" ;
   schema:productID "2877284" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/2877284#PublicationEvent/berlin_new_york_springer_verlag_1976> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/6444633#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387076195> ;
   schema:workExample <http://worldcat.org/isbn/9783540076193> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/2877284> ;
    .


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/6444633#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/6444633#Meeting/fachtagung_uber_programmiersprachen_4th_erlangen_1976> # Fachtagung über Programmiersprachen, 4th, Erlangen, 1976.
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/6444633#Place/erlangen> ; # Erlangen,
   schema:name "Fachtagung über Programmiersprachen, 4th, Erlangen, 1976." ;
    .

<http://experiment.worldcat.org/entity/work/data/6444633#Person/schneider_h_j> # H. J. Schneider
    a schema:Person ;
   schema:familyName "Schneider" ;
   schema:givenName "H. J." ;
   schema:name "H. J. Schneider" ;
    .

<http://experiment.worldcat.org/entity/work/data/6444633#Series/informatik_fachberichte> # Informatik-Fachberichte ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/2877284> ; # Programmiersprachen : 4. Fachtagung der GI, Erlangen, 8-10. März 1976
   schema:name "Informatik-Fachberichte ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/6444633#Topic/langages_de_programmation_congres> # Langages de programmation--Congrès
    a schema:Intangible ;
   schema:name "Langages de programmation--Congrès" ;
    .

<http://experiment.worldcat.org/entity/work/data/6444633#Topic/ordinateurs_programmation_congres> # Ordinateurs--Programmation--Congrès
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation--Congrès" ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)" ;
    .

<http://viaf.org/viaf/33357461> # Manfred Nagl
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:familyName "Nagl" ;
   schema:givenName "Manfred" ;
   schema:name "Manfred Nagl" ;
    .

<http://worldcat.org/isbn/9780387076195>
    a schema:ProductModel ;
   schema:isbn "0387076190" ;
   schema:isbn "9780387076195" ;
    .

<http://worldcat.org/isbn/9783540076193>
    a schema:ProductModel ;
   schema:isbn "3540076190" ;
   schema:isbn "9783540076193" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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