|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 45 occurrences of 42 keywords
|
|
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kim Marriott, Harald Søndergaard |
Precise and Efficient Groundness Analysis for Logic Programs.  |
LOPLAS  |
1993 |
DBLP DOI BibTeX RDF |
abstract interpretation, propositional logic, condensation, groundness analysis |
| 1 | Preston Briggs, Linda Torczon |
An Efficient Representation for Sparse Sets. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
compiler implementation, set representations, register allocation, set operations |
| 1 | Rajiv Gupta 0001 |
Optimizing Array Bound Checks Using Flow Analysis. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
available checks, check hoisting, very busy checks, dataflow analysis |
| 1 | James R. Larus |
Compiling for Shared-Memory and Message-Passing Computers. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
directory protocols, message-passing multiprocessors, compilers, shared-memory multiprocessors, cache coherence, memory systems, parallel programming languages |
| 1 | Peter Bumbulis, Donald D. Cowan |
RE2C: A More Versatile Scanner Generator. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
scanner generator, lexical analysis |
| 1 | Robert Metzger, Sean Stroud |
Interprocedural Constant Propagation: An Empirical Study. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
abstract interpretation, code optimization, control-flow graph, interprocedural analysis, dataflow graph, constant propagation |
| 1 | Kim Marriott, Peter J. Stuckey |
Semantics of Constraint Logic Programs with Optimization. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
semantics, constraint logic programming |
| 1 | Alok N. Choudhary, Geoffrey C. Fox, Seema Hiranandani, Ken Kennedy, Charles Koelbel, Sanjay Ranka, Chau-Wen Tseng |
Unified Compilation of Fortran 77D and 90D. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
parallel programming, FORTRAN, parallel languages, Fortran D |
| 1 | Owen Kaser, C. R. Ramakrishnan 0001, Shaunak Pawagi |
On the Conversion of Indirect to Direct Recursion. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
inline substitution, procedure inlining, theory, call graphs, mutual recursion |
| 1 | Hans-Juergen Boehm, Alan J. Demers, Chris Uhler |
Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
monitor lock, spin lock, multiprocessing, critical section |
| 1 | Robert D. Cameron |
Extending Context-Free Grammars with Permutation Phrases. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
free-order construct, permutation phrase, context-free grammar |
| 1 | Thomas Ball |
What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
regions, control-flow graph, control dependence |
| 1 | David W. Binkley |
Precise Executable Interprocedural Slices. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
program slicing, data dependence, control dependence, program dependence graph |
| 1 | Mike Beaven, Ryan Stansifer |
Explaining Type Errors In Polimorphic Languages. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
polymorphic type reconstruction, type errors |
| 1 | Xiaolei Qian, Allen Goldberg |
Referential Opacity In Nondeterministic Data Refinement. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers |
References to Remote Mobile Objects in Thor. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
distributed object-oriented database, location-dependent reference, location-independent reference, object mobility, object reference, scalability, naming, distributed object management, addressing, object migration |
| 1 | Richard A. Eyre-Todd |
The Detection of Dangling References in C++ Programs. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
smart pointers, dangling pointers |
| 1 | Kenneth Walker, Ralph E. Griswold |
The Maintenance of Intermediate Values in Goal-Directed Evaluation. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Amitabh Srivastava |
Unreachable Procedures in Object-Oriented Programming. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzanne W. Dietrich |
Shortest Path by Approximation in Logic Programs. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ambuj K. Singh |
On Reasoning With the Global Time Assumption. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy |
Generalized Algorithmic Debugging and Testing. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Dornic, Pierre Jouvelot, David K. Gifford |
Polymorphic Time Systems for Estimating Program Complexity. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau |
Abstract Description of Pointer Data Structures: An Approach for Improving the Analysis and Optimization of Imperative Programs. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher W. Fraser, David R. Hanson, Todd A. Proebsting |
Engineering a Simple, Efficient Code-Generator Generator. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Weiss |
The Transitive Closure of Control Dependence: The Iterated Join. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Goldberg 0001 |
The Design of Floating-Point Data Types. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph E. Johnson |
Reducing the Latency of a Real-Time Garbage Collector. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Johnathan M. Asuru |
Optimization of Array Subscript Range Checks. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert H. B. Netzer, Barton P. Miller |
What Are Race Conditions? Some Issues and Formalizations. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin D. Nilsen, William J. Schmidt |
Cost-Effective Object Space Management for Hardware-Assisted Real-Time Garbage Collection. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Preston Briggs, Keith D. Cooper, Linda Torczon |
Coloring Register Pairs. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce McKenney, Boleslaw K. Szymanski |
Generating Parallel Code for SIMD Machines. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Balkrishna Ramkumar |
Distributed Last Call Optimization for Portable Parallel Logic Programming. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, John Hatcliff |
CPS-Transformation After Strictness Analysis. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith D. Cooper, Mary W. Hall, Linda Torczon |
Unexpected Side Effects of Inline Substitution: A Case Study. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl McConnell, Ralph E. Johnson |
Using Static Single Assignment Form in a Code Optimizer. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary W. Hall, Ken Kennedy |
Efficient Call Graph Analysis. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Burke, Jong-Deok Choi |
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | William Landi |
Undecidability of Static Analysis. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Tarditi, Peter Lee 0001, Anurag Acharya 0001 |
No Assembly Required: Compiling Standard ML to C. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | William W. Pugh |
Definitions of Dependence Distance. |
LOPLAS |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license