Programmiersprachen (1.257 Artikel)

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionalit...

The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In...

The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In...

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

Jeder kennt das Drachenbuch: "Principles of Compiler Design" von Alfred V. Aho und Jeffrey D. Ullman, den Meilenstein in der Literatur zum Compilerbau. Der "neue Drache", geschrieben von der Arbeit...

0. Einleitung.- 1. Definition und Struktur formaler Sprachen.- 2. Satzanalyse.- 3. Syntax Graphen.- 4. Aufbau eines Parsers für eine gegebene Syntax.- 5. Tabellen-gesteuerte Syntax Analyse.- 6. Die...

Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementati...

History and literature review.- Basic elements of the lattice-theoretic approach.- Complementary definitions of a PASCAL subset.- Consistency of the PASCAL subset definitions.- Extensions to the PA...

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of softwar...

Component-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceand...

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '...

Computer Programming in C for Beginners

Computer Programming in C for Beginners

This volume constitutes the proceedings of the Third European Symposium on Research in Computer Security, held in Brighton, UK in November 1994. The 26 papers presented in the book in revised versi...

Zuse, IBM, Atari und der Browserkrieg. Wenn Sie bei diesen Worten in Nostalgie schwelgen oder von Entdeckerlust gepackt werden, wird diese Computergeschichte Sie auf eine spannende Reise mitnehmen:...