355 research outputs found
A Second Report on the Experiments with Programs for the Simulation of Large Scale Automata on a Digital Computer
Control Systems Laboratory changed its name to Coordinated Science LaboratoryContract DA-36-039-SC-5669
Experiments with Programs for the Simulation of Large Scale Automata on a Digital Computer
Control Systems Laboratory changed its name to Coordinated Science LaboratoryContract DA-36-039-SC-5669
Recommended from our members
DAVE -- A Validation, Error Detection and Documentation System for Fortran Programs ; CU-CS-071-75
This paper describes DAVE, a system for analyzing Fortran programs. DAVE is capable of detecting the symptoms of a wide variety of errors in programs, as well as assuring the absence of these errors. In addition, DAVE exposes and documents subtle data relations and flows within programs. The central analytic procedure used is a depth first search. DAVE itself is written in Fortran. Its implementation at the University of Colorado and some early experience are described
Recommended from our members
Some Experience with DAVE -- A Fortran Program Analyzer ; CU-CS-088-76
This paper describes DAVE, an automatic program testing aid which performs a static analysis of Fortran programs. DAVE analyzes the data flows both within and across subprogram boundaries of Fortran programs, and is able to detect occurrences of uninitialized and dead variables in such programs. The paper shows how this capability facilitates the detection of a wide variety of errors, many of which are often quite subtle. The central analytic mechanisms in DAVE is a depth-first search procedure which enables DAVE to execute efficiently. Some experiences with DAVE are described and evaluated and some future work is projected
Recommended from our members
The Detection of Anomalous Interprocedural Data Flow ; CU-CS-090-76
In an earlier paper, the authors have defined type 1 and type 2 data flow anomalies to be, respectively, the reference to an undefined variable and the definition of a variable without subsequent reference. It is not difficult to devise search techniques to detect such anomalies when the anomalous data flow is contained in a single procedure. When the data flow crosses procedure boundaries, however, many difficulties may arise. In this paper, we carefully define the conditions under which inter-procedural anomalies occur. We also show how algorithms currently used in global program optimization can easily be adapted to yield highly efficient algorithms for the detection of such inter-procedural anomalies
Recommended from our members
Automated Input/Output Variable Classification as an Aid to Validation of FORTRAN Programs ; CU-CS-037-74
Certain types of errors in the coding of FORTRAN programs can be detected by careful analysis of the input/output usage of the variables in the program. It is easy to distinguish the value giving from the value receiving usages of variables within a statement. It is then easy to identify the input and output variables for statements and basic blocks. It is observed that a program variable must not be used as an input variable unless it has been used earlier in the program as an output variable. Conversely, once a variable has been used later in the program as an input variable, it should be expected that it will be used later in the program as an input variable. Algorithms are presented which employ depth-first searching techniques to these algorithms can also be used to determine the input and output parameters for entire subprograms. This capability extends the usefulness of these verification techniques, and can also be used in attempts to automate documentation production
Revised timing of cenozoic atlantic incursions and changing hinterland sediment sources during southern patagonian orogenesis
New detrital zircon U-Pb geochronology data from the Cenozoic Magallanes-Austral Basin in Argentina and Chile ~51° S establish a revised chronostratigraphy of Paleocene-Miocene foreland synorogenic strata and document the rise and subsequent isolation of hinterland sources in the Patagonian Andes from the continental margin. The upsection loss of zircons derived from the hinterland Paleozoic and Late Jurassic sources between ca. 60 and 44Ma documents a major shift in sediment routing due to Paleogene orogenesis in the greater Patagonian-Fuegian Andes. Changes in the proportion of grains from hinterland thrust sheets, comprised of Jurassic volcanics and Paleozoic metasedimentary rocks, provide a trackable signal of long-term shifts in orogenic drainage divide and topographic isolation due to widening of the retroarc fold-thrust belt. The youngest detrital zircon U-Pb ages confirm timing of Maastrichtian-Eocene strata but require substantial age revisions for part of the overlying Cenozoic basinfill during the late Eocene and Oligocene. The upper RĂo Turbio Formation, previously mapped as middle to late Eocene in the published literature, records a newly recognized latest Eocene-Oligocene (37-27Ma) marine incursion along the basin margin. We suggest that these deposits could be genetically linked to the distally placed units along the Atlantic coast, including the El Huemul Formation and the younger San JuliĂĄn Formation, via an eastward deepening within the foreland basin system that culminated in a basin-wide Oligocene marine incursion in the Southern Andes. The overlying RĂo Guillermo Formation records onset of tectonically generated coarse-grained detritus ca. 24.3Ma and a transition to the first fully nonmarine conditions on the proximal Patagonian platform since Late Cretaceous time, perhaps signaling a Cordilleran-scale upper plate response to increased plate convergence and tectonic plate reorganization.Fil: Fosdick, Julie C.. University of Connecticut; Estados UnidosFil: VanderLeest, R. A.. University of Connecticut; Estados UnidosFil: Bostelmann, J. E.. Universidad de Chile; ChileFil: Leonard, J. S.. Arizona State University; Estados UnidosFil: Ugalde, R.. Universidad Mayor; ChileFil: OyarzĂșn, J. L.. Parque Geo-paleontolĂłgico la Cumbre-baguales; ChileFil: Griffin, Miguel. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. DivisiĂłn PaleozoologĂa Invertebrados; Argentina. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas. Centro CientĂfico TecnolĂłgico Conicet - La Plata; Argentin
Recommended from our members
An Algorithm for Finding the Elementary Circuits of a Directed Graph ; CU-CS-024-73
- âŠ