|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(3), pp. 237-251, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 336-341, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
35 | Denis Hirn, Torsten Grust |
One WITH RECURSIVE is Worth Many GOTOs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021., pp. 723-735, 2021, ACM, 978-1-4503-8343-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Eli Sennesh, Yossi Gil |
Structured gotos are (Slightly) harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1784-1789, 2016, ACM, 978-1-4503-3739-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, February 8-11, 2015, 2015, The Internet Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
35 | Lindsay Marshall, Jim Webber |
Gotos Considered Harmful and Other Programmers' Taboos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPIG ![In: Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2000, Cosenza, Italy, April 10-13, 2000, pp. 14, 2000, Psychology of Programming Interest Group. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
35 | Karl R. Abrahamson |
Succinct Representation of Regular Sets Using Gotos and Boolean Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 34(1), pp. 129-148, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
35 | Rudolf Berghammer, Gunther Schmidt 0001 |
A Relational View on Gotos and Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), Neuenkirchen (near Erlangen), Germany., pp. 13-24, 1982, Hanser, Munich, 3-446-13778-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings, pp. 109-121, 1981, Springer, 3-540-10884-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
35 | Michael A. Arbib, Suad Alagic |
Proof Rules for Gotos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 11, pp. 139-148, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Stephen A. Edwards, Olivier Tardieu |
Efficient code generation from SHIM models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 125-134, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 78-90, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Danvy |
Many Happy Returns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 1, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(2), pp. 321-337, 1999. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997, Proceedings, pp. 318-332, 1997, Springer, 3-540-63757-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Cristina Cifuentes |
Structuring Decompiled Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 91-105, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | William D. Clinger, Lars Thomas Hansen |
Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 128-139, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
23 | Ivan B. Liss, Thomas C. McMillan |
Program Structure and Clarity (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 415, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | J. Eugene Ball |
Predicting the effects of optimization on a procedure body. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979, pp. 214-220, 1979, ACM, 0-89791-002-8. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|