Programmiersprachen - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540076193, 9783642663192

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Eine Dialogsprache für Die Prozess-Steuerung

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_6 ◽

1976 ◽

pp. 52-62

Author(s):

Peter Rütters

Download Full-text

Systematische Analyse Semantischer Abhaengigkeiten

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_3 ◽

1976 ◽

pp. 19-32 ◽

Cited By ~ 1

Author(s):

Uwe Kastens

Download Full-text

Syntax-Error Recovery in LR-parsers

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_17 ◽

1976 ◽

pp. 175-184 ◽

Cited By ~ 1

Author(s):

Johannes Roehrich

Keyword(s):

Error Recovery ◽

Lr Parsers

Download Full-text

COMSKEE — Eine Sprache für Linguisten

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_16 ◽

1976 ◽

pp. 166-174

Author(s):

Eberhard Bertsch ◽

Angelika Mueller-von Brochowski

Download Full-text

On the Implementation of Data Generality

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_13 ◽

1976 ◽

pp. 135-144

Author(s):

Arndt von Staa ◽

Carlos J. Lucena

Download Full-text

Generating Error Recovery in a Compiler Generating System

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_18 ◽

1976 ◽

pp. 185-193 ◽

Cited By ~ 2

Author(s):

Joachim Ciesinger

Keyword(s):

Error Recovery ◽

Generating System

Download Full-text

Eine Methode Zur Rechnergestützten Verifikation von While-Programmen

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_5 ◽

1976 ◽

pp. 43-51

Author(s):

Alfred Lothar Luft

Download Full-text

On Generating Verification Conditions for Correctness Proofs

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_22 ◽

1976 ◽

pp. 253-267

Author(s):

James C. King

Keyword(s):

Correctness Proofs ◽

Verification Conditions

Download Full-text

Some Comments on Programming Language Design

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_21 ◽

1976 ◽

pp. 235-252 ◽

Cited By ~ 1

Author(s):

David Gries

Keyword(s):

Programming Language ◽

Language Design ◽

Programming Language Design

Download Full-text

SLAN — Eine Erweiterbare Sprache Zur Unterstotzung der Strukturierten und Modularen Programmierung

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_10 ◽

1976 ◽

pp. 101-110 ◽

Cited By ~ 1

Author(s):

Günter Hommel ◽

Stefan Jähnichen ◽

Wilfried Koch

Download Full-text