| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Liu Yang, Sun Chan, Guang R. Gao, Roy Ju, Guei-Yuan Lueh, Zhaoqing Zhang |
Inter-procedural stacked register allocation for itanium® like architecture.  |
ICS  |
2003 |
DBLP DOI BibTeX RDF |
hot region, inter-procedural stacked register allocation, quota assignment, register allocation, hotspot |
| 3 | Helmut Seidl, Bernhard Steffen |
Constraint-Based Inter-Procedural Analysis of Parallel Programs. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems |
| 2 | David Xinliang Li, Raksit Ashok, Robert Hundt |
Lightweight feedback-directed cross-module optimization. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
cross-module, feedback-directed, inter-procedural, optimization |
| 2 | Zhongxing Xu, Jian Zhang 0001 |
Path and Context Sensitive Inter-procedural Memory Leak Detection. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
path feasibility, memory leak, bug finding |
| 2 | Markus Müller-Olm, Helmut Seidl |
Upper Adjoints for Fast Inter-procedural Variable Equalities. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Swatee Rekha Mohanty, Durga Prasad Mohapatra, Himansu Sekhar Behara |
A Novel Approach for Static Slicing of Inter-Procedural Programs. |
ICIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards |
Incremental Algorithms for Inter-procedural Analysis of Safety Properties. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | John Ng, Dattatraya Kulkarni, Wei Li 0015, Robert Cox, Scott Bobholz |
Inter-Procedural Loop Fusion, Array Contraction and Rotation. |
IEEE PACT |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Torben Amtoft, Robert Muller |
Inferring annotated types for inter-procedural register allocation with constructor flattening. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
type systems, register allocation, effects, defunctionalization, certifying compilers |
| 2 | Ayal Zaks, Vitaly Feldman, Nava Aizikowitz |
Sealed calls in Java packages. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
call devirtualization, class hierarchy graph, inter-procedural analysis, method inlining, sealed package, Java, Java, object-oriented programming, call graph |
| 1 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
On inter-procedural analysis of programs with lists and data. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lulu Wang, Bixin Li |
A Technology of Profiling Inter-procedural Paths. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chandan Raj Rupakheti, Daqing Hou |
Satisfying Programmers' Information Needs in API-Based Programming. |
ICPC |
2011 |
DBLP DOI BibTeX RDF |
API-based programming, inter-procedural analysis, rule-based inferences, abstract interpretation |
| 1 | Dominic Letarte |
Model checking graph representation of precise boolean inter-procedural flow analysis. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Moret, Walter Binder, Abbas Heydarnoori, Danilo Ansaloni |
Tool demonstration: effective runtime exploration of the inter-procedural control flow in Java applications. |
PPPJ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Letarte |
Conversion of fast inter-procedural static analysis to model checking. |
ICSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Satish Chandra |
Effective interprocedural resource leak detection. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
inter-procedural analysis, resource leaks, alias analysis |
| 1 | Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni |
Exploring large profiles with calling context ring charts. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
calling context profiles, calling context tree (cct), visualization, performance analysis, dynamic metrics |
| 1 | Dominic Letarte, Ettore Merlo |
Extraction of Inter-procedural Simple Role Privilege Models from PHP Code. |
WCRE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohu Yang, Weiwei Qiu, Xinyu Wang |
Identifying Domain Variables from Inter-Procedural Programs to Extract Business Rule. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang |
Mapping kernel objects to enable systematic integrity checking. |
ACM Conference on Computer and Communications Security |
2009 |
DBLP DOI BibTeX RDF |
kernel integrity, memory analysis, malware, pointer analysis, introspection |
| 1 | Jongeun Lee, Aviral Shrivastava |
A compiler optimization to reduce soft errors in register files. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
architectural vulnerability factor, link-time optimization, embedded system, compilation, static analysis, soft error, register file |
| 1 | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
Trace-based just-in-time type specialization for dynamic languages. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
| 1 | Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi |
SPEED: precise and efficient static estimation of program computational complexity. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis |
| 1 | Sudheendra Hangal, Monica S. Lam |
Automatic dimension inference and checking for object-oriented programs. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing (Harry) Xu, Atanas Rountev |
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software. |
AOSD |
2008 |
DBLP DOI BibTeX RDF |
AspectJ, dataflow analysis, interprocedural analysis |
| 1 | Raymond P. L. Buse, Westley Weimer |
Automatic documentation inference for exceptions. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
documentation inference, exception handling, software documentation |
| 1 | Duane Merrill, Kim M. Hazelwood |
Trace fragment selection within method-based JVMs. |
VEE |
2008 |
DBLP DOI BibTeX RDF |
region selection, JVM, traces, JIT compilation |
| 1 | Carsten Gremzow |
Quantitative global dataflow analysis on virtual instruction set simulators for hardware/software co-design. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | S. C. Chan, G. R. Gao, B. Chapman, T. Linthicum, A. Dasgupta |
Open64 compiler infrastructure for emerging multicore/manycore architecture All Symposium Tutorial. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Millot, Alain Muller, Christian Parrot, Frédérique Silber-Chaussumier |
STEP: A Distributed OpenMP for Coarse-Grain Parallelism Tool. |
IWOMP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Changjun Hu, Yewei Shao, Jue Wang, Jianjiang Li |
Automatic Transformation for Overlapping Communication and Computation. |
NPC |
2008 |
DBLP DOI BibTeX RDF |
Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation |
| 1 | Wonchul Lee, Hyojin Choi, Wonyong Sung |
Algorithm and Software Optimization of Variable Block Size Motion Estimation for H.264/AVC on a VLIW-SIMD DSP. |
Signal Processing Systems |
2008 |
DBLP DOI BibTeX RDF |
variable block size motion estimation, H.264/AVC encoder, VLIW (very long instruction word), SIMD (single instruction multiple data) |
| 1 | Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani |
Quantifying the effectiveness of testing via efficient residual path profiling. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
inter-procedural, testing, residual, path profiling |
| 1 | Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani |
Quantifying the effectiveness of testing via efficient residual path profiling. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
inter-procedural, testing, residual, path profiling |
| 1 | Sigmund Cherem, Radu Rugina |
Uniqueness inference for compile-time object deallocation. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations |
| 1 | Sigmund Cherem, Lonnie Princehouse, Radu Rugina |
Practical memory leak detection using guarded value-flow analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static error detection, value-flow analysis, memory management, memory leaks |
| 1 | Vineet Kahlon, Aarti Gupta |
On the analysis of interacting pushdown systems. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems |
| 1 | Carsten Gremzow |
Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design. |
SCSC |
2007 |
DBLP DOI BibTeX RDF |
hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM |
| 1 | Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral |
Forma: A framework for safe automatic array reshaping. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
reference analysis, data structure, Arrays |
| 1 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Path-Sensitive Inference of Function Precedence Protocols. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Luca Bernardi, Giuseppe A. Di Lucca |
An Interprocedural Aspect Control Flow Graph to Support the Maintenance of Aspect Oriented Systems. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Luca Bernardi, Giuseppe A. Di Lucca |
Testing Aspect Oriented Programs: an Approach Based on the Coverage of the Interactions among Advices and Methods. |
QUATIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigmund Cherem, Radu Rugina |
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigmund Cherem, Radu Rugina |
Compile-time deallocation of individual objects. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
compile-time memory management, individual object deallocation, program transformations, shape analysis |
| 1 | Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi |
Accurate, efficient, and adaptive calling context profiling. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
adaptive, profiling, java virtual machine, call graph, calling context, calling context tree |
| 1 | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
A fixpoint calculus for local and global program flows. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems |
| 1 | Lei Wang, Xikun Sun |
Escape analysis for synchronization removal. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
synchronization removal, java, optimization, escape analysis |
| 1 | Zhuopeng Zhang, Hongji Yang, William C. Chu |
Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ettore Merlo, Dominic Letarte, Giuliano Antoniol |
Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP. |
WCRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha |
Hardware-Assisted Run-Time Monitoring for Secure Program Execution on Embedded Processors. |
IEEE Trans. VLSI Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Andrzej S. Murawski |
Compositional Model Extraction for Higher-Order Concurrent Programs. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmut T. Kandemir |
Improving whole-program locality using intra-procedural and inter-procedural transformations, . |
J. Parallel Distrib. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatole Le, Ondrej Lhoták, Laurie J. Hendren |
Using Inter-Procedural Side-Effect Information in JIT Optimizations. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hari Hampapuram, Yue Yang, Manuvir Das |
Symbolic path simulation in path-sensitive dataflow analysis. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
path feasibility, dataflow analysis, symbolic simulation |
| 1 | David Hovemeyer, Jaime Spacco, William Pugh |
Evaluating and tuning a static analysis to find null pointer bugs. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
testing, static analysis |
| 1 | Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
Optimising aspectJ. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
around advice, aspect-oriented programming language, cflow pointcut, optimization, aspectJ |
| 1 | Brian Hackett, Radu Rugina |
Region-based shape analysis with tracked locations. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
static error detection, memory management, shape analysis, memory leaks |
| 1 | Yichen Xie, Alexander Aiken |
Scalable error detection using boolean satisfiability. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
program analysis, error detection, boolean satisfiability |
| 1 | Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha |
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy |
A Data-Centric Approach to Checksum Reuse for Array-Intensive Applications. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stahl, Francky Catthoor, Diederik Verkest |
Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs. |
ICPP Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stahl, Francky Catthoor, Diederik Verkest |
Object-Distribution Analysis for Program Decomposition and Re-Clustering. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
Analysis of Modular Arithmetic. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff |
Kaveri: Delivering the Indus Java Program Slicer to Eclipse. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yimin Xia, Jun Luo, Minxuan Zhang |
Detecting Memory Access Errors with Flow-Sensitive Conditional Range Analysis. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigmund Cherem, Radu Rugina |
Region analysis and transformation for Java programs. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
program transformations, pointer analysis, region-based memory management |
| 1 | Lian Li 0002, Jingling Xue |
A trace-based binary compilation framework for energy-aware computing. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
energy optimisation, link-time optimisation, profile-guided optimisation, trace, binary translation |
| 1 | Kaustubh Patil, Kiran Seth, Frank Mueller |
Compositional static instruction cache simulation. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, caches, worst-case execution time |
| 1 | Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler |
Correlation exploitation in error ranking. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
error ranking, static analysis, program checking |
| 1 | Giuliano Antoniol, Massimiliano Di Penta |
A Distributed Architecture for Dynamic Analyses on User-Profile Data. |
CSMR |
2004 |
DBLP DOI BibTeX RDF |
trace collection, user profiling, dynamic analysis |
| 1 | Sean McDirmid, Wilson C. Hsieh |
Splice: Aspects That Analyze Programs. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ettore Merlo, Giuliano Antoniol, Pierre-Luc Brunelle |
Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho |
Automatic Detection of Uninitialized Variables. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Dhavachelvan, G. V. Uma |
Multi-agent Based Integrated Framework for Intra-class Testing of Object-Oriented Software. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim-Cyril Griche |
Automatic Inter-Procedural Test Case Generation. (PDF / PS) |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvius Rus, Lawrence Rauchwerger, Jay Hoeflinger |
Hybrid analysis: static & dynamic memory reference analysis. |
ICS |
2002 |
DBLP DOI BibTeX RDF |
hybrid analysis, inter-procedural analysis, run-time parallelization, run-time analysis |
| 1 | Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew |
An Empirical Study on the Granularity of Pointer Analysis in C Programs. |
LCPC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum |
Program slicing for VHDL. |
STTT |
2002 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, VHDL, Program slicing, Hardware description languages |
| 1 | Bruno Malenfant, Giuliano Antoniol, Ettore Merlo, Michel Dagenais |
Flow Analysis to Detect Blocked Statements. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Blocking analysis, inter-procedural flow analysis, software evaluation |
| 1 | Guohua Jin, John M. Mellor-Crummey, Robert J. Fowler |
Increasing temporal locality with skewing and recursive blocking. |
SC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Bernhard Steffen |
Constraint-Based Inter-Procedural Analysis of Parallel Programs. |
Nord. J. Comput. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson |
Automatic detection of immutable fields in Java. |
CASCON |
2000 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Robert Muth, Saumya K. Debray |
On the Complexity of Flow-Sensitive Dataflow Analyses. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian-Zhi Wu, Jenq Kuen Lee |
A Bytecode Optimizer to Engineer Bytecodes for Performance. |
LCPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka |
Inter-procedural Analysis for Parallelization of Java Programs. |
ACPC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicky Williams Preston |
New Type Signatures for Legacy Fortran Subroutines. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
array region, dynamic alias, reverse engineering, Fortran, FORTRAN, alias analysis |
| 1 | Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum |
Program Slicing of Hardware Description Languages. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Ferreira, Luís Damas |
Multiple Specialization of WAM Code. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Code Specialization, Program Analysis |
| 1 | Julian Dolby, Andrew A. Chien |
An Evaluation of Automatic Object Inline Allocation Techniques. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepankar Bairagi, Dharma P. Agrawal, Sandeep Kumar |
Precise Call Graph Construction for OO Programs in the Presence of Virtual Functions. (PDF / PS) |
ICPP |
1997 |
DBLP DOI BibTeX RDF |
object-oriented, C++, call graph, virtual function |
| 1 | Manuel V. Hermenegildo |
Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
Pointer Aliasing Analysis, Task Granularity Control, Abstract Interpretation, Automatic Parallelization, Speculation, Global Analysis, Irregular Computations |
| 1 | Mohd Yazid Saman, David J. Evans |
Inter-Procedural Analysis for Parallel Computing. |
Parallel Computing |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Deutsch |
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison |
Accurate Static Estimators for Program Optimization. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
C |
| 1 | Martin Alt, Uwe Aßmann, Hans van Someren |
Cosy Compiler Phase Embedding with the CoSy Compiler Model. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred C. Chow |
Minimizing Register Usage Penalty at Procedure Calls. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Anita L. Chow, Andres Rudmik |
The Design of a Data Flow Analyzer. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene W. Myers |
A Precise Interprocedural Data Flow Algorithm. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")