|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 181-196, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
abstract interpretation, propositional logic, condensation, groundness analysis |
1 | Preston Briggs, Linda Torczon |
An Efficient Representation for Sparse Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 59-69, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
compiler implementation, set representations, register allocation, set operations |
1 | Rajiv Gupta 0001 |
Optimizing Array Bound Checks Using Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 135-150, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 165-180, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 70-84, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
scanner generator, lexical analysis |
1 | Robert Metzger, Sean Stroud |
Interprocedural Constant Propagation: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 213-232, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 197-212, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 95-114, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 151-164, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 46-58, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
monitor lock, spin lock, multiprocessing, critical section |
1 | Robert D. Cameron |
Extending Context-Free Grammars with Permutation Phrases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 85-94, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 1-16, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
regions, control-flow graph, control dependence |
1 | David W. Binkley |
Precise Executable Interprocedural Slices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 31-45, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 17-30, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
polymorphic type reconstruction, type errors |
1 | Xiaolei Qian, Allen Goldberg |
Referential Opacity In Nondeterministic Data Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 233-241, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers |
References to Remote Mobile Objects in Thor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 115-126, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 127-134, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
smart pointers, dangling pointers |
1 | Kenneth Walker, Ralph E. Griswold |
The Maintenance of Intermediate Values in Goal-Directed Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 284-298, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Amitabh Srivastava |
Unreachable Procedures in Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(4), pp. 355-364, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Suzanne W. Dietrich |
Shortest Path by Approximation in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(2), pp. 119-137, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ambuj K. Singh |
On Reasoning With the Global Time Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 89-103, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy |
Generalized Algorithmic Debugging and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(4), pp. 303-322, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Dornic, Pierre Jouvelot, David K. Gifford |
Polymorphic Time Systems for Estimating Program Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 33-45, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 243-260, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Fraser, David R. Hanson, Todd A. Proebsting |
Engineering a Simple, Efficient Code-Generator Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 213-226, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael Weiss |
The Transitive Closure of Control Dependence: The Iterated Join. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(2), pp. 178-190, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David Goldberg 0001 |
The Design of Floating-Point Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(2), pp. 138-151, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ralph E. Johnson |
Reducing the Latency of a Real-Time Garbage Collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 46-58, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Johnathan M. Asuru |
Optimization of Array Subscript Range Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(2), pp. 109-118, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Robert H. B. Netzer, Barton P. Miller |
What Are Race Conditions? Some Issues and Formalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 74-88, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kelvin D. Nilsen, William J. Schmidt |
Cost-Effective Object Space Management for Hardware-Assisted Real-Time Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(4), pp. 338-354, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Preston Briggs, Keith D. Cooper, Linda Torczon |
Coloring Register Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 3-13, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bruce McKenney, Boleslaw K. Szymanski |
Generating Parallel Code for SIMD Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 59-73, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Balkrishna Ramkumar |
Distributed Last Call Optimization for Portable Parallel Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 266-283, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, John Hatcliff |
CPS-Transformation After Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 195-212, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Keith D. Cooper, Mary W. Hall, Linda Torczon |
Unexpected Side Effects of Inline Substitution: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 22-32, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Carl McConnell, Ralph E. Johnson |
Using Static Single Assignment Form in a Code Optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(2), pp. 152-160, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mary W. Hall, Ken Kennedy |
Efficient Call Graph Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 227-242, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael G. Burke, Jong-Deok Choi |
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(1), pp. 14-21, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | William Landi |
Undecidability of Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(4), pp. 323-337, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David Tarditi, Peter Lee 0001, Anurag Acharya 0001 |
No Assembly Required: Compiling Standard ML to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(2), pp. 161-177, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | William W. Pugh |
Definitions of Dependence Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 261-265, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|