The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Self-adjusting computation: (an overview). [Citation Graph (, )][DBLP]

  2. Program analysis for bug detection using parfait: invited talk. [Citation Graph (, )][DBLP]

  3. Linear logical approximations. [Citation Graph (, )][DBLP]

  4. Guided model checking for programs with polymorphism. [Citation Graph (, )][DBLP]

  5. Program interpolation. [Citation Graph (, )][DBLP]

  6. Translation and optimization for a core calculus with exceptions. [Citation Graph (, )][DBLP]

  7. Is there a fourth Futamura projection? [Citation Graph (, )][DBLP]

  8. Type-based specialization of xml transformations. [Citation Graph (, )][DBLP]

  9. Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. [Citation Graph (, )][DBLP]

  10. Shortcut fusion rules for the derivation of circular and higher-order monadic programs. [Citation Graph (, )][DBLP]

  11. A flexible framework for programming with non-deterministicfunctions. [Citation Graph (, )][DBLP]

  12. Program transformation for numerical precision. [Citation Graph (, )][DBLP]

  13. Shifting the stage: staging with delimited control. [Citation Graph (, )][DBLP]

  14. Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. [Citation Graph (, )][DBLP]

  15. Improving type error messages for generic java. [Citation Graph (, )][DBLP]

  16. Bidirectional data-flow analyses, type-systematically. [Citation Graph (, )][DBLP]

  17. CCCP: complete calling context profiling in virtual execution environments. [Citation Graph (, )][DBLP]

  18. CProf: customizable calling context cross-profiling for embedded java processors. [Citation Graph (, )][DBLP]

  19. SOC: a slicer for CSP specifications. [Citation Graph (, )][DBLP]

  20. Clone detection and removal for Erlang/OTP within a refactoring environment. [Citation Graph (, )][DBLP]

  21. From spreadsheets to relational databases and back. [Citation Graph (, )][DBLP]

  22. Designing aspects for side-effect localization. [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