The SCEAS System
Navigation Menu

Conferences in DBLP

Asian Symposium on Programming Languages and Systems (aplas)
2006 (conf/aplas/2006)

  1. Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
    Type Processing by Constraint Reasoning. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:1-25 [Conf]
  2. Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
    Principal Type Inference for GHC-Style Multi-parameter Type Classes. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:26-43 [Conf]
  3. Jacques Garrigue
    Private Row Types: Abstracting the Unnamed. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:44-60 [Conf]
  4. Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
    Type and Effect System for Multi-staged Exceptions. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:61-78 [Conf]
  5. Nina Bohr, Lars Birkedal
    Relational Reasoning for Recursive Types and References. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:79-96 [Conf]
  6. William L. Harrison
    Proof Abstraction for Imperative Languages. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:97-113 [Conf]
  7. Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
    Reading, Writing and Relations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:114-130 [Conf]
  8. Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa
    A Fine-Grained Join Point Model for More Reusable Aspects. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:131-147 [Conf]
  9. Pieter W. M. Koopman, Rinus Plasmeijer
    Automatic Testing of Higher Order Functions. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:148-164 [Conf]
  10. Jens Palsberg
    Event Driven Software Quality. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:165- [Conf]
  11. Axel Simon, Andy King
    Widening Polyhedra with Landmarks. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:166-182 [Conf]
  12. David A. Schmidt
    Comparing Completeness Properties of Static Analyses and Their Logics. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:183-199 [Conf]
  13. Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson
    Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:200-216 [Conf]
  14. Sungwoo Park
    A Modal Language for the Safety of Mobile Values. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:217-233 [Conf]
  15. Roberta Gori, Francesca Levi
    An Analysis for Proving Temporal Properties of Biological Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:234-252 [Conf]
  16. Martín Abadi, Ricardo Corin, Cédric Fournet
    Computational Secrecy by Typing for the Pi Calculus. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:253-269 [Conf]
  17. Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
    Scheme with Classes, Mixins, and Traits. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:270-289 [Conf]
  18. Markus Lumpe
    Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:290-306 [Conf]
  19. Hiroshi Yamauchi, Jan Vitek
    Combining Offline and Online Optimizations: Register Allocation and Method Inlining. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:307-322 [Conf]
  20. Yannis Chicha, Stephen M. Watt
    A Localized Tracing Scheme Applied to Garbage Collection. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:323-339 [Conf]
  21. Keisuke Nakano, Shin-Cheng Mu
    A Pushdown Machine for Recursive XML Processing. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:340-356 [Conf]
  22. Yasuhiko Minamide, Akihiko Tozawa
    XML Validation for Context-Free Grammars. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:357-373 [Conf]
  23. Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
    A Practical String Analyzer by the Widening Approach. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:374-388 [Conf]
  24. Lennart Beringer, Martin Hofmann
    A Bytecode Logic for JML and Types. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:389-405 [Conf]
  25. Johan Gade, Robert Glück
    On Jones-Optimal Specializers: A Case Study Using Unmix. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:406-422 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002