Thursday, January 15th, 2004 - Session 4 (10:30-12:30) - A Bisimulation for Dynamic Sealing (English)
- New search for: Sumii, E.
- New search for: Sumii, E.
- New search for: Pierce, B.C.
In:
SIGPLAN notices
;
39
, 1
; 161-172
;
2004
-
ISSN:
- Article (Journal) / Print
-
Title:Thursday, January 15th, 2004 - Session 4 (10:30-12:30) - A Bisimulation for Dynamic Sealing
-
Contributors:Sumii, E. ( author ) / Pierce, B.C.
-
Published in:SIGPLAN notices ; 39, 1 ; 161-172
-
Publisher:
- New search for: ACM
-
Place of publication:New York, NY
-
Publication date:2004
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.00 / 54.53
- Further information on Basic classification
- New search for: 770/3155
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 39, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Wednesday, January 14th, 2004 - Session 1 (10:30-12:30) - Symbolic Transfer Function-based Approaches to Certified CompilationRival, X. et al. | 2004
- 14
-
Wednesday, January 14th, 2004 - Session 1 (10:30-12:30) - Simple Relational Correctness Proofs for Static Analyses and Program TransformationsBenton, N. et al. | 2004
- 26
-
Wednesday, January 14th, 2004 - Session 1 (10:30-12:30) - Incremental Execution of Transformation SpecificationsSittampalam, G. et al. | 2004
- 39
-
Wednesday, January 14th, 2004 - Session 1 (10:30-12:30) - Formalization of Generics for the NET Common Language RuntimeYu, D. et al. | 2004
- 52
-
Wednesday, January 14th, 2004 - Session 2 (14:00-15:30) - Semantic Types: A Fresh Look at the Ideal Model for TypesVouillon, J. et al. | 2004
- 64
-
Wednesday, January 14th, 2004 - Session 2 (14:00-15:30) - Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with SumsBalat, V. et al. | 2004
- 77
-
Wednesday, January 14th, 2004 - Session 2 (14:00-15:30) - Isomorphisms of Generic Recursive Polynomial TypesFiore, M. et al. | 2004
- 89
-
Wednesday, January 14th, 2004 - Session 3 (16:00-17:30) - Polymorphic Typed DefunctionalizationPottier, F. et al. | 2004
- 99
-
Wednesday, January 14th, 2004 - Session 3 (16:00-17:30) - Free Theorems in the Presence of seqJohann, P. et al. | 2004
- 111
-
Wednesday, January 14th, 2004 - Session 3 (16:00-17:30) - Parsing Expression Grammars: A Recognition-Based Syntactic FoundationFord, B. et al. | 2004
- 123
-
Thursday, January 15th, 2004 - Session 4 (10:30-12:30) - Asynchronous and Deterministic ObjectsCaromel, D. et al. | 2004
- 135
-
Thursday, January 15th, 2004 - Session 4 (10:30-12:30) - A Logic You Can Count OnZilio, S.Dal et al. | 2004
- 147
-
Thursday, January 15th, 2004 - Session 4 (10:30-12:30) - Channel Dependent Types for Higher-Order Mobile ProcessesYoshida, N. et al. | 2004
- 161
-
Thursday, January 15th, 2004 - Session 4 (10:30-12:30) - A Bisimulation for Dynamic SealingSumii, E. et al. | 2004
- 173
-
Thursday, January 15th, 2004 - Session 5 (14:00-15:30) - An Abstract Interpretation-Based Framework for Software WatermarkingCousot, P. et al. | 2004
- 186
-
Thursday, January 15th, 2004 - Session 5 (14:00-15:30) - Abstract Non-Interference: Parameterizing Non-Interference by Abstract InterpretationGiacobazzi, R. et al. | 2004
- 198
-
Thursday, January 15th, 2004 - Session 5 (14:00-15:30) - A Semantics for Web Services AuthenticationBhargavan, K. et al. | 2004
- 210
-
Thursday, January 15th, 2004 - Session 6 (16:00-17:00) - The Space Cost of Lazy Reference CountingBoehm, H.-J. et al. | 2004
- 220
-
Thursday, January 15th, 2004 - Session 6 (16:00-17:00) - Local Reasoning about a Copying Garbage CollectorBirkedal, L. et al. | 2004
- 232
-
Friday, January 16th, 2004 - Session 7 (10:30-12:30) - Abstractions from ProofsHenzinger, T.A. et al. | 2004
- 245
-
Friday, January 16th, 2004 - Session 7 (10:30-12:30) - Summarizing Procedures in Concurrent ProgramsQadeer, S. et al. | 2004
- 256
-
Friday, January 16th, 2004 - Session 7 (10:30-12:30) - Atomizer: A Dynamic Atomicity Checker for Multithreaded ProgramsFlanagan, C. et al. | 2004
- 268
-
Friday, January 16th, 2004 - Session 7 (10:30-12:30) - Separation and Information HidingO'Heam, P.W. et al. | 2004
- 281
-
Friday, January 16th, 2004 - Session 8 (14:00-15:30) - Tridirectional TypecheckingDunfield, J. et al. | 2004
- 293
-
Friday, January 16th, 2004 - Session 8 (14:00-15:30) - A Type System for Well-Founded RecursionDreyer, D. et al. | 2004
- 306
-
Friday, January 16th, 2004 - Session 8 (14:00-15:30) - Principal Typings for Java-like LanguagesAncona, D. et al. | 2004
- 318
-
Friday, January 16th, 2004 - Session 9 (16:00-17:30) - Non-linear Loop Invariant Generation using Gröbner BasesSankaranarayan, S. et al. | 2004
- 330
-
Friday, January 16th, 2004 - Session 9 (16:00-17:30) - Precise Interprocedural Analysis through Linear AlgebraMüller-Olm, M. et al. | 2004
- 342
-
Friday, January 16th, 2004 - Session 9 (16:00-17:30) - Global Value Numbering using Random InterpretationGulwani, S. et al. | 2004
- 353
-
Author Index| 2004
-
Friday, January 16th, 2004 - Invited Talk (9:00-10:00) - An Automata Theoretic Approach to Software Model CheckingEsparza, J. et al. | 2004
-
Wednesday, January 14th, 2004 - Invited Talk (9:00-10:00) - Coinductive Techniques in Programming LanguagesSangiorgi, D. et al. | 2004
-
Thursday, January 15th, 2004 - SIGPLAN Programming Language Achievement Award Lecture (9:00-10:00)Reynolds, J.C. et al. | 2004
-
POPL'04 Symposium Organization| 2004
-
Acknowledgements| 2004