The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. X10: Concurrent Programming for Modern Architectures. [Citation Graph (, )][DBLP]

  2. The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. [Citation Graph (, )][DBLP]

  3. Local Reasoning for Storable Locks and Threads. [Citation Graph (, )][DBLP]

  4. Monadic, Prompt Lazy Assertions in Haskell. [Citation Graph (, )][DBLP]

  5. Translation Correctness for First-Order Object-Oriented Pattern Matching. [Citation Graph (, )][DBLP]

  6. Persistent Oberon: A Programming Language with Integrated Persistence. [Citation Graph (, )][DBLP]

  7. More Typed Assembly Languages for Confidentiality. [Citation Graph (, )][DBLP]

  8. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. [Citation Graph (, )][DBLP]

  9. On a Tighter Integration of Functional and Logic Programming. [Citation Graph (, )][DBLP]

  10. Scalable Simulation of Cellular Signaling Networks. [Citation Graph (, )][DBLP]

  11. Timed, Distributed, Probabilistic, Typed Processes. [Citation Graph (, )][DBLP]

  12. A Probabilistic Applied Pi-Calculus. [Citation Graph (, )][DBLP]

  13. Type-Based Verification of Correspondence Assertions for Communication Protocols. [Citation Graph (, )][DBLP]

  14. Deriving Compilers and Virtual Machines for a Multi-level Language. [Citation Graph (, )][DBLP]

  15. Finally Tagless, Partially Evaluated. [Citation Graph (, )][DBLP]

  16. Polymorphic Delimited Continuations. [Citation Graph (, )][DBLP]

  17. Adjunct Elimination in Context Logic for Trees. [Citation Graph (, )][DBLP]

  18. Positive Arithmetic Without Exchange Is a Subclassical Logic. [Citation Graph (, )][DBLP]

  19. Mixed Inductive/Coinductive Types and Strong Normalization. [Citation Graph (, )][DBLP]

  20. Static and Dynamic Analysis: Better Together. [Citation Graph (, )][DBLP]

  21. The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. [Citation Graph (, )][DBLP]

  22. An Efficient SSA-Based Algorithm for Complete Global Value Numbering. [Citation Graph (, )][DBLP]

  23. A Systematic Approach to Probabilistic Pointer Analysis. [Citation Graph (, )][DBLP]

  24. Complete Lattices and Up-To Techniques. [Citation Graph (, )][DBLP]

  25. A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. [Citation Graph (, )][DBLP]

  26. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. [Citation Graph (, )][DBLP]

  27. Call-by-Name and Call-by-Value in Normal Modal Logic. [Citation Graph (, )][DBLP]

  28. Call-by-Value Is Dual to Call-by-Name, Extended. [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