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 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / edited by Sophia Drossopoulou.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Drossopoulou, Sophia
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
Edition:
1st ed. 2008.
Series:
Theoretical Computer Science and General Issues ;
4960
Springer eBook Collection.
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Mathematical logic.
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:
Semantics, Parametricity, and Types
A Sound Semantics for OCaml light
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
Regular Expression Subtyping for XML Query and Update Languages
Semantics
A Theory of Hygienic Macros
A Hybrid Denotational Semantics for Hybrid Systems
Full Abstraction for Linda
Practical Programming with Higher-Order Encodings and Dependent Types
Functional and Logic Programming
Programming in JoCaml (Tool Demonstration)
Playing with : Constraints and Domain Cooperation
Typing Safe Deallocation
Iterative Specialisation of Horn Clauses
ESOP Invited Talk
Constructive Mathematics and Functional Programming (Abstract)
Static Analysis
Ranking Abstractions
Non-disjunctive Numerical Domain for Array Predicate Abstraction
Upper Adjoints for Fast Inter-procedural Variable Equalities
Cover Algorithms and Their Combination
Security I
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
Linear Declassification
Just Forget It – The Semantics and Enforcement of Information Erasure
Concurrency
Open Bisimulation for the Concurrent Constraint Pi-Calculus
The Conversation Calculus: A Model of Service-Oriented Computation
Inferring Channel Buffer Bounds Via Linear Programming
ETAPS Invited Talk
Verification of Higher-Order Computation: A Game-Semantic Approach
Program Verification
Verification of Equivalent-Results Methods
Semi-persistent Data Structures
A Realizability Model for Impredicative Hoare Type Theory
Oracle Semantics for Concurrent Separation Logic
Security II
Certificate Translation in Abstract Interpretation
A Formal Implementation of Value Commitment.
Similar Items
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
Published: (2006)
Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Published: (2001)
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)
Programming Languages and Systems 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
Published: (2000)
Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
Published: (2002)