DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Tim Teitelbaum
Tim Teitelbaum
Advanced Slicing of Sequential and Concurrent Programs Jens Krinke
Workshop on the Evaluation of Software Defect Detection Tools
Self-Adjusting Computation with Delta ML
Ph.D Thesis: WYSINWYX What You See Is Not What You Execute
Adaptive Functional Programming∗
Secure Programs Via Game-Based Synthesis
Incremental Attribute Evaluation for Multi-User Semantics-Based Editors
Top View