close
1.

図書

図書
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002  xii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
2.

図書

図書
David Sands (ed.)
出版情報: Berlin : Springer, c2001  xiii, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2028
所蔵情報: loading…
目次情報: 続きを見る
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
The Recursive Record Semantics of Objects Revisited / Gérard Boudol
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
3.

図書

図書
Pierpaolo Degano (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 413 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2618
所蔵情報: loading…
4.

図書

図書
Mooly Sagiv (ed.)
出版情報: Berlin : Springer, c2005  xiii, 438 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3444
所蔵情報: loading…
5.

図書

図書
S. Doaitse Swierstra (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 305 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1576
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Functional Reactive Programming / Paul Hudak
Regular Contributions
A Decidable Logic for Describing Linked Data Structures / Michael Benedikt ; Thomas Reps ; Mooly Sagiv
Interprocedural Control Flow Analysis / Flemming Nielson ; Hanne Riis Nielson
A Per Model of Secure Information Flow in Sequential Programs / A. Sabelfeld ; D. Sands
QuotientingShare for Dependency Analysis / Andy King ; Jan-Georg Smaus ; Pat Hill
Types and Subtypes for Client-Server Interactions / Simon Gay ; Malcolm Hole
Types for Safe Locking / Cormac Flanagan ; Martín Abadi
Constructor Subtyping / Gilles Barthe ; Maria João Frade
Safe and Principled Language Interoperation / Valery Trifonov ; Zhong Shao
Deterministic Expressions in C / Michael Norrish
A Programming Logic for Sequential Java / Arnd Poetzsch-Heffter ; Peter Müller
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs / Andreas Podelski ; Witold Charatonik ; Martin Müller
An Idealized MetaML: Simpler, and More Expressive / Eugenio Moggi ; Walid Taha ; Zine El-Abidine Benaissa ; Tim Sheard
Type-Based Decompilation / Alan Mycroft
An Operational Investigation of the CPS Hierarchy / Olivier Danvy ; Zhe Yang
Higher-Order Code Splicing / Peter Thiemann
Expressing Structural Properties as Language Constructs / Shriram Krishnamurthi ; Yan-David Erlich ; Matthias Felleisen
Polytypic Compact Printingand Parsing / Patrik Jansson ; Johan Jeuring
Dynamic Programming via Static Incrementalization / Yanhong A. Liu ; Scott D. Stoller
Author Index
Invited Paper
Functional Reactive Programming / Paul Hudak
Regular Contributions
6.

図書

図書
Peter Sestoft (ed.)
出版情報: Berlin : Springer, c2006  xii, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3924
所蔵情報: loading…
7.

図書

図書
Gert Smolka (ed.)
出版情報: Berlin : Springer, c2000  xiii, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1782
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Functional Nets / Martin Odersky
Regular Papers
Faithful Translations between Polyvariant Flows and Polymorphic Types / Torben Amtoft ; Franklyn Turbak
On the Expressiveness of Event Notification in Data-Driven Coordination Languages / Nadia Busi ; Gianluigi Zavattaro
Flow-Directed Closure Conversion for Typed Languages / Henry Cejtin ; Suresh Jagannathan ; Stephen Weeks
Directional Type Checking for Logic Programs: Beyond Discriminative Types / Witold Charatonik
Formalizing Implementation Strategies for First-Class Continuations / Olivier Danvy
Correctness of Java Card Method Lookup via Logical Relations / Ewen Denney ; Thomas Jensen
Compile-Time Debugging of C Programs Working on Trees / Jacob Elgaard ; Anders Møller ; Michael I. Schwartzbach
A Calculus for Compiling and Linking Classes / Kathleen Fisher ; John Reppy ; Jon G. Riecke
Abstract Domains for Universal and Existential Properties / Andrew Heaton ; Patricia M. Hill ; Andy King
A Type System for Bounded Space and Functional In-Place Update-Extended Abstract / Martin Hofmann
Secure Information Flow as Typed Process Behaviour / Kohei Honda ; Vasco Vasconcelos ; Nobuko Yoshida
Implementing Groundness Analysis with Definite Boolean Functions / Jacob M. Howe
The Correctness of Type Specialisation / John Hughes
Type Classes with Functional Dependencies / Mark P. Jones
Sharing Continuations: Proofnets for Languages with Explicit Control / Julia L. Lawall ; Harry G. Mairson
A Calculus for Link-Time Compilation / Elena Machkasova ; Franklyn A. Turbak
Improving the Representation of Infinite Trees to Deal with Sets of Trees / Laurent Mauborgne
On the Translation of Procedures to Finite Machines / Markus Müller-Olm ; Andreas Wolf
A Kleene Analysis of Mobile Ambients / Flemming Nielson ; Hanne Riis Nielson ; Mooly Sagiv
A 3-Part Type Inference Engine / François Pottier
First-Class Structures for Standard ML / Claudio V. Russo
Constraint-Based Inter-Procedural Analysis of Parallel Programs / Helmut Seidl ; Bernhard Steffen
Alias Types / Frederick Smith ; David Walker ; Greg Morrisett
Polyvariant Flow Analysis with Constrained Types / Scott F. Smith ; Tiejun Wang
On Exceptions Versus Continuations in the Presence of State / Hayo Thielecke
Equational Reasoning for Linking with First-Class Primitive Modules / J. B. Wells ; Rene Vestergaard
Author Index
Invited Paper
Functional Nets / Martin Odersky
Regular Papers
8.

図書

図書
Hanne Riis Nielson, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  x, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1058
所蔵情報: loading…
9.

図書

図書
David Schmidt (ed.)
出版情報: Berlin ;Tokyo : Springer, 2004  xii, 415 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2986
所蔵情報: loading…
目次情報: 続きを見る
Resources, Concurrency, and Local Reasoning / Peter W. O'Hearn
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors / Antoine Miné
Strong Preservation as Completeness in Abstract Interpretation / Francesco Ranzato ; Francesco Tapparo
Static Analysis of Digital Filters / Jérôme Feret
Sound and Decidable Type Inference for Functional Dependencies / Gregory J. Duck ; Simon Peyton-Jones ; Peter J. Stuckey ; Martin Sulzmann
Call-by-Value Mixin Modules (Reduction Semantics, Side Effects, Types) / Tom Hirschowitz ; Xavier Leroy ; J.B. Wells
ML-Like Inference for Classifiers / Cristiano Calcagno ; Eugenio Moggi ; Walid Taha
From Constraints to Finite Automata to Filtering Algorithms / Mats Carlsson ; Nicolas Beldiceanu
A Memoizing Semantics for Functional Logic Languages / Salvador España ; Vicent Estruch
Adaptive Pattern Matching on Binary Data / Per Gustafsson ; Konstantinos Sagonas
Compositional Analysis of Authentication Protocols / Michele Bugliesi ; Riccardo Focardi ; Matteo Maffei
A Distributed Abstract Machine for Boxed Ambient Calculi / Andrew Phillips ; Nobuko Yoshida ; Susan Eisenbach
A Dependently Typed Ambient Calculus / Cédric Lhoussaine ; Vladimiro Sassone
A Control Flow Analysis for Safe and Boxed Ambients / Francesca Levi ; Chiara Bodei
Linear Types for Packet Processing / Robert Ennals ; Richard Sharp ; Alan Mycroft
Modal Proofs as Distributed Programs / Limin Jia ; David Walker
ULM: A Core Programming Model for Global Computing / Gérard Boudol
A Semantic Framework for Designer Transactions / Jan Vitek ; Suresh Jagannathan ; Adam Welc ; Antony L. Hosking
Semantical Analysis of Specification Logic, 3 (An Operational Approach) / Dan R. Ghica
Answer Type Polymorphism in Call-by-Name Continuation Passing / Hayo Thielecke
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types / Sébastien Carlier ; Jeff Polakow ; A.J. Kfoury
A Hardest Attacker for Leaking References / René Rydhof Hansen
Trust Management in Strand Spaces: A Rely-Guarantee Method / Joshua D. Guttman ; F. Javier Thayer ; Jay A. Carlson ; Jonathan C. Herzog ; John D. Ramsdell ; Brian T. Sniffen
Just Fast Keying in the Pi Calculus / Martín Abadi ; Bruno Blanchet ; Cédric Fournet
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation / Vitaly Shmatikov
Functors for Proofs and Programs / Jean-Christophe Filliâtre ; Pierre Letouzey
Extracting a Data Flow Analyser in Constructive Logic / David Cachera ; Thomas Jensen ; David Pichardie ; Vlad Rusu
Canonical Graph Shapes / Arend Rensink
Author Index
Resources, Concurrency, and Local Reasoning / Peter W. O'Hearn
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors / Antoine Miné
Strong Preservation as Completeness in Abstract Interpretation / Francesco Ranzato ; Francesco Tapparo
10.

図書

図書
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼