close
1.

図書
図書
1. Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings
Paliath Narendran, Michael Rusinowitch (eds.)
出版情報: Berlin ; New York : Springer, c1999  xi, 396 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1631
所蔵情報: loading…
2.

図書
図書
2. 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
3.

雑誌
雑誌
3. Proceedings of the ACM SIGPLAN ... Erlang Workshop
ACM SIGPLAN Erlang Workshop ; ACM SIGPLAN International Conference on Functional Programming ; ACM Special Interest Group in Programming Languages ; Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press  v. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. ML'07 : proceedings of the 2007 Workshop on ML, Freiburg, Germany, October 5, 2007
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  vi, 95 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. ML'06 : proceedings of the ACM SIGPLAN 2006 Workshop on ML : September 16, 2006, Portland, Oregon, USA
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2006  95 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. ML'09 : proceedings of the 2009 ACM SIGPLAN Workshop on ML, August 30, 2009, Edinburgh, Scotland
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2009  vi, 70 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. ML'08 : proceedings of the 2008 ACM SIGPLAN Workshop on ML, Victoria, British Columbia, Canada, September 21, 2008
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2008  vii, 97 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼