|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1194 occurrences of 617 keywords
|
|
|
|
|
Results
Found 1568 publication records. Showing 1568 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Amelia C. Fong |
Generalized Common Subexpressions in Very High Level Languages.  |
POPL  |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Benton L. Leong, Detlef Wotschke |
The Influence of Productions on Derivations and Parsing. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Wegbreit |
Goal-Directed Program Transformation. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Analysis of programs, Evaluation in context, Execution analysis, Program analysiss, APL, Program transformation, Generalization, Lisp, Compiler optimization, Partial evaluation, Simplification, List processing, Very high level language, Optimizing transformations |
| 1 | James R. Low, Paul Rovner |
Techniques for the Automatic Selection of Data Structures. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilf R. LaLonde |
On Directly Constructing LR(k) Parsers Without Chain Reductions. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianne E. Britton, Frederick C. Druseikis, Ralph E. Griswold, David R. Hanson, Richard A. Holmes |
Procedure Referencing Environments in SL5. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Boyer, J Strother Moore, Robert E. Shostak |
Primitive Recursive Program Transformations. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Theorem proving, Program verification, LISP, LISP, Flowcharts, Structural induction |
| 1 | David B. Loveman |
Program Improvement by Source to Source Transformation. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Program improvement, Optimization, Compilation, Source-to-source transformation, Program manipulation |
| 1 | Gregory R. Ruth |
Automatic Design of Data Processing Systems. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip D. Summers |
A Methodology for Lisp Program Construction from Examples. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
LISP |
| 1 | Harry B. Hunt III |
A Complexity Theory of Grammar Problems. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul R. Kosinski |
Mathematical Semantics and Data Flow Programming. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan L. Graham, Robert M. Graham, Michael A. Harrison, William I. Grosky, Jeffrey D. Ullman (eds.) |
Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976 |
POPL |
1976 |
DBLP BibTeX RDF |
|
| 1 | Brenda S. Baker |
An Algorithm for Structuring Programs. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman |
Code Generation for Expressions with Common Subexpressions. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Amelia C. Fong, Jeffrey D. Ullman |
Induction Variables in Very High Level Languages. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhold Franck |
PLAN2D - Syntactic Analysis of Precedence Graph Grammars. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil D. Jones, Steven S. Muchnick |
Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew M. Geller |
Test Data as an Aid in Proving Program Correctness. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs |
| 1 | Peter Henderson 0001, James H. Morris Jr. |
A Lazy Evaluator. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
LISP |
| 1 | Patricia P. Griffiths, Charles J. Prenner |
Verifying Formal Specifications of Synchronous Processes. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Kennedy, Scott K. Warren |
Automatic Generation of Efficient Evaluators for Attribute Grammars. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil D. Jones, Steven S. Muchnick |
Even Simple Programs are Hard to Analyze. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Cook, Derek C. Oppen |
An Assertion Language for Data Structures. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | John B. Goodenough 0002 |
Structured Exception Handling. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | George T. Ligler |
A Mathematical Approach to Language Design. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Jazayeri, William F. Ogden, William C. Rounds |
On the Complexity of the Circularity Test for Attribute Grammars. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Lauer, Roy H. Campbell |
A Description of Path Expressions by Petri Nets. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan L. Graham, Mark N. Wegman |
A Fast and Usually Linear Algorithm for Global Flow Analysis. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Marvin H. Solomon |
Modes, Values, and Expressions. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mikelsons |
Computer Assisted Application Definition. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Amelia C. Fong, John B. Kam, Jeffrey D. Ullman |
Application of Lattice Algebra to Loop Optimization. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Kennedy |
Node Listings Applied to Data Flow Analysis. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan L. Gerhart |
Correctness-Preserving Program Transformations. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob T. Schwartz |
Automatic Data Structure Choice in a Language of Very High Level. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
data structure choice, set-theoretic languages, automatic programming, high level languages, program optimization |
| 1 | Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman |
On the Complexity of LR(k) Testing. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Naur |
Programming Languages, Natural Languages, and Mathematics. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene Greif, Carl Hewitt |
Actor Semantics of Planner-73. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick A. V. Hall, Peter Hitchcock, Stephen Todd |
An Algebra of Relations for Machine Computation. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn F. Stewart |
An Algebraic Model for String Patterns. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce P. Lester |
Program Schemas with Concurrency: Execution Time and Hangups. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellis S. Cohen |
A Semantic Model for Parallel Systems with Scheduling. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | D. M. Symes |
New Control Structures to Aid Gotolessness. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Graham, Michael A. Harrison, John C. Reynolds (eds.) |
Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975 |
POPL |
1975 |
DBLP BibTeX RDF |
|
| 1 | Richard J. Lipton |
Reduction: A New Method of Proving Properties of Systems of Processes. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Nolin, G. Ruggiu |
Formalization of Exel. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok K. Chandra |
On the Decision Problems of Program Schemas with Commutative and Invertable Functions. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Backus |
Programming Language Semantics and Closed Applicative Languages. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew S. Hecht, Jeffrey D. Ullman |
Analysis of a Simple Algorithm for Global Flow Problems. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
available expressions, depth-first spanning tree, global data flow analysis, live variables, reducibility, dominance, code optimization, interval analysis, flow graph |
| 1 | Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger |
Actor Induction and Meta-Evaluation. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman |
Deterministic Parsing of Ambiguous Grammars. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Clayton H. Lewis, Barry K. Rosen |
Recursively Defined Data Types. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew M. Geller, Michael A. Harrison |
Strict Deterministic Versus LR(0) Parsing. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong |
Procedure Linkage Optimization. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Gloria J. Lambert |
Large Scale File Processing - Pogol. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Zosel |
A Parallel Approach to Compilation. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaughan R. Pratt |
Top Down Operator Precedence. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold L. Rosenberg |
Transitions in Extendible Arrays. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick C. Fischer, Jeffrey D. Ullman (eds.) |
Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973 |
POPL |
1973 |
DBLP BibTeX RDF |
|
| 1 | Richard J. Waldinger, Karl N. Levitt |
Reasoning About Programs. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Tennent |
Mathematical Semantics of Snobol 4. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
SNOBOL4, mathematical semantics, store, pattern matching, continuation, environment, abstract syntax |
| 1 | Susan L. Graham, Steven P. Rhodes |
Practical Syntactic Error Recovery. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | David Beech |
On the Definitional Method of Standard PL/1. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary A. Kildall |
A Unified Approach to Global Program Optimization. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Schkolnick |
Labelled Precedence Parsing. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Lockwood Morris |
Advice on Structuring Compilers and Proving Them Correct. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Morris Jr. |
Types are Not Sets. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Alice E. Fischer, Michael J. Fischer |
Mode Modules as Representations of Domains. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
Displaying result #1501 - #1568 of 1568 (100 per page; Change: ) Pages: [ <<][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license