Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben.
"Sinopsis" puede pertenecer a otra edición de este libro.
Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Broschiert. Condición: Gut. VI, 270 S. : graph. Darst. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 400. Nº de ref. del artículo: 1684295
Cantidad disponible: 2 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben. 280 pp. Englisch, Deutsch. Nº de ref. del artículo: 9783540076193
Cantidad disponible: 2 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9783540076193_new
Cantidad disponible: Más de 20 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540076193
Cantidad disponible: 10 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. 280. Nº de ref. del artículo: 2648023413
Cantidad disponible: 4 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Print on Demand pp. 280 39 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 44791978
Cantidad disponible: 4 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. PRINT ON DEMAND pp. 280. Nº de ref. del artículo: 1848023423
Cantidad disponible: 4 disponibles
Librería: moluna, Greven, Alemania
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 hoehere Programmiersprachen.- Systematische Analyse. Nº de ref. del artículo: 4879678
Cantidad disponible: Más de 20 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 1st edition. 280 pages. German language. 9.61x6.69x0.64 inches. In Stock. Nº de ref. del artículo: x-3540076190
Cantidad disponible: 2 disponibles
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 höhere Programmiersprachen.- Systematische Analyse semantischer Abhängigkeiten.- Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.- Eine Methode zur rechnergestützten Verifikation von while-Programmen.- Echtzeitprogrammierung/Realtime Programming.- Eine Dialogsprache für die Prozeßsteuerung.- Zur Programmierung von Echtzeitrechnersystemen mit räumlich 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 Unterstützung der strukturierten und modularen Programmierung.- Grundlegende Konzepte/Foundational Concepts.- Cons-freies Programmieren in LISP unter deletion-Strategie.- Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.- On the Implementation of Data Generality.- Programmiersprachen für Spezielle Anwendungen/Programming Languages for Special Applications.- PROMID - eine problembezogene Programmiersprache für die Mittlere Datentechnik.- EHBIS: High Level Picture Programming.- COMSKEE - Eine Sprache für 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 höheren Programmiersprachen durch Repräsentationen von Gruppen.- Hauptvorträge/Invited Lectures.- Mathematical Theory of Serial Computers.- Some Comments onProgramming Language Design.- On Generating Verification Conditions for Correctness Proofs.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch. Nº de ref. del artículo: 9783540076193
Cantidad disponible: 1 disponibles