Programmiersprachen (641 Artikel)

Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in Service Oriented Computing.- Synthesizing Concurrency Control Components from Process Algebraic Spec...

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is...

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, Se...

This book constitutes the refereed proceedings of the 5th IMA Conference on Cryptography and Coding, held in Cirencester, UK in December 1995.The volume presents 22 full revised papers selected fro...

This book constitutes the refereed proceedings of the International Conference 'Cryptography: Policy and Algorithms', held in Brisbane, Queensland, Australia in July 1995.Over the past few years, i...

Abstract.- Acknowledgments.- Preface.- Definition of the Diana domain.- Rationale.- Definition of the Diana operations.- External representation of DIANA.- Implementation options.

This practically-focused textbook presents a concise tutorial on data structures and algorithms using the object-functional language Scala. The material builds upon the foundation established in th...

This book is intended as a text for a course in programming languages. The pre requisites for such a course are insight in structured programming and knowledge as well as practical experience of at...

Semantics, Types and Effects for XML Updates.- An Automata-Theoretic Approach to Regular XPath.- The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed....

Patterns and Types for Querying XML Documents.- Dual Syntax for XML Languages.- Exploiting Schemas in Data Synchronization.- Efficiently Enumerating Results of Keyword Search.- Mapping Maintenance ...

The Extensible Markup Language (XML) is playing an increasingly important role in the exchange of a wide variety of data on the Web and elsewhere. The database c- munity is interested in XML becaus...

Mit dem Erscheinen von PC-Versionen (seit 1988) hat die leistungsfähige Programmiersprache APL2 deutlich an Attraktivität und Verbreitung gewonnen. Als Entwicklungssystem für komplexe Anwendungen, ...

MAS as Complex Systems: A View on the Role of Declarative Approaches.- A Logic-Based Infrastructure for Reconfiguring Applications.- Operational Semantics for Agents by Iterated Refinement.- Go! fo...

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the ...

This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for mode...