( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.

, , , , и . EuroS&P, стр. 251-269. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Markus Reps

Christian Repschläger

Ingeborg Reps

Albert Reps

Bruno Reps

 

Другие публикации лиц с тем же именем

Program analysis via graph reachability: Special issue on program slicing. Information & Software Technology, 40 (11-12): 701-726 (1998)Identifying Modules via Concept Analysis., и . IEEE Trans. Software Eng., 25 (6): 749-768 (1999)Finite differencing of logical formulas for static analysis., , и . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)Debugging via Run-Time Type Checking., , , и . FASE, том 2029 из Lecture Notes in Computer Science, стр. 217-232. Springer, (2001)Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.. POPL, стр. 169-176. ACM Press, (1982)An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph., и . POPL, стр. 287-296. ACM Press, (1994)Shape Analysis as a Generalized Path Problem.. PEPM, стр. 1-11. ACM Press, (1995)Secure Programming via Visibly Pushdown Safety Games., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 581-598. Springer, (2012)A Method for Symbolic Computation of Abstract Operations., и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 174-192. Springer, (2012)A System for Generating Static Analyzers for Machine Instructions., и . CC, том 4959 из Lecture Notes in Computer Science, стр. 36-52. Springer, (2008)