Search results for "Programmiersprachen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Uwe Kastens	Eigenschaften von Programmiersprachen - definiert durch attributierte Grammatiken.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Fritz Müller 0001	Ein konstruktives Typsystem für funktionale Programmiersprachen.	Fachtagung über Programmiersprachen	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	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Manfred Dausmann, Guido Persch, Georg Winterstein	LIS as Object Code for an ADA-O-Compiler.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Ralph-Johan Back	Exception Handling with Multi-Exit Statements.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm	OPTRAN, a Language for the Specification of Program Transformations.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Horst Oberquelle	Benutzergerechtes Editieren - eie neue Sichtweise von Problemlösen mit DV-Systemen.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Manfred Nagl	An Incremental Compiler as Component of a System for Software Generation.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Friedrich Hertweck, Inge Precht	Some Considerations for an Extension of PL360.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Gerhard Knorz	Das Konzept des Programmiersprachenkerns von TA3 - Darstellung eines deskriptiv orientierten Ansatzes.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Klaus-Peter Löhr	A Basis for Secure Systems Implementation Languages.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Hans H. Kron, Rainer Lutze	Ein Praktikum im Übersetzerentwurf: Struktur und Erfahrungen.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Urs Ammann	Vergleich einiger Konzepte moderner Echtzeitsprachen.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Thomas Gilb	The "Design by Objectives" Method for Controlling Maintainability: A Quantitative Approach for Software.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Jakob Schauer	Sequentialisierung von Parallelen Prozessen.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Hans Ludwig Fischer, Peter Raulefs	Design Rationale for the Interactive Programming Language CSSA for Asynchronous Multiprocessor Systems	Fachtagung über Programmiersprachen	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.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Burkhard Austermühl, Wolfgang Henhapl	A Critical Review of PASCAL on a Formal Storage Model.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Donald F. Nelson	Recent History and the Future of COBOL.	Fachtagung über Programmiersprachen	1980	DBLP DOI BibTeX RDF
65	Gerhard Niemann	Erfahrungen mit höheren Programmiersprachen zur Lösung unterschiedlicher Aufgaben im technischen Bereich der Thyssen Aktiengesellschaft.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
65	Wolfgang Polak	Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
65	Harald Ganzinger	Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentation von Gruppen.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
65	Helmut Jürgensen	Zur Übersetzbarkeit von Programmiersprachen.	Fachtagung über Programmiersprachen	1974	DBLP DOI BibTeX RDF
65	Günter R. Koch, V. Kussl	Prozessorientierte Programmiersprachen, Formen und Funktionen.	Fachtagung über Programmiersprachen	1974	DBLP DOI BibTeX RDF
47	Johannes Brauer, Christoph Crasemann, Hartmut Krasemann	Auf dem Weg zu idealen Programmierwerkzeugen - Bestandsaufnahme und Ausblick.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
47	Theo Härder, Udo Nink, Norbert Ritter	Generierte DB-Aufrufschnittstellen - Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilität.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Bindungszeitpunkte, Anwendungsprogrammierschnittstelle, Generische Methoden, Objektorientierung, Datenbanksysteme
45	Günter Hotz	Axiomatisierung bei Programmiersprachen und ihre Grenzen.	Programming Methodology	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	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Ulrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm	How to Implement a System for Manipulation of Attributed Trees.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Peter Grogono, Vangalur S. Alagar	An Environment for High-level Program Development.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	H. Dieter Rombach, K. Wegener	Erfahrungen mit einem MIL-Entwurfswerkzeug.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Thomas Letschert	Type Inference in the Presence of Overloading, Polymorphism and Coercions.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Bernhard Hohlfeld	Programmverifikation in lauffähigen Pascal-Programmen.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Wolfgang Henhapl, Gregor Snelting	Context Relations - a Concept for Incremental Context Analysis in Program Fragments.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Helmuth Partsch	Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Richard Ammer, Peter Meinen, Gerhard Rehmann	Portable adaptierbare Compiler.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Barbara Mergler	Objektorientierte Systementwicklung: Einfluss auf die Projektorganisation.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Joachim W. Schmidt	Database Programming: Language Constructs and Execution Models.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Roger Schoenberger	Ein Testsystem für Echtzeitprogramme.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Mechthild Budde, Christoph Knabe, Werner Simonsmeier	CIDRE - Eine interaktive Software-Entwurfs- und Entwicklungsumgebung mit Zielsprache COBOL.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	H. E. Sengler	Programmieren mit graphischen Mitteln: Die Überwachung der Ausführung von GRADE-Programmen am graphischen Bildschirm.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Helmar Burkhart, Yen Chao, Michael Moser	Merging High-Level Language and Assembly Software: Principles and Case Study.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
44	Werner Altmann, Brigitte Bartsch-Spörl	Konzepte zur Strukturierung und Generierung adaptierbarer Anwendungssoftwaresysteme.	Fachtagung über Programmiersprachen	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	Fachtagung über Programmiersprachen	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	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Bernhard Böhringer, Hartmut Feuerhahn	Static Semantic Checks of Global Variables in a Procedural Language.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Eberhard Bertsch	Modularer Mustervergleich im Rahmen prozeduraler Programmierung.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Karl-Heinz Sturm	System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstrakter Maschinen.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Rupert Gnatz	Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Horst Hünke	Findet Ada zurück nach Europa?	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Robert Giegerich	A Formal Model of Instruction Set Semantics.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Lutz Hirschmann	Ein System zur rechnerunterstützten Spezifikation.	Fachtagung über Programmiersprachen	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.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Hans-Eckart Sengler	Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation.	Fachtagung über Programmiersprachen	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.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Thomas M. Schünemann, Walter Ullmer	Generierung von Programmen für kommerzielle Anwendungen auf Kleinrechnern.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	George Paul	Directions and Trends in FORTRAN.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Wladyslaw M. Turski	A View of Current Concerns in Software Engineering.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Heiner Müller-Merbach	Projektorganisation nach dem Komponentenkonzept.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Josef Grosch	A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Philip C. Treleaven	Towards a Decentralised General-Purpose Computer.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Reinhard Wilhelm	LL- and LR-Attributed Grammars.	Fachtagung über Programmiersprachen	1982	DBLP DOI BibTeX RDF
44	Jürgen Wolff von Gudenberg	PASCAL - Erweiterung für wissenschaftliches Rechnen.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Gerd Bohlender, Kurt Grüner	Gesichtspunkte zur Implementierung einer optimalen Arithmetik.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Harald Böhm	Auswertung arithmetischer Ausdrücke mit maximaler Genauigkeit.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Reinhard Kirchner	Überblick über die vorliegende Implementierung der Pascal-Spracherweiterung.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Ulrich W. Kulisch	Eine neue Arithmetik für wissenschaftliches Rechnen.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Jürgen Wolff von Gudenberg	Syntax und Semantik der vorliegenden Implementierung der PASCAL-Spracherweiterung.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Christian P. Ullrich	FORTRAN - Erweiterung für wissenschaftliches Rechnen.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Siegfried M. Rump	Rechnervorführung, Pakete für Standardprobleme der Numerik.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Edgar Kaucher	Lösung von Funktionalgleichungen mit garantierten und genauen Schranken.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Siegfried M. Rump	Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit.	Wissenschaftliches Rechnen und Programmiersprachen	1982	DBLP BibTeX RDF
44	Klaus Alber (eds.)	Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Peter P. Canisius	Zur Akzeptanz der Datenverarbeitung in Forschung und Verwaltung.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Bernd F. Eichenauer	Prozeßprogrammiersprachen und Portabilität.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Peter Raulefs	The connection between axiomatic and denotational semantics of programming languages.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	G. Bengel	Definition einer Programmanalysemaschine in VDL.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Volker Linnemann	Syntaxgesteuerte Generierung von ALGOL-68-R-Programmen.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Peter Schnupp	Ist COBOL unsterblich?	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	J. G. Hunt	An introduction to LIMP: an experimental language for the implementation of messages and processes.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber	Strategies for the synthesis of algorithms.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Raimund T. Kölsch, Werner Schmidt	Beschleunigung von Laufzeitsystemen durch Mikro-Programmierung.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Uwe Kastens	Ein Übersetzerbau-Praktikum.	Fachtagung über Programmiersprachen	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.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
44	Helmut Balzert	Vergleichende Betrachtung modularer Sprachkonzepte.	Fachtagung über Programmiersprachen	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	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Alfred L. Luft	Eine Methode zur rechnergestützten Verifikation von while-Programmen.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Frank DeRemer, Hans H. Kron	Programming-in-the-Large versus Programming-in-the-Small.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Peter Rütters	Eine Dialogsprache für die Prozeßsteuerung.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Karel Culík	Mathematical Theory of Serial Computers.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Rudolf Marty	PROMID - eine problembezogene Programmiersprache für die Mittlere Datentechnik.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	James C. King	On Generating Verification Conditions for Correctness Proofs.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Friedemann H. Simon	Cons-freies Programmierenin LISP unter deletion-Strategie.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Hartmut Schmeck	Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Hartwig U. Steusloff	Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Armin B. Cremers, Thomas N. Hibbard	The Semantical Definition of Programming Languages in Terms of Their Data Spaces.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Hans-Werner Brügmann, Alfons Rudert, Heinz Lehr	EHBIS: High Level Picture Programming.	Fachtagung über Programmiersprachen	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.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Eberhard Bertsch, Angelika Müller-von Brochowski	COMSKEE - Eine Sprache für Linguisten.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF
44	Johannes Röhrich	Syntax-error Recovery in LR-Parsers.	Fachtagung über Programmiersprachen	1976	DBLP DOI BibTeX RDF