Matches in SemOpenAlex for { <https://semopenalex.org/work/W1485020596> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1485020596 endingPage "61" @default.
- W1485020596 startingPage "49" @default.
- W1485020596 abstract "Some of the papers presented in this book already have been widely circulated; others were published in well-known journals, like IBM Systems Journal but largely were ignored when they first appeared; and then there are the obscure papers like this one by Ashcroft and Manna, which was presented at the 1971 IFIP Conference in Ljubljana, Yugoslavia. It's not that the ideas in the paper are obscure -- it's just that very few people in the mainstream EDP community attended the Conference, and precious few copies of the conference proceedings ever found their way into American libraries. It is, however, a paper that many people over the years have wanted to read, particularly since it deals with a subject also mentioned by Knuth (Structured Programming with go to State, ments [see Paper 20]), Wulf (A Case Against the GOTO [Paper 8]), and Bom and Jacopini (Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules [Paper 2]).The subject of the Ashcroft and Manna paper is the translation of unstructured programs into equivalent structured programs. Although Wulf's paper sets forth a more practical, step-by-step mechanism for such translations, Ashcroft and Manna give an extremely detailed, extremely theoretical presentation, providing an important addition to the work of Bom and Jacopini --- but it's definitely for the more serious students of computer science.The larger issue of is ignored by Ashcroft and Manna, and, to a large extent, by everyone else. The issue began as a theoretical question: Could any program be written as a structured program? Bom and Jacopini answered the question in the affirmative by demonstrating that any arbitrary program could be translated ir/to an equivalent structured program. Wulf, Knuth, and Ashcroft and Manna shifted the emphasis of the question slightly: Could one translate an existing program into a structured program that still would have the same topology as the original program? To most people, the mere question suggested heresy, perverting the very idea of writing structured programs! Rather than writing bad code and then cleaning it up, they argued, we should begin by writing good code in the first place.But the larger issue of restructuring does exist. The vast mountains of unstructured code, which already were written before structured programming came along, clearly can't be thrown away. Members of the average EDP organization have to live with their code, for better or worse, for a period of ten years or more before they can afford to discard it. Do Ashcroft and Manna have the solution for these people? Can we take existing unstructured code and translate it into more maintainable, structured code? And, more important, can we do it mechanically?In principle, we can. Indeed, the Ashcroft-Manna algorithm has been built into so-called structuring engines such as the one described by Guy de Balbine in Better Manpower Utilization Using Automatic Restructuring. But there are questions that still have not been completely answered: For example, can one really trust such an automatic translation process? What if the original unstructured program worked because of its use of syntactically illegal COBOL statements --- not in spite of, but because of illegal statements that the compiler ignored, or for which it produced mysterious object code that accidentally produced the right result!Another somewhat ironic situation could occur that would hamper the success of an automatic translation process: After living with a program for ten years, a veteran maintenance programmer may have become intimately familiar with the rat's-nest unstructured logic, and a mechanical translation of the program into a structured form actually might be less understandable! Of course, it is unlikely that a structuring engine could improve anything but the control structures (and perhaps the formatting, if a PRETTYPRINT function is included); the data-names still might be so cryptic that nobody would be able to understand the program. Moreover, the program might be part of a larger system suffering from all the problems of, say, pathological connections or global data areas.So, it is not entirely clear that the world really wants mechanical structuring algorithms. However, since situations do exist in which the capability might be useful, it is a very good idea to be familiar with the kind of translation mechanisms that Ashcroft and Manna present." @default.
- W1485020596 created "2016-06-24" @default.
- W1485020596 creator A5034436241 @default.
- W1485020596 creator A5089372145 @default.
- W1485020596 date "1979-01-01" @default.
- W1485020596 modified "2023-09-26" @default.
- W1485020596 title "The translation of ''go to'' programs to ''while'' programs" @default.
- W1485020596 cites W1994718921 @default.
- W1485020596 cites W2019738397 @default.
- W1485020596 cites W2038286031 @default.
- W1485020596 cites W2068842094 @default.
- W1485020596 cites W2102075452 @default.
- W1485020596 cites W2168326757 @default.
- W1485020596 cites W2911480877 @default.
- W1485020596 hasPublicationYear "1979" @default.
- W1485020596 type Work @default.
- W1485020596 sameAs 1485020596 @default.
- W1485020596 citedByCount "5" @default.
- W1485020596 crossrefType "book" @default.
- W1485020596 hasAuthorship W1485020596A5034436241 @default.
- W1485020596 hasAuthorship W1485020596A5089372145 @default.
- W1485020596 hasConcept C114094675 @default.
- W1485020596 hasConcept C126838900 @default.
- W1485020596 hasConcept C145420912 @default.
- W1485020596 hasConcept C161191863 @default.
- W1485020596 hasConcept C171250308 @default.
- W1485020596 hasConcept C17744445 @default.
- W1485020596 hasConcept C192562407 @default.
- W1485020596 hasConcept C199360897 @default.
- W1485020596 hasConcept C199539241 @default.
- W1485020596 hasConcept C2777601897 @default.
- W1485020596 hasConcept C2777617010 @default.
- W1485020596 hasConcept C2777855551 @default.
- W1485020596 hasConcept C33923547 @default.
- W1485020596 hasConcept C41008148 @default.
- W1485020596 hasConcept C70388272 @default.
- W1485020596 hasConcept C71924100 @default.
- W1485020596 hasConcept C9870796 @default.
- W1485020596 hasConceptScore W1485020596C114094675 @default.
- W1485020596 hasConceptScore W1485020596C126838900 @default.
- W1485020596 hasConceptScore W1485020596C145420912 @default.
- W1485020596 hasConceptScore W1485020596C161191863 @default.
- W1485020596 hasConceptScore W1485020596C171250308 @default.
- W1485020596 hasConceptScore W1485020596C17744445 @default.
- W1485020596 hasConceptScore W1485020596C192562407 @default.
- W1485020596 hasConceptScore W1485020596C199360897 @default.
- W1485020596 hasConceptScore W1485020596C199539241 @default.
- W1485020596 hasConceptScore W1485020596C2777601897 @default.
- W1485020596 hasConceptScore W1485020596C2777617010 @default.
- W1485020596 hasConceptScore W1485020596C2777855551 @default.
- W1485020596 hasConceptScore W1485020596C33923547 @default.
- W1485020596 hasConceptScore W1485020596C41008148 @default.
- W1485020596 hasConceptScore W1485020596C70388272 @default.
- W1485020596 hasConceptScore W1485020596C71924100 @default.
- W1485020596 hasConceptScore W1485020596C9870796 @default.
- W1485020596 hasLocation W14850205961 @default.
- W1485020596 hasOpenAccess W1485020596 @default.
- W1485020596 hasPrimaryLocation W14850205961 @default.
- W1485020596 hasRelatedWork W129172549 @default.
- W1485020596 hasRelatedWork W1499226144 @default.
- W1485020596 hasRelatedWork W1504915353 @default.
- W1485020596 hasRelatedWork W1993233777 @default.
- W1485020596 hasRelatedWork W2004590855 @default.
- W1485020596 hasRelatedWork W2071315139 @default.
- W1485020596 hasRelatedWork W2076442367 @default.
- W1485020596 hasRelatedWork W2112893575 @default.
- W1485020596 hasRelatedWork W2150057844 @default.
- W1485020596 hasRelatedWork W2172461409 @default.
- W1485020596 hasRelatedWork W2175843909 @default.
- W1485020596 hasRelatedWork W2186328278 @default.
- W1485020596 hasRelatedWork W2187346208 @default.
- W1485020596 hasRelatedWork W2200847460 @default.
- W1485020596 hasRelatedWork W2401745136 @default.
- W1485020596 hasRelatedWork W2487682373 @default.
- W1485020596 hasRelatedWork W2499284974 @default.
- W1485020596 hasRelatedWork W2987778992 @default.
- W1485020596 hasRelatedWork W2988746365 @default.
- W1485020596 hasRelatedWork W1688664186 @default.
- W1485020596 isParatext "false" @default.
- W1485020596 isRetracted "false" @default.
- W1485020596 magId "1485020596" @default.
- W1485020596 workType "book" @default.