Παρακολούθηση
Thomas Reps
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.wisc.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Interprocedural slicing using dependence graphs
S Horwitz, T Reps, D Binkley
Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988
21351988
Precise interprocedural dataflow analysis via graph reachability
T Reps, S Horwitz, M Sagiv
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
15741995
Parametric shape analysis via 3-valued logic
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (3), 217-298, 2002
14552002
The Cornell program synthesizer: a syntax-directed programming environment
T Teitelbaum, T Reps
Communications of the ACM 24 (9), 563-573, 1981
9871981
Interprocedural slicing using dependence graphs
S Horwitz, T Reps, D Binkley
Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988
7481988
Integrating noninterfering versions of programs
S Horwitz, J Prins, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (3), 345-387, 1989
6511989
Analyzing memory accesses in x86 executables
G Balakrishnan, T Reps
Compiler Construction, 5-23, 2004
5912004
Solving shape-analysis problems in languages with destructive updating
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 1-50, 1996
5601996
An incremental algorithm for a generalization of the shortest-path problem
G Ramalingam, T Reps
Journal of Algorithms 21 (2), 267-305, 1996
5401996
Program analysis via graph reachability
T Reps
Information and Software Technology 40 (11-12), 701-726, 1998
5281998
The synthesizer generator: a system for constructing language-based editors
TW Reps, T Teitelbaum
Springer-Verlag, New York, NY, 1988
516*1988
The synthesizer generator
T Reps, T Teitelbaum
SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software …, 1984
4871984
The use of program dependence graphs in software engineering
S Horwitz, T Reps
Proceedings of the 14th international conference on Software engineering …, 1992
4481992
The use of program profiling for software maintenance with applications to the year 2000 problem
T Reps, T Ball, M Das, J Larus
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997
4311997
Generating language-based environments
T Reps
The MIT Press, Cambridge, MA, 1984
4301984
Incremental context-dependent analysis for language-based editors
T Reps, T Teitelbaum, A Demers
ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (3), 449-477, 1983
4041983
WYSINWYX: What You See Is Not What You eXecute
G Balakrishnan, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (6), 23, 2010
3982010
Identifying modules via concept analysis
M Siff, T Reps
Int. Conf. on Sofware Maintenance, 1997
3971997
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
3721996
Dependence analysis for pointer variables
S Horwitz, P Pfeiffer, T Reps
Programming Language Design and Implementation 24 (7), 28-40, 1989
3531989
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20