Programmiersprachen (1 261 Artikel)

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...

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

Invited Lectures.- Notions of Average-Case Complexity for Random 3-SAT.- Abstract Interpretation of Proofs: Classical Propositional Calculus.- Applications of Craig Interpolation to Model Checking....

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 versio...

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:...

Overview of the reference model.- Application of the reference model.- Users.- Contexts.- Customisation.- Help.- History.- Concurrency.- CRL Object management.- Naming.- Protection.- Shared storage.

This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking the ideal features of logic programming as refer...