close
1.

図書
図書
1. ASPLOS XII : Twelfth International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, California, USA ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2006  xi, 428 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. ASPLOS XI : Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems, October 9-13, 2004, Boston, Massachusetts ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2004  x, 286 p. ; 28 cm
所蔵情報: loading…
目次情報:
Includes bibliographical references and author index
Includes bibliographical references and author index
3.

図書
図書
3. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
Jens Palsberg (ed.)
出版情報: Berlin : Springer, c2000  viii, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1824
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Enforcing Design Constraints with Object Logic / Daniel Jackson
Model Checking as Constraint Solving / Andreas Podelski
Contributed Papers
Abstract Interpretation Based Semantics of Sequent Calculi / Gianluca Amato ; Giorgio Levi
A Transformational Approach for Generating Non-linear Invariants / Saddek Bensalem ; Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu ; Yassine Lakhnech
Deriving Parallel Codes via Invariants / Wei-Ngan Chin ; Siau-Cheng Khoo ; Zhenjiang Hu ; Masato Takeichi
Safety of Strictness Analysis via Term Graph Rewriting / David Clark ; Chris Hankin ; Sebastian Hunt
Checking Cleanness in Linked Lists / Nurit Dor ; Michael Rodeh ; Mooly Sagiv
Confidentiality Analysis of Mobile Systems / Jérôme Feret
Unified Analysis of Array and Object References in Strongly Typed Languages / Stephen Fink ; Kathleen Knobe ; Vivek Sarkar
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C / Jeffrey S. Foster ; Manuel Fahndrich ; Alexander Aiken
Efficient Inference of Static Types for Java Bytecode / Etienne M. Gagnon ; Laurie J. Hendren ; Guillaume Marceau
Abstract Interpretation of Game Properties / Thomas A. Henzinger ; Rupak Majumdar ; Freddy Mang ; Jean-François Raskin
FULLDOC: A Full Reporting Debugger for Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Partial Redundancy Elimination on Predicated Code / Jens Knoop ; Jean-François Collard ; Roy Dz-ching Ju
TVLA: A System for Implementing Static Analyses / Tal Lev-Ami
Tree Schemata and Fair Termination / Laurent Mauborgne
Abstract Interpretation of Probabilistic Semantics / David Monniaux
Code Specialization Based on Value Profiles / Robert Muth ; Scott Watterson ; Saumya Debray
Flattening Is an Improvement / James Riely ; Jan Prins
Model Checking Guided Abstraction and Analysis / Hassen Sa?idi
Abstract Domains for Sharing Analysis by Optimal Semantics / Francesca Scozzari
Concurrency Analysis for Java / Cristian Ungureanu ; Suresh Jagannathan
Author Index
Invited Papers
Enforcing Design Constraints with Object Logic / Daniel Jackson
Model Checking as Constraint Solving / Andreas Podelski
4.

図書
図書
4. Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.)
出版情報: Berlin : Springer, c2000  xvi, 941 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1853
所蔵情報: loading…
5.

図書
図書
5. Languages and compilers for parallel computing : 12th International Workshop, LCPC'99, La Jolla, CA, USA, August 4-6, 1999 : proceedings
Larry Carter, Jeanne Ferrante (eds.)
出版情報: Berlin : Springer, c2000  xii, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1863
所蔵情報: loading…
6.

図書
図書
6. Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings
Jürg Gutknecht, Wolfgang Weck (eds.)
出版情報: Berlin : Springer-Verlag, c2000  xii, 298 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1897
所蔵情報: loading…
7.

図書
図書
7. LCTES '02 - SCOPES '02 : joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems, Crowne Plaza Berlin City Centre, Berlin, Germany, 19-21 June 2002
sponsored by ACM SIGPLAN ; in cooperation with EDAA ; co-located with PLDI 2002 ; Peter Marwedel & Srinivas Devadas, editors
出版情報: New York : Association for Computing Machinery, c2002  ix, 234 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Automata, languages and programming : 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings
Jos C.M. Baeten ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xviii, 1199 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2719
所蔵情報: loading…
9.

図書
図書
9. Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings
László Böszörményi, Peter Schojer (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 269 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2789
所蔵情報: loading…
10.

図書
図書
10. ASPLOS-IX proceedings : ninth International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, November 12-15, 2000
International Conference on Architectural Support for Programming Languages and Operating Systems ; Association for Computing Machinery ; SIGARCH ; ACM Special Interest Group in Operating Systems ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  ix, 271 p. ; 28 cm
所蔵情報: loading…
11.

図書
図書
11. ASPLOS-X proceedings : Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, SanJose, California, October 5-9, 2002
International Conference on Architectural Support for Programming Languages and Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  xiv, 320 p. ; 28 cm
所蔵情報: loading…
12.

図書
図書
12. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 : proceedings
Jack Davidson, Sang Lyul Min (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  viii, 220 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1985
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods and Databases
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network / Lucia Lo Bello ; Orazio Mirabella
Complex Reactive Control with Simple Synchronous Models / Reinhard Budde ; Axel Poigne
Optimistic Secure Real-Time Concurrency Control
Using Multiple Data Version / Byeong-Soo Jeong ; Daeho Kim ; Sungyoung Lee
Compiler
Array Reference Allocation Using SSA-Form and Live Range Growth / Marcelo Cintra ; Guido Araujo
PROPAN: A Retargetable System for Postpass Optimisations and Analyses / Daniel Kastner
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors / Deepankar Bairagi ; Santosh Pande ; Dharma P. Agrawal
Tools
A Stochastic Framework for Co-synthesis of Real-Time Systems / S. Chakraverty ; C.P. Ravikumar
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems / Gwangil Jeon ; Tae-Hyung Kim ; Seongsoo Hong ; Sunil Kim
A Real-Time Animator for Hybrid Systems / Tobias Amnell ; Alexandre David ; Wang Yi
Hardware
Reordering Memory Bus Transactions for Reduced Power Consumption / Bruce R. Childers ; Tarun Nakra
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure / Gi-Ho Park ; Kil-Whan Lee ; Jae-Hyuk Lee ; Tack-Don Han ; Shin-Dug Kim
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems / Matteo Corti ; Roberto Brega ; Thomas Gross
Work in Progress
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software / Kwangyong Lee ; Chaedeok Lim ; Kisok Kong ; Heung-Nam Kim
Optimizing Code Size through Procedural Abstraction / Johan Runeson ; Sven-Olof Nystrom ; Jan Sjodin
Automatic Validation of Code-Improving Transformations / Robert van Engelen ; David Whalley ; Xin Yuan
Towards Energy-Aware Iteration Space Tiling / M. Kandemir ; N. Vijaykrishnan ; M.J. Irwin ; H.S. Kim
An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments / Hyon Woo Seung ; Tae Woong Jeon
Author Index
Formal Methods and Databases
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network / Lucia Lo Bello ; Orazio Mirabella
Complex Reactive Control with Simple Synchronous Models / Reinhard Budde ; Axel Poigne
13.

図書
図書
13. Automata, languages and programming : 29th International Colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings
Peter Widmayer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xxi, 1069 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2380
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Molecular Assembly and Computation: From Theory to Experimental Demonstrations / John H. Reif
Towards a Predictive Computational Complexity Theory / Madhav V. Marathe
Equivariant Syntax and Semantics / Andrew M. Pitts
L(A) = L(B)? Decidability Results from Complete Formal Systems / Géraud Sénizergues (Gödel Prize 2002)
Discrete Tomography: Reconstruction under Periodicity Constraints / Alberto Del Lungo ; Andrea Frosini ; Maurice Nivat ; Laurent Vuillon
Local and Global Methods in Data Mining: Basic Techniques and Open Problems / Heikki Mannila
Program Debugging and Validation Using Semantic Approximations and Partial Specifications / M. Hermenegildo ; G. Puebla ; F. Bueno ; P. López García
Best Papers
Inapproximability Results for Equations over Finite Groups / Lars Engebretsen ; Jonas Holmerin ; Alexander Russell
A Faster All-Pairs Shortest Path Algorithm for Real-Weighted Sparse Graphs / Seth Pettie
On Families of Graphs Having a Decidable First Order Theory with Reachability / Thomas Colcombet
Contributions
Heuristically Optimized Trade-Offs: A New Paradigm for Power Laws in the Internet / Alex Fabrikant ; Elias Koutsoupias ; Christos H. Papadimitriou
The Structure and Complexity of Nash Equilibria for a Selfish Routing Game / Dimitris Fotakis ; Spyros Kontogiannis ; Marios Mavronicolas ; Paul Spirakis
Control Message Aggregation in Group Communication Protocols / Sanjeev Khanna ; Joseph (Seffi) Naor ; Dan Raz
Church-Rosser Languages vs. UCFL / Tomasz Jurdziński ; Krzysztof Loryś
Intersection of Regular Languages and Star Hierarchy / Sebastian Bala
On the Construction of Reversible Automata for Reversible Languages / Sylvain Lombardy
Priority Queues, Pairing, and Adaptive Sorting / Amr Elmasry
Exponential Structures for Efficient Cache-Oblivious Algorithms / Michael A. Bender ; Richard Cole ; Rajeev Raman
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations / Russell Impagliazzo ; Nathan Segerlind
On the Complexity of Resolution with Bounded Conjunctions / Juan Luis Esteban ; Nicola Galesi ; Jochen Messner
Cryptographic Hardness Based on the Decoding of Reed-Solomon Codes / Aggelos Kiayias ; Moti Yung
Perfect Constant-Round Secure Computation via Perfect Randomizing Polynomials / Yuval Ishai ; Eyal Kushilevitz
Exponential Lower Bound for Static Semi-algebraic Proofs / Dima Grigoriev ; Edward A. Hirsch ; Dmitrii V. Pasechnik
Paths Problems in Symmetric Logarithmic Space / Andreas Jakoby ; Maciej Liśkiewicz
Scheduling Search Procedures / Peter Damaschke
Removable Online Knapsack Problems / Kazuo Iwama ; Shiro Taketomi
New Bounds for Variable-Sized and Resource Augmented Online Bin Packing / Leah Epstein ; Steve Seiden ; Rob van Stee
The Quest for Small Universal Cellular Automata / Nicolas Ollinger
Hyperbolic Recognition by Graph Automata / Christophe Papazian ; Eric Rémila
Quantum and Stochastic Branching Programs of Bounded Width / Farid Ablayev ; Cristopher Moore ; Christopher Pollett
Spanning Trees with Bounded Number of Branch Vertices / Luisa Gargano ; Pavol Hell ; Ladislav Stacho ; Ugo Vaccaro
Energy Optimal Routing in Radio Networks Using Geometric Data Structures / René Beier ; Peter Sanders ; Naveen Sivadasan
Gossiping with Bounded Size Messages in ad hoc Radio Networks / Malin Christersson ; Leszek G&acedil;sieniec ; Andrzej Lingas
The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences / Wolfgang Merkle
The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications / Robert A. Hearn ; Erik D. Demaine
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space / Víctor Dalmau
Cache Oblivious Distribution Sweeping / Gerth Stølting Brodal ; Rolf Fagerberg
One-Probe Search / Anna Östlin ; Rasmus Pagh
New Algorithms for Subset Query, Partial Match, Orthogonal Range Searching, and Related Problems / Moses Charikar ; Piotr Indyk ; Rina Panigrahy
Measuring the Probabilistic Powerdomain / Keye Martin ; Michael Mislove ; James Worrell
Games Characterizing Levy-Longo Trees / C.-H.L. Ong ; P. Di Gianantonio
Comparing Functional Paradigms for Exact Real-Number Computation / Andrej Bauer ; Martín Hötzel Escardó ; Alex Simpson
Random Sampling from Boltzmann Principles / Philippe Duchon ; Philippe Flajolet ; Guy Louchard ; Gilles Schaeffer
On the Average Performance of Orthogonal Range Search in Multidimensional Data Structures / Amalia Duch ; Conrado Martínez
Bialgebraic Modelling of Timed Processes / Marco Kick
Testing Labelled Markov Processes / Franck van Breugel ; Steven Shalit
Why Computational Complexity Requires Stricter Martingales / John M. Hitchcock ; Jack H. Lutz
Correspondence Principles for Effective Dimensions
A Total Approach to Partial Algebraic Specification / José Meseguer ; Grigore Roşu
Axiomatising Divergence / Markus Lohrey ; Pedro R. D'Argenio ; Holger Hermanns
A Spatial Logic for Querying Graphs / Luca Cardelli ; Philippa Gardner ; Giorgio Ghelli
Improving Time Bounds on Maximum Generalised Flow Computations by Contracting the Network / Tomasz Radzik
Approximation Hardness of Bounded Degree MIN-CSP and MIN-BISECTION / Piotr Berman ; Marek Karpinski
Improved Bounds and New Trade-Offs for Dynamic All Pairs Shortest Paths / Camil Demetrescu ; Giuseppe F. Italiano
Synthesis of Uninitialized Systems / Thomas A. Henzinger ; Sriram C. Krishnan ; Orna Kupferman ; Freddy Y.C. Mang
Infinite-State High-Level MSCs: Model-Checking and Realizability / Blaise Genest ; Anca Muscholl ; Helmut Seidl ; Marc Zeitoun
Universal Inherence of Cycle-Free Context-Free Ambiguity Functions / Klaus Wich
Histogramming Data Streams with Fast Per-Item Processing / Sudipto Guha ; S. Muthukrishnan ; Martin J. Strauss
Finding Frequent Items in Data Streams / Kevin Chen ; Martin Farach-Colton
Symbolic Strategy Synthesis for Games on Pushdown Graphs / Thierry Cachat
Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard / Jiří Srba
Solving the String Statistics Problem in Time <$>{\cal O}<$>(n log n) / Rune B. Lyngsø ; Christian N.S. Pedersen
A PTAS for Distinguishing (Sub)string Selection / Xiaotie Deng ; Guojun Li ; Zimao Li ; Bin Ma ; Lusheng Wang
On the Theory of One-Step Rewriting in Trace Monoids / Dietrich Kuske
Navigating with a Browser / Michail Bielecki ; Jan Hidders ; Jan Paredaens ; Jerzy Tyszkiewicz ; Jan Van den Bussche
Improved Results for Stackelberg Scheduling Strategies / V.S. Anil Kumar
Call Control in Rings / Udo Adamy ; Christoph Ambuehl ; R. Sai Anand ; Thomas Erlebach
Preemptive Scheduling in Overloaded Systems / Marek Chrobak ; John Noga ; Jiří Sgall ; Tomáš Tichý ; Nodari Vakhania
The Equivalence Problem of Finite Substitutions on ab*c, with Applications / J. Karhumäki ; L.P. Lisovik
Deciding DPDA Equivalence Is Primitive Recursive / Colin Stirling
Two-Way Alternating Automata and Finite Models / Mikolaj Bojańczyk
Approximating Huffman Codes in Parallel / Yakov Nekrich
Seamless Integration of Parallelism and Memory Hierarchy / Carlo Fantozzi ; Andrea Pietracaprina ; Geppino Pucci
The Communication Complexity of Approximate Set Packing and Covering / Noam Nisan
Antirandomizing the Wrong Game / Benjamin Doerr
Fast Universalization of Investment Strategies with Provably Good Relative Returns / Karhan Akcoglu ; Petros Drineas ; Ming-Yang Kao
Randomized Pursuit-Evasion in Graphs / Micah Adler ; Harald Räcke ; Christian Sohler ; Berthold Vöcking
The Essence of Principal Typings / J. B. Wells
Complete and Tractable Local Linear Time Temporal Logics over Traces / Bharat Adsul ; Milind Sohoni
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces / Paul Gastin ; Madhavan Mukund
Random Numbers and an Incomplete Immune Recursive Set / Vasco Brattka
A Banach-Mazur Computable But Not Markov Computable Function on the Computable Real Numbers / Peter Hertling
Polynomial-Time Approximation Schemes for the Euclidean Survivable Network Design Problem / Artur Czumaj ; Hairong Zhao
Finding a Path of Superlogarithmic Length / Andreas Björklund ; Thore Husfeldt
Linear Time Algorithms on Chordal Bipartite and Strongly Chordal Graphs / Ryuhei Uehara
Improved Inapproximability Results for Vertex Cover on k-Uniform Hypergraphs
Efficient Testing of Hypergraphs / Yoshiharu Kohayakawa ; Brendan Nagle ; Vojtěch Rödl
Optimal Net Surface Problems with Applications / Xiaodong Wu ; Danny Z. Chen
Wagner's Theorem on Realizers / Nicolas Bonichon ; Bertrand Le Saëc ; Mohamed Mosbah
Circular Arrangements / Vincenzo Liberatore
Author Index
Invited Talks
Molecular Assembly and Computation: From Theory to Experimental Demonstrations / John H. Reif
Towards a Predictive Computational Complexity Theory / Madhav V. Marathe
14.

図書
図書
14. Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)
出版情報: Berlin : Springer, c2001  xiv, 1083 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2076
所蔵情報: loading…
15.

図書
図書
15. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
Patrick Cousot (ed.)
出版情報: Berlin : Springer, c2001  xi, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2126
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau
Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz
Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft
Strictness and Termination
Effective Strictness Analysis with HORN Constraints / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs / Fred Mesnard ; Ulrich Neumerkel
An Abstract Analysis of the Probabilistic Termination of Programs / David Monniaux
Semantics Abstraction
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses / Fausto Spoto
Logic and Constraint Programming
Parameterizing a Groundness Analysis of Logic Programs / Lunjin Lu
Finite-Tree Analysis for Constraint Logic-Based Languages / Roberto Bagnara ; Roberta Gori ; Patricia M. Hill ; Enea Zaffanella
Applications of Extended Static Checking / K. Rustan M. Leino
Data Structures
Cleanness Checking of String Manipulations in C Programs via Integer Analysis / Nurit Dor ; Michael Rodeh ; Mooly Sagiv
Solving Regular Tree Grammar Based Constraints / Yanhong A. Liu ; Ning Li ; Scott D. Stoller
Static Analyses of the Precision of Floating-Point Operations / Eric Goubault
Pointer Analysis
Estimating the Impact of Scalable Pointer Analysis on Optimization / Manuvir Das ; Ben Liblit ; Manuel Fahndrich ; Jakob Rehof
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses / Donglin Liang ; Mary Jean Harrold
Model Checking
Parametric Optimization of Open Real-Time Systems / Farn Wang ; Hsu-Chun Yen
Embedding Chaos / Natalia Sidorova ; Martin Steffen
Abstract Model Checking
Analyzing Fair Parametric Extended Automata / Ahmed Bouajjani ; Aurore Collomb-Annichini ; Yassine Lakhnech ; Mihaela Sighireanu
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking / Roberto Giacobazzi ; Elisa Quintarelli
Invited Talk
Language-Based Security: WhatÆs Needed and Why (Abstract) / Fred Schneider
Mobility
A Behavioral Module System for the Pi-Calculus / Sriram K. Rajamani
An Abstract Interpretation Framework for Analysing Mobile Ambients / Francesca Levi ; Sergio Maffeis
Abstract Interpretation-Based Static Analysis of Mobile Ambients / Jerome Feret
Invited Session on Security
Static Analysis and Software Assurance (Abstract) / David Wagner
A Type and Effect Analysis of Security Protocols (Abstract) / Andrew D. Gordon ; Alan Jeffrey
Abstracting Cryptographic Protocols by Prolog Rules (Abstract) / Bruno Blanchet
Security-Typed Languages and Distributed Computation (Abstract) / Andrew Myers
Author Index
Invited Paper
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
16.

図書
図書
16. Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, UK, September 1-3, 1999 : revised papers
Richard Connor, Alberto Mendelzon (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c2000  xii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1949
所蔵情報: loading…
17.

図書
図書
17. Dynamic Languages Symposium, DLS 2007 : held at the OOPSLA Conference, October 22, 2007, Montreal, Quebec, Canada
Dynamic Languages Symposium ; Object-Oriented Programming Systems, Languages and Applications ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2007  103 p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. DLS '05 : symposium proceedings : Dynamic Languages Symposium '05 : October 18th, San Diego, California : co-organized with OOPSLA '05
Dynamic Languages Symposium ; Object-Oriented Programming Systems, Languages and Applications ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, [2005]  63 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers
Matteo Baldoni, Ulle Endriss (eds.)
出版情報: Berlin : Springer, c2006  viii, 256 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4327 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書
図書
20. Proceedings of the 29th Annual International Computer Software and Applications Conference : COMPSAC 2005 : July 26-28, 2005, Edinburgh, Scotland (Workshops and fast abstracts)
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  2 v. ; 28 cm
所蔵情報: loading…
21.

図書
図書
21. Database programming languages : 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers
Gavin Bierman, Christoph Koch (eds.)
出版情報: Berlin : Springer, c2005  x, 294 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3774
所蔵情報: loading…
22.

図書
図書
22. Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xix, 1253 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3142
所蔵情報: loading…
23.

図書
図書
23. Companion material of the 30th International Conference on Software Engineering 2008 (ICSE '08 Companion) : Leipzig, Germany, 10-18 May 2008
International Conference on Software Engineering
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  186 p. ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. 11th International Workshop on Formal Techniques for Java-like Programs 2009 (FTfJP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
International Workshop on Formal Techniques for Java-like Programs ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  62 p. ; 28 cm
所蔵情報: loading…
25.

図書
図書
25. 1st International Workshop on Dissributed Objects for the 21st Century 2009 (DO21 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
International Workshop on Dissributed Objects for the 21st Century ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  22 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. 1st Workshop on Script to Program Evolution 2009 (STOP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
Workshop on Script to Program Evolution ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  70 p. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. 4th Workshop on Implementation, Compilation, Optimization of Object - Oriented Languages and Programming Systems 2009 (ICOOOLPS 2009) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
Workshop on Implementation, Compilation, Optimization of Object - Oriented Languages and Programming System ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  73 p. ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. 6th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution 2009 (RAM-SE 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  38 p. ; 28 cm
所蔵情報: loading…
29.

図書
図書
29. 6th European Lisp Workshop 2009 (ELW 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
European Lisp Workshop ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  34 p. ; 28 cm
所蔵情報: loading…
30.

図書
図書
30. 8th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing 2009 (POOSC 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
Workshop on Parallel/High-Performance Object-Oriented Scientific Computing ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  85 p. ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. International Workshop on Context-Oriented Programming 2009 (COP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
International Workshop on Context-Oriented Programming ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  56 p. ; 28 cm
所蔵情報: loading…
32.

図書
図書
32. Workshop on Relationships and Associations in Object-Oriented Languages 2009 (RAOOL 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009
International Workshop on Context-Oriented Programming ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  39 p. ; 28 cm
所蔵情報: loading…
33.

図書
図書
33. Dynamic Languages Symposium 2009 (DLS 09) : Orlando, Florida, USA, 25-29 October 2009
Dynamic Languages Symposium ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2009  110 p. ; 28 cm
所蔵情報: loading…
34.

図書
図書
34. 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security 2009 (PLAS 09) : Dublin, Ireland, 15 June 2009
Programming Languages and Analysis for Security Workshop ; ACM Special Interest Group in Programming Languages
出版情報: New York, NY : Association for Computing Machinery, c2009  131 p. ; 28 cm
所蔵情報: loading…
35.

図書
図書
35. Metalevel architectures and separation of crosscutting concerns : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
Akinori Yonezawa, Satoshi Matsuoka (eds.)
出版情報: Berlin : Springer, c2001  xi, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2192
所蔵情報: loading…
36.

図書
図書
36. Modular Programming Languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006 : proceedings
David E. Lightfoot, Clemens A. Szyperski (eds.)
出版情報: Berlin : Springer, c2006  x, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4228
所蔵情報: loading…
37.

図書
図書
37. Languages and Compilers for Parallel Computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers
Samuel P. Midkiff ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 381 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2017
所蔵情報: loading…
38.

図書
図書
38. Languages and compilers for parallel computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers
Henry G. Dietz (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 444 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2624
所蔵情報: loading…
39.

図書
図書
39. Dynamic Languages Symposium : ECOOP 2008 : July 8, 2008, Paphos, Cyprus
Dynamic Languages Symposium ; European Conference on Object-Oriented Programming ; Association for Computing Machinery
出版情報: New York, NY : Association for Computing Machinery, c2008  69 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼