Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2006: Sydney, Australia
- Naoki Kobayashi:
Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings. Lecture Notes in Computer Science 4279, Springer 2006, ISBN 3-540-48937-1
Invited Talk 1
- Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Type Processing by Constraint Reasoning. 1-25
Session 1
- Martin Sulzmann, Tom Schrijvers
, Peter J. Stuckey:
Principal Type Inference for GHC-Style Multi-parameter Type Classes. 26-43 - Jacques Garrigue:
Private Row Types: Abstracting the Unnamed. 44-60 - Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi:
Type and Effect System for Multi-staged Exceptions. 61-78
Session 2
- Nina Bohr, Lars Birkedal:
Relational Reasoning for Recursive Types and References. 79-96 - William L. Harrison:
Proof Abstraction for Imperative Languages. 97-113 - Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer:
Reading, Writing and Relations. 114-130
Session 3
- Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa:
A Fine-Grained Join Point Model for More Reusable Aspects. 131-147 - Pieter W. M. Koopman, Rinus Plasmeijer:
Automatic Testing of Higher Order Functions. 148-164
Invited Talk 2
- Jens Palsberg:
Event Driven Software Quality. 165
Session 4
- Axel Simon, Andy King:
Widening Polyhedra with Landmarks. 166-182 - David A. Schmidt:
Comparing Completeness Properties of Static Analyses and Their Logics. 183-199 - Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson:
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. 200-216
Session 5
- Sungwoo Park:
A Modal Language for the Safety of Mobile Values. 217-233 - Roberta Gori, Francesca Levi:
An Analysis for Proving Temporal Properties of Biological Systems. 234-252 - Martín Abadi, Ricardo Corin, Cédric Fournet:
Computational Secrecy by Typing for the Pi Calculus. 253-269
Invited Tutorial
- Matthew Flatt, Robert Bruce Findler, Matthias Felleisen:
Scheme with Classes, Mixins, and Traits. 270-289
Session 6
- Markus Lumpe:
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. 290-306 - Hiroshi Yamauchi, Jan Vitek:
Combining Offline and Online Optimizations: Register Allocation and Method Inlining. 307-322 - Yannis Chicha, Stephen M. Watt:
A Localized Tracing Scheme Applied to Garbage Collection. 323-339
Session 7
- Keisuke Nakano, Shin-Cheng Mu:
A Pushdown Machine for Recursive XML Processing. 340-356 - Yasuhiko Minamide, Akihiko Tozawa:
XML Validation for Context-Free Grammars. 357-373 - Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh:
A Practical String Analyzer by the Widening Approach. 374-388
Session 8
- Lennart Beringer, Martin Hofmann:
A Bytecode Logic for JML and Types. 389-405 - Johan Gade, Robert Glück:
On Jones-Optimal Specializers: A Case Study Using Unmix. 406-422
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
