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

>> Google Books

所蔵情報QRコード

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 / David Sands (ed.)

資料種別:

図書

出版情報:

Berlin : Springer, c2001

形態:

xiii, 431 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2028 <BA00009279>

著者名:

ISBN:

9783540418627 [3540418628]

書誌ID:

BA51590787

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Computer programming--Congresses; Programming languages (Electronic computers)

言語:

英語

目次情報:

A Query Language Based on the Ambient Logic / Luca Cardelli ; Giorgio Ghelli

Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis / John C. Mitchell

A Systematic Approach to Static Access Control / FranÃ§ois Pottier ; Christian Skalka ; Scott Smith

Secure Information Flow and CPS / Steve Zdancewic ; Andrew C. Myers

Enforcing Safety Properties Using Type Specialization / Peter Thiemann

Semantics and Program Analysis of Computationally Secure Information Flow / Peeter Laud

Encoding Intensional Type Analysis / Stephanie Weirich

Fusion on Languages / Roland Backhouse

Programming the Web with High-Level Programming Languages / Paul Graunke ; Shriram Krishnamurthi ; Steve Van Der Hoeven ; Matthias Felleisen

On the Completeness of Model Checking / Francesco Ranzato

Modal Transition Systems: A Foundation for Three-Valued Program Analysis / Michael Huth ; Radha Jagadeesan ; David Schmidt

Entailment with Conditional Equality Constraints / Zhendong Su ; Alexander Aiken

On the Complexity of Constant Propagation / Markus MÃ¼ller-Olm ; Oliver RÃ¼thing

What Are Polymorphically-Typed Ambients? / Torben Amtoft ; Assaf J. Kfoury ; Santiago M. Pericas-Geertsen

JOIN(X): Constraint-Based Type Inference for the Join-Calculus / Sylvain Conchon ; Francois Pottier

Modular Causality in a Synchronous Stream Language / Pascal Cuoq ; Marc Pouzet

Control-Flow Analysis in Cubic Time / Flemming Nielson ; Helmut Seidl

A Formalisation of JavaÃ†s Exception Mechanism / Bart Jacobs

A Formal Executable Semantics of the JavaCard Platform / Gilles Barthe ; Guillaume Dufay ; Line Jakubiec ; Bernard Serpette ; SimÃ£o Melo de Sousa

Modeling an Algebraic Stepper / John Clements ; Matthew Flatt

Typestate Checking of Machine Code / Zhichen Xu ; Thomas Reps ; Barton P. Miller

Proof-Directed De-compilation of Low-Level Code / Shin-ya Katsumata ; Atsushi Ohori

Backwards Abstract Interpretation of Probabilistic Programs / David Monniaux

Tool Demonstration: Finding Duplicated Code Using Program Dependences / Raghavan Komondoor ; Susan Horwitz

Compiling Problem Specifications into SAT / Marco Cadoli ; Andrea Schaerf

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling / Annalisa Bossi ; Sandro Etalle ; Sabina Rossi ; Jan-Georg Smaus

The Def-inite Approach to Dependency Analysis / Samir Genaim ; Michael Codish

Author Index

A Query Language Based on the Ambient Logic / Luca Cardelli ; Giorgio Ghelli

Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis / John C. Mitchell

A Systematic Approach to Static Access Control / FranÃ§ois Pottier ; Christian Skalka ; Scott Smith

Secure Information Flow and CPS / Steve Zdancewic ; Andrew C. Myers

Enforcing Safety Properties Using Type Specialization / Peter Thiemann

Semantics and Program Analysis of Computationally Secure Information Flow / Peeter Laud

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Sagiv, Mooly, European Conferences on Theory and Practice of Software Springer	7 図書 Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on … FOSSACS, Honsell, Furio, Miculan, Marino, European Conferences on Theory and Practice of Software Springer
2 図書 Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Sestoft, Peter, European Conferences on Theory and Practice of Software Springer	8 図書 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on … TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software Springer
3 図書 Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Smolka, Gert, European Conferences on Theory and Practice of Software Springer	9 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris Springer-Verlag
4 図書 Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, … International Workshop on Compiler Construction, Wilhelm, Reinhard, 1946-, European Conferences on Theory and Practice … Springer	10 電子ブック Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of … Vitek Springer eBooks Computer Science, Springer Berlin Heidelberg
5 図書 Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of … (pbk.) European Symposium on Programming, Schmidt, David, European Conferences on Theory and Practice of Software Springer	11 図書 Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Le Métayer, D. (Daniel), European Conferences on Theory and Practice of Software Springer
6 図書 Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice … FASE, Hussmann, Heinrich, European Conferences on Theory and Practice of Software Springer	12 図書 Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, European Conferences on Theory and Practice of Software, Degano, Pierpaolo, 1950- Springer