The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Abductive Inference for Reasoning about Heaps. [Citation Graph (, )][DBLP]

  2. A Sound Floating-Point Polyhedra Abstract Domain. [Citation Graph (, )][DBLP]

  3. A Flow-Sensitive Region Inference for CLI. [Citation Graph (, )][DBLP]

  4. Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. [Citation Graph (, )][DBLP]

  5. Static Detection of Place Locality and Elimination of Runtime Checks. [Citation Graph (, )][DBLP]

  6. Certified Reasoning in Memory Hierarchies. [Citation Graph (, )][DBLP]

  7. The Complexity of Coverage. [Citation Graph (, )][DBLP]

  8. Game Characterizations of Process Equivalences. [Citation Graph (, )][DBLP]

  9. Extensional Universal Types for Call-by-Value. [Citation Graph (, )][DBLP]

  10. Harnessing the Multicores: Nested Data Parallelism in Haskell. [Citation Graph (, )][DBLP]

  11. Minimal Ownership for Active Objects. [Citation Graph (, )][DBLP]

  12. Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. [Citation Graph (, )][DBLP]

  13. Reasoning about Java's Reentrant Locks. [Citation Graph (, )][DBLP]

  14. ML Modules and Haskell Type Classes: A Constructive Comparison. [Citation Graph (, )][DBLP]

  15. The Essence of Form Abstraction. [Citation Graph (, )][DBLP]

  16. On Affine Usages in Signal-Based Communication. [Citation Graph (, )][DBLP]

  17. Abstraction of Clocks in Synchronous Data-Flow Systems. [Citation Graph (, )][DBLP]

  18. From Authorization Logics to Types for Authorization. [Citation Graph (, )][DBLP]

  19. Interface Types for Haskell. [Citation Graph (, )][DBLP]

  20. Exception Handlers as Extensible Cases. [Citation Graph (, )][DBLP]

  21. Sound and Complete Type Inference for a Systems Programming Language. [Citation Graph (, )][DBLP]

  22. An Operational Semantics for JavaScript. [Citation Graph (, )][DBLP]

  23. JavaScript Instrumentation in Practice. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002