Bücher zur Softwareentwicklung - englischsprachig  (536 Angebote unter 30.781.142 Artikeln)

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 International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent developments in the area of compiler construction. Its scope ranges from compilatio...

The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum fo...

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

This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98, held as part of the European Joint Conference on the Theory and Practice of Soft...

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number o...

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

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of ex...

The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and langu...

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

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

This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAP...

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

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

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