Search results for "GOTOs"

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