|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 15 keywords
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
55 | Zahira Ammarguellat |
A Control-Flow Normalization Algorithm and Its Complexity. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
control-flow normalization algorithm, control flowgraphs, control-flow cycles, GOTOs, node-splitting techniques, control dependence relations, parallel algorithms, computational complexity, complexity, graph theory, automatic parallelization, structured programming, syntax tree |
45 | Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet |
Teaching principles of computer programming. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
35 | Denis Hirn, Torsten Grust |
One WITH RECURSIVE is Worth Many GOTOs. |
SIGMOD Conference |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Eli Sennesh, Yossi Gil |
Structured gotos are (Slightly) harmful. |
SAC |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Khaled Yakdan, Sebastian Eschweiler, Elmar Gerhards-Padilla, Matthew Smith 0001 |
No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantic-Preserving Transformations. |
NDSS |
2015 |
DBLP BibTeX RDF |
|
35 | Lindsay Marshall, Jim Webber |
Gotos Considered Harmful and Other Programmers' Taboos. |
PPIG |
2000 |
DBLP BibTeX RDF |
|
35 | Karl R. Abrahamson |
Succinct Representation of Regular Sets Using Gotos and Boolean Variables. |
J. Comput. Syst. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
35 | Rudolf Berghammer, Gunther Schmidt 0001 |
A Relational View on Gotos and Dynamic Logic. |
WG |
1982 |
DBLP BibTeX RDF |
|
35 | Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing |
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). |
GI Jahrestagung |
1981 |
DBLP DOI BibTeX RDF |
|
35 | Michael A. Arbib, Suad Alagic |
Proof Rules for Gotos. |
Acta Informatica |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Stephen A. Edwards, Olivier Tardieu |
Efficient code generation from SHIM models. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
computed gotos, the shim model, embedded systems, concurrency, code synthesis |
23 | Bernd Burgstaller, Johann Blieberger, Bernhard Scholz |
On the Tree Width of Ada Programs. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Danvy |
Many Happy Returns. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jiawei Han 0001, Zhaohui Xie, Yongjian Fu 0001 |
Join Index Hierarchy: An Indexing Structure for Efficient Navigation in Object-Oriented Databases. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
join indices, query processing, query optimization, object-oriented database, Index structures |
23 | Mikkel Thorup |
Structured Programs have Small Tree-Width and Good Register Allocation (Extended Abstract). |
WG |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Cristina Cifuentes |
Structuring Decompiled Graphs. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
23 | William D. Clinger, Lars Thomas Hansen |
Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
23 | Ivan B. Liss, Thomas C. McMillan |
Program Structure and Clarity (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
23 | J. Eugene Ball |
Predicting the effects of optimization on a procedure body. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|