The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Software synthesis with sketching. [Citation Graph (, )][DBLP]

  2. Securing web applications with static and dynamic information flow tracking. [Citation Graph (, )][DBLP]

  3. Proving correctness via free theorems: the case of the destroy/build-rule. [Citation Graph (, )][DBLP]

  4. Semi-inversion of functional parameters. [Citation Graph (, )][DBLP]

  5. Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. [Citation Graph (, )][DBLP]

  6. Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. [Citation Graph (, )][DBLP]

  7. Mechanical verification of refactorings. [Citation Graph (, )][DBLP]

  8. A practical type analysis for verification of modular prolog programs. [Citation Graph (, )][DBLP]

  9. Static elaboration of recursion for concurrent software. [Citation Graph (, )][DBLP]

  10. Automating branch-and-bound for dynamic programs. [Citation Graph (, )][DBLP]

  11. Proof optimization for partial redundancy elimination. [Citation Graph (, )][DBLP]

  12. Packrat parsers can support left recursion. [Citation Graph (, )][DBLP]

  13. Unparsed patterns: easy user-extensibility of program manipulation tools. [Citation Graph (, )][DBLP]

  14. Generic framework for integration of programming languages into netbeans ide. [Citation Graph (, )][DBLP]

  15. Data dependencies and program slicing: from syntax to abstract semantics. [Citation Graph (, )][DBLP]

  16. Aspects preserving properties. [Citation Graph (, )][DBLP]

  17. Closing the stage: from staged code to typed closures. [Citation Graph (, )][DBLP]

  18. Specialization for applications using shared libraries. [Citation Graph (, )][DBLP]

  19. Jones optimality and hardware virtualization: a report on work in progress. [Citation Graph (, )][DBLP]

  20. A practical and precise inference and specializer for array bound checks elimination. [Citation Graph (, )][DBLP]

  21. Heap recycling for lazy languages. [Citation Graph (, )][DBLP]

  22. Tool support for refactoring functional programs. [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