Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Programming Languages and Syst...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
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 / edited by Rocco De Nicola.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
De Nicola, Rocco
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
Edition:
1st ed. 2007.
Series:
Theoretical Computer Science and General Issues ;
4421
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Computer programming.
Software engineering.
Computer logic.
Data structures (Computer science).
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of Contents:
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.
Similar Items
Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Published: (2004)
Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Published: (2003)
Programming Languages and Systems 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings
Published: (1999)
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
Published: (2006)
Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Published: (1998)