Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
86 | Uwe Kastens |
Eigenschaften von Programmiersprachen - definiert durch attributierte Grammatiken. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 157-174, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Fritz Müller 0001 |
Ein konstruktives Typsystem für funktionale Programmiersprachen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 71-84, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
65 | Hans-Jürgen Hoffmann (eds.) |
Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![Springer, 3-540-09937-9 The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Manfred Dausmann, Guido Persch, Georg Winterstein |
LIS as Object Code for an ADA-O-Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 95-110, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Ralph-Johan Back |
Exception Handling with Multi-Exit Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 71-82, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm |
OPTRAN, a Language for the Specification of Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 125-142, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Horst Oberquelle |
Benutzergerechtes Editieren - eie neue Sichtweise von Problemlösen mit DV-Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 211-220, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Manfred Nagl |
An Incremental Compiler as Component of a System for Software Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 29-44, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Friedrich Hertweck, Inge Precht |
Some Considerations for an Extension of PL360. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 143-156, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Gerhard Knorz |
Das Konzept des Programmiersprachenkerns von TA3 - Darstellung eines deskriptiv orientierten Ansatzes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 175-188, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Klaus-Peter Löhr |
A Basis for Secure Systems Implementation Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 199-209, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Hans H. Kron, Rainer Lutze |
Ein Praktikum im Übersetzerentwurf: Struktur und Erfahrungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 189-198, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Urs Ammann |
Vergleich einiger Konzepte moderner Echtzeitsprachen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 1-18, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Thomas Gilb |
The "Design by Objectives" Method for Controlling Maintainability: A Quantitative Approach for Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 19-28, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Jakob Schauer |
Sequentialisierung von Parallelen Prozessen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 221-236, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Hans Ludwig Fischer, Peter Raulefs |
Design Rationale for the Interactive Programming Language CSSA for Asynchronous Multiprocessor Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 111-124, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Paulo R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum |
A Methodology for Message Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 83-93, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Burkhard Austermühl, Wolfgang Henhapl |
A Critical Review of PASCAL on a Formal Storage Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 57-69, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Donald F. Nelson |
Recent History and the Future of COBOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings, pp. 45-56, 1980, Springer, 3-540-09937-9. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
65 | Gerhard Niemann |
Erfahrungen mit höheren Programmiersprachen zur Lösung unterschiedlicher Aufgaben im technischen Bereich der Thyssen Aktiengesellschaft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 157-168, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
65 | Wolfgang Polak |
Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 12-18, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
65 | Harald Ganzinger |
Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentation von Gruppen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 194-202, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
65 | Helmut Jürgensen |
Zur Übersetzbarkeit von Programmiersprachen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: 3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings, pp. 34-44, 1974, Springer, 3-540-06666-7. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
65 | Günter R. Koch, V. Kussl |
Prozessorientierte Programmiersprachen, Formen und Funktionen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: 3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings, pp. 199-218, 1974, Springer, 3-540-06666-7. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
47 | Johannes Brauer, Christoph Crasemann, Hartmut Krasemann |
Auf dem Weg zu idealen Programmierwerkzeugen - Bestandsaufnahme und Ausblick. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 31(6), pp. 580-590, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Theo Härder, Udo Nink, Norbert Ritter |
Generierte DB-Aufrufschnittstellen - Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilität. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(2), pp. 67-82, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Bindungszeitpunkte, Anwendungsprogrammierschnittstelle, Generische Methoden, Objektorientierung, Datenbanksysteme |
45 | Günter Hotz |
Axiomatisierung bei Programmiersprachen und ihre Grenzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Methodology ![In: Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974, pp. 466-476, 1974, Springer, 3-540-07131-8. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
44 | Urs Ammann (eds.) |
Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![Springer, 3-540-12905-7 The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Ulrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm |
How to Implement a System for Manipulation of Attributed Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 112-127, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Peter Grogono, Vangalur S. Alagar |
An Environment for High-level Program Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 144-155, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | H. Dieter Rombach, K. Wegener |
Erfahrungen mit einem MIL-Entwurfswerkzeug. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 156-170, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Thomas Letschert |
Type Inference in the Presence of Overloading, Polymorphism and Coercions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 58-70, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Bernhard Hohlfeld |
Programmverifikation in lauffähigen Pascal-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 26-40, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Wolfgang Henhapl, Gregor Snelting |
Context Relations - a Concept for Incremental Context Analysis in Program Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 128-143, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Helmuth Partsch |
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 41-57, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Richard Ammer, Peter Meinen, Gerhard Rehmann |
Portable adaptierbare Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 85-100, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Barbara Mergler |
Objektorientierte Systementwicklung: Einfluss auf die Projektorganisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 207-222, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Joachim W. Schmidt |
Database Programming: Language Constructs and Execution Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 1-25, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Roger Schoenberger |
Ein Testsystem für Echtzeitprogramme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 184-192, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Mechthild Budde, Christoph Knabe, Werner Simonsmeier |
CIDRE - Eine interaktive Software-Entwurfs- und Entwicklungsumgebung mit Zielsprache COBOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 171-183, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | H. E. Sengler |
Programmieren mit graphischen Mitteln: Die Überwachung der Ausführung von GRADE-Programmen am graphischen Bildschirm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 193-206, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Helmar Burkhart, Yen Chao, Michael Moser |
Merging High-Level Language and Assembly Software: Principles and Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 101-111, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Werner Altmann, Brigitte Bartsch-Spörl |
Konzepte zur Strukturierung und Generierung adaptierbarer Anwendungssoftwaresysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings, pp. 223-237, 1984, Springer, 3-540-12905-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Hans Wössner (eds.) |
Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![Springer, 3-540-11204-9 The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Ulrich W. Kulisch, Christian P. Ullrich (eds.) |
Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![Teubner, 3-519-02429-2 The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Bernhard Böhringer, Hartmut Feuerhahn |
Static Semantic Checks of Global Variables in a Procedural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 165-176, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Eberhard Bertsch |
Modularer Mustervergleich im Rahmen prozeduraler Programmierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 209-220, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Karl-Heinz Sturm |
System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstrakter Maschinen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 191-207, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Rupert Gnatz |
Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 45-65, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Horst Hünke |
Findet Ada zurück nach Europa? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 33-44, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Robert Giegerich |
A Formal Model of Instruction Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 177-190, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Lutz Hirschmann |
Ein System zur rechnerunterstützten Spezifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 79-91, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß |
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 105-116, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Hans-Eckart Sengler |
Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 67-78, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Helmuth Partsch, Alfred Laut |
From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 117-132, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Thomas M. Schünemann, Walter Ullmer |
Generierung von Programmen für kommerzielle Anwendungen auf Kleinrechnern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 133-150, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | George Paul |
Directions and Trends in FORTRAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 32, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Wladyslaw M. Turski |
A View of Current Concerns in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 1-19, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Heiner Müller-Merbach |
Projektorganisation nach dem Komponentenkonzept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 93-103, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Josef Grosch |
A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 221-236, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Philip C. Treleaven |
Towards a Decentralised General-Purpose Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 21-31, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Reinhard Wilhelm |
LL- and LR-Attributed Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings, pp. 151-164, 1982, Springer, 3-540-11204-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
44 | Jürgen Wolff von Gudenberg |
PASCAL - Erweiterung für wissenschaftliches Rechnen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 71-94, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Gerd Bohlender, Kurt Grüner |
Gesichtspunkte zur Implementierung einer optimalen Arithmetik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 95-115, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Harald Böhm |
Auswertung arithmetischer Ausdrücke mit maximaler Genauigkeit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 175-183, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Reinhard Kirchner |
Überblick über die vorliegende Implementierung der Pascal-Spracherweiterung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 117-146, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Ulrich W. Kulisch |
Eine neue Arithmetik für wissenschaftliches Rechnen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 9-28, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Jürgen Wolff von Gudenberg |
Syntax und Semantik der vorliegenden Implementierung der PASCAL-Spracherweiterung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 207-231, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Christian P. Ullrich |
FORTRAN - Erweiterung für wissenschaftliches Rechnen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 51-70, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Siegfried M. Rump |
Rechnervorführung, Pakete für Standardprobleme der Numerik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 29-50, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Edgar Kaucher |
Lösung von Funktionalgleichungen mit garantierten und genauen Schranken. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 185-205, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Siegfried M. Rump |
Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissenschaftliches Rechnen und Programmiersprachen ![In: Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe, pp. 147-174, 1982, Teubner, 3-519-02429-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
44 | Klaus Alber (eds.) |
Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![Springer, 3-540-08680-3 The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Peter P. Canisius |
Zur Akzeptanz der Datenverarbeitung in Forschung und Verwaltung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 1-8, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Bernd F. Eichenauer |
Prozeßprogrammiersprachen und Portabilität. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 9-27, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Peter Raulefs |
The connection between axiomatic and denotational semantics of programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 169-177, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | G. Bengel |
Definition einer Programmanalysemaschine in VDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 86-96, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Volker Linnemann |
Syntaxgesteuerte Generierung von ALGOL-68-R-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 145-156, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Peter Schnupp |
Ist COBOL unsterblich? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 28-44, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | J. G. Hunt |
An introduction to LIMP: an experimental language for the implementation of messages and processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 110-120, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber |
Strategies for the synthesis of algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 97-109, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Raimund T. Kölsch, Werner Schmidt |
Beschleunigung von Laufzeitsystemen durch Mikro-Programmierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 136-144, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Uwe Kastens |
Ein Übersetzerbau-Praktikum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 121-135, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner |
Towards a wide spectrum language to support program specification and program development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 73-85, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Helmut Balzert |
Vergleichende Betrachtung modularer Sprachkonzepte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings, pp. 45-72, 1978, Springer, 3-540-08680-3. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Hans Jürgen Schneider, Manfred Nagl (eds.) |
Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![Springer, 3-540-07619-0 The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Alfred L. Luft |
Eine Methode zur rechnergestützten Verifikation von while-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 43-51, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Frank DeRemer, Hans H. Kron |
Programming-in-the-Large versus Programming-in-the-Small. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 80-89, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Peter Rütters |
Eine Dialogsprache für die Prozeßsteuerung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 52-62, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Karel Culík |
Mathematical Theory of Serial Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 203-234, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Rudolf Marty |
PROMID - eine problembezogene Programmiersprache für die Mittlere Datentechnik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 145-155, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | James C. King |
On Generating Verification Conditions for Correctness Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 253-267, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Friedemann H. Simon |
Cons-freies Programmierenin LISP unter deletion-Strategie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 111-123, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Hartmut Schmeck |
Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 33-42, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Hartwig U. Steusloff |
Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 63-79, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Armin B. Cremers, Thomas N. Hibbard |
The Semantical Definition of Programming Languages in Terms of Their Data Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 1-11, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Hans-Werner Brügmann, Alfons Rudert, Heinz Lehr |
EHBIS: High Level Picture Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 156-165, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Günter Hommel, Stefan Jähnichen, Wilfried Koch |
SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 101-110, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Eberhard Bertsch, Angelika Müller-von Brochowski |
COMSKEE - Eine Sprache für Linguisten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 166-174, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Johannes Röhrich |
Syntax-error Recovery in LR-Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fachtagung über Programmiersprachen ![In: Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings, pp. 175-184, 1976, Springer, 3-540-07619-0. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|