Programming Languages and Systems - neues Buch

EAN (ISBN-13): 9783540713166
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-17T03:34:49+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-08-26T11:02:14+02:00 (Berlin)
ISBN/EAN: 9783540713166

ISBN - alternative Schreibweisen:
978-3-540-71316-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: braga, programming systems and languages, esop

---

Daten vom Verlag:

Autor/in: Rocco De Nicola
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
Verlag: Springer; Springer Berlin
542 Seiten
Erscheinungsjahr: 2007-07-16
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XVIII, 542 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Web Services; computer languages; formal languages; language implementation; object; process algebra; program logics; programming; programming calculi; programming language; programming languages; programming theory; software security; statist; verification; data structures; C; Compilers and Interpreters; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Data Science; Computer Science; Computerprogrammierung und Softwareentwicklung; Software Engineering; Theoretische Informatik; Datenbanken; BC

Invited Talk.- Techniques for Contextual Equivalence in Higher-Order, Typed Languages.- Models and Languages for Web Services.- Structured Communication-Centred Programming for Web Services.- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.- A Calculus for Orchestration of Web Services.- A Concurrent Calculus with Atomic Transactions.- Verification.- Modal I/O Automata for Interface and Product Line Theories.- Using History Invariants to Verify Observers.- Term Rewriting.- On the Implementation of Construction Functions for Non-free Concrete Data Types.- Anti-pattern Matching.- Language Based Security.- A Certified Lightweight Non-interference Java Bytecode Verifier.- Controlling the What and Where of Declassification in Language-Based Security.- Cost Analysis of Java Bytecode.- Logics and Correctness Proofs.- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.- Abstract Predicates and Mutable ADTs in Hoare Type Theory.- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.- Static Analysis and Abstract Interpretation I.- Modular Shape Analysis for Dynamically Encapsulated Programs.- Static Analysis by Policy Iteration on Relational Domains.- Computing Procedure Summaries for Interprocedural Analysis.- Small Witnesses for Abstract Interpretation-Based Proofs.- Static Analysis and Abstract Interpretation II.- Interprocedurally Analysing Linear Inequality Relations.- Precise Fixpoint Computation Through Strategy Iteration.- Semantic Theories for Object Oriented Languages.- A Complete Guide to the Future.- The Java Memory Model: Operationally, Denotationally, Axiomatically.- Immutable Objects for a Java-Like Language.- Process Algebraic Techniques.- Scalar Outcomes Suffice for Finitary Probabilistic Testing.- Probabilistic Anonymity Via Coalgebraic Simulations.- A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi.- Applicative Programming.- A Rewriting Semantics for Type Inference.- Principal Type Schemes for Modular Programs.- A Consistent Semantics of Self-adjusting Computation.- Multi-language Synchronization.- Types for Systems Properties.- Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.- Type Reconstruction for General Refinement Types.- Dependent Types for Low-Level Programming.