close
1.

図書
図書
1. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 379 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: loading…
目次情報: 続きを見る
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
Implementation of Programming Languages
Systems Exhibition
Author Index
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
2.

図書
図書
2. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
M. Dauchet, M. Nivat (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  viii, 303 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Rewriting
Algebraic Specifications
Parallelism and Concurrency
Invited Lectures
Author Index
Complexity
Rewriting
Algebraic Specifications
3.

図書
図書
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 Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
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
4.

図書
図書
4. 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
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
5.

図書
図書
5. 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
Chris Hankin (ed.)
出版情報: Berlin : Springer-Verlag, c1998  x, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1381
所蔵情報: loading…
6.

図書
図書
6. Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
Hanne Riis Nielson, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  x, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1058
所蔵情報: loading…
7.

図書
図書
7. ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us)
B. Krieg-Brückner (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  viii, 491 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 582
所蔵情報: loading…
8.

図書
図書
8. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us)
N. Jones (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  ix, 435 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 432
所蔵情報: loading…
9.

図書
図書
9. ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (: gw ; : us)
edited by B. Robinet and R. Wilhelm
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  374 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: loading…
10.

図書
図書
10. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw)
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼