The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (pepm)
2010 (conf/pepm/2010)

  1. O, partial evaluator, where art thou? [Citation Graph (, )][DBLP]

  2. General purpose languages should be metalanguages. [Citation Graph (, )][DBLP]

  3. Corrective hints for type incorrect generic Java programs. [Citation Graph (, )][DBLP]

  4. Mnemonics: type-safe bytecode generation at run time. [Citation Graph (, )][DBLP]

  5. PET: a partial evaluation-based test case generation tool for Java bytecode. [Citation Graph (, )][DBLP]

  6. IGOR2 - an analytical inductive functional programming system: tool demo. [Citation Graph (, )][DBLP]

  7. Optimizing generics is easy! [Citation Graph (, )][DBLP]

  8. A fold/unfold transformation framework for rewrite theories extended to CCT. [Citation Graph (, )][DBLP]

  9. Regular approximation and bounded domains for size-change termination. [Citation Graph (, )][DBLP]

  10. A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP]

  11. Optimizing relational algebra operations using generic equivalence discriminators and lazy products. [Citation Graph (, )][DBLP]

  12. Programming with singular and plural non-deterministic functions. [Citation Graph (, )][DBLP]

  13. I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. [Citation Graph (, )][DBLP]

  14. Bridging the gap between symbolic and efficient AES implementations. [Citation Graph (, )][DBLP]

  15. Clone detection and elimination for Haskell. [Citation Graph (, )][DBLP]

  16. Making "stricterness" more relevant. [Citation Graph (, )][DBLP]

  17. Context-sensitive analysis of obfuscated x86 executables. [Citation Graph (, )][DBLP]

  18. Conditional weighted pushdown systems and applications. [Citation Graph (, )][DBLP]

  19. The SourceGraph program. [Citation Graph (, )][DBLP]

  20. From higher-order logic to Haskell: there and back again. [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