close
1.

図書

図書
Naoki Kobayashi, Benjamin C. Pierce (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  xv, 559 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2215
所蔵情報: loading…
目次情報: 続きを見る
A Spatial Logic for Concurrency (Part I) / Luís Caires ; Luca CardelliInvited Talk 1:
Boxed Ambients / Michele Bugliesi ; Giuseppe Castagna ; Silvia CrafaSession 1:
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation / Daisuke Hoshina ; Eijiro Sumii ; Akinori Yonezawa
Formal Eavesdropping and Its Computational Interpretation / Martín Abadi ; Jan Jürjens
Resource-Passing Concurrent Programming / Kazunori UedaInvited Talk 2:
Solo Diagrams / Cosimo Laneve ; Joachim Parrow ; Björn VictorSession 2:
Observational Equivalence for Synchronized Graph Rewriting with Mobility / Barbara König ; Ugo Montanari
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness / Hiroshi NakanoSession 3:
Termination Proofs and Complexity Certification / Daniel Leivant
A Renee Equation for Algorithmic Complexity / Keye Martin
Nominal Logic: A First Order Theory of Names and Binding / Andrew M. PittsInvited Talk 3:
A Logic Programming Language Based on Binding Algebras / Makoto HamanaSession 4:
Proof-Search and Countermodel Generation in Propositional BI Logic / Didier Galmiche ; Daniel Mery
Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders / Mizuhito Ogawa
Modelisation of Timed Automata in Coq / Christine Paulin-MohringInvited Talk 4:
Model-Checking LTL with Regular Valuations for Pushdown Systems / Javier Esparza ; Antonín Kučera ; Stefan SchwoonSession 5:
What Will Be Eventually True of Polynomial Hybrid Automata? / Martin Fränzle
Non-structural Subtype Entailment in Automata Theory / JoachimNiehren ; TimPriesnitz
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems / Philippe SchnoebelenSession 6:
Weakest Congruence Results Concerning "Any-Lock" / Antti Puhakka
Design and Correctness of Program Transformations Based on Control-Flow Analysis / Anindya Banerjee ; Nevin Heintze ; Jon G. RieckeInvited Talk 5:
Infinite Intersection and Union Types for the Lazy Lambda Calculus / Marcello M. Bonsangue ; Joost N. KokSession 7:
Strong Normalization of Second Order Symmetric Lambda-mu Calculus / Yoriyuki Yamagata
The Girard-Reynolds Isomorphism / Philip Wadler
Lightweight Analysis of Object Interactions / Daniel Jackson ; Alan FeketeInvited Talk 6:
Typing Assembly Programs with Explicit Forwarding / Lennart BeringerSession 8:
The UDP Calculus: Rigorous Semantics for Real Networking / Andrei Serjantov ; Peter Sewell ; Keith Wansbrough
TACS Open Lecture
Unison: A File Synchronizer and Its Specification / Benjamin C. Pierce ; Jérôme Vouillon
Author Index
A Spatial Logic for Concurrency (Part I) / Luís Caires ; Luca CardelliInvited Talk 1:
Boxed Ambients / Michele Bugliesi ; Giuseppe Castagna ; Silvia CrafaSession 1:
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation / Daisuke Hoshina ; Eijiro Sumii ; Akinori Yonezawa
2.

図書

図書
Naoki Kobayashi (ed.)
出版情報: Berlin : Springer, c2006  xi, 422 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4279
所蔵情報: loading…
3.

電子ブック

EB
Matthias Blume, Takeo Kanade, Naoki Kobayashi, Germán Vidal, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
Solving Constraint Satisfaction Problems with SAT Technology / Naoyuki Tamura ; Tomoya Tanjo ; Mutsunori Banbara
Refereed Papers
Types
A Church-Style Intermediate Language for MLF / Didier Rémy ; Boris Yakobowski
IIσDependent Types without the Sugar / Thorsten Altenkirch ; Nils Anders Danielsson ; Andres Löh ; Nicolas Oury
Haskell Type Constraints Unleashed / Dominic Orchard ; Tom Schrijvers
Program Analysis and Transformation
A Functional Framework for Result Checking / Gilles Barthe ; Pablo Buiras ; César Kunz
Tag-Free Combinatory for Binding-Time Polymorphic Program Generation / Peter Thiemann ; Martin Sulzmann
Code Generation via Higher-Order Rewrite Systems / Florian Haftmann ; Tobias Nipkow
Foundations
A Complete Axiomatization of Strict Equality / Javier Álvez ; Francisco J. López-Fraguas
Standardization and Böhm Trees for Λμ-Calculus / Alexis Saurin
An Integrated Distance for Atoms / Vicent Estruch ; César Ferri ; José Hernández-Orallo ; M. José Ramírez-Quintana
Logic Programming
A Pearl on SAT Solving in Prolog / Jacob M. Howe ; Andy King
Automatically Generating Counterexamples to Naive Free Theorems / Daniel Seidel ; Janis Voigtländer
Applying Constraint Logic Programming to SQL Test Case Generation / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Evaluation and Normalization
Internal Normalization, Compilation and Decompilation for System Fβη / Stefano Berardi ; Makoto Tatsuta
Towards Normalization by Evaluation for the βη-Calculus of Constructions / Andreas Abel
Defunctionalized Interpreters for Call-by-Need Evaluation / Olivier Danvy ; Kevin Millikin ; Johan Munk ; Ian Zerny
Term Rewriting
Complexity Analysis by Graph Rewriting / Martin Avanzini ; Georg Moser
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus / Jeroen Ketema ; Jakob Grue Simonsen
Proving Injectivity of Functions via Program Inversion in Term Rewriting / Naoki Nishida ; Masahiko Sakai
Parallelism and Control
Delimited Control in OCaml, Abstractly and Concretely: System Description / Oleg Kiselyov
Automatic Parallelization of Recursive Functions Using Quantifier Elimination / Akimasa Morihata ; Kiminori Matsuzaki
A Skeleton for Distributed Work Pools in Eden / Mischa Dieterle ; Jost Berthold ; Rita Loogen
Author Index
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
4.

電子ブック

EB
Naoki Kobayashi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Matthias Blume, Takeo Kanade, Naoki Kobayashi, Germán Vidal, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
Solving Constraint Satisfaction Problems with SAT Technology / Naoyuki Tamura ; Tomoya Tanjo ; Mutsunori Banbara
Refereed Papers
Types
A Church-Style Intermediate Language for MLF / Didier Rémy ; Boris Yakobowski
IIσDependent Types without the Sugar / Thorsten Altenkirch ; Nils Anders Danielsson ; Andres Löh ; Nicolas Oury
Haskell Type Constraints Unleashed / Dominic Orchard ; Tom Schrijvers
Program Analysis and Transformation
A Functional Framework for Result Checking / Gilles Barthe ; Pablo Buiras ; César Kunz
Tag-Free Combinatory for Binding-Time Polymorphic Program Generation / Peter Thiemann ; Martin Sulzmann
Code Generation via Higher-Order Rewrite Systems / Florian Haftmann ; Tobias Nipkow
Foundations
A Complete Axiomatization of Strict Equality / Javier Álvez ; Francisco J. López-Fraguas
Standardization and Böhm Trees for Λμ-Calculus / Alexis Saurin
An Integrated Distance for Atoms / Vicent Estruch ; César Ferri ; José Hernández-Orallo ; M. José Ramírez-Quintana
Logic Programming
A Pearl on SAT Solving in Prolog / Jacob M. Howe ; Andy King
Automatically Generating Counterexamples to Naive Free Theorems / Daniel Seidel ; Janis Voigtländer
Applying Constraint Logic Programming to SQL Test Case Generation / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Evaluation and Normalization
Internal Normalization, Compilation and Decompilation for System Fβη / Stefano Berardi ; Makoto Tatsuta
Towards Normalization by Evaluation for the βη-Calculus of Constructions / Andreas Abel
Defunctionalized Interpreters for Call-by-Need Evaluation / Olivier Danvy ; Kevin Millikin ; Johan Munk ; Ian Zerny
Term Rewriting
Complexity Analysis by Graph Rewriting / Martin Avanzini ; Georg Moser
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus / Jeroen Ketema ; Jakob Grue Simonsen
Proving Injectivity of Functions via Program Inversion in Term Rewriting / Naoki Nishida ; Masahiko Sakai
Parallelism and Control
Delimited Control in OCaml, Abstractly and Concretely: System Description / Oleg Kiselyov
Automatic Parallelization of Recursive Functions Using Quantifier Elimination / Akimasa Morihata ; Kiminori Matsuzaki
A Skeleton for Distributed Work Pools in Eden / Mischa Dieterle ; Jost Berthold ; Rita Loogen
Author Index
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼