A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Partial evaluation and symbolic computation for the understanding of Fortran programs
[chapter]
1993
Lecture Notes in Computer Science
Preserved Fulltext
We describe a technique and a tool supporting partial evaluation of Fortran programs, i.e. their specialization for specific values of their input variables. ...
From a given Fortran program and these values of its input variables, the tool provides a simplified program, which behaves like the initial one for the specific values. ...
In the sequel of this paper, we call such rules partial evaluation rules. Fig~ 7 specifies the rules for partial evaluation of assitrnments. ...
doi:10.1007/3-540-56777-1_10
fatcat:rjl7wm56trdhnasmozflqwtegq
Partial evaluation for program comprehension
1998
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Our partial evaluator may be used in two ways: by visual display of the simplified program as part of the initial program (for documentation or debugging), or by generating this simplified program as an ...
As our partial evaluator is a program comprehension tool, we have implemented a sophisticated graphical interface to facilitate the exploration of Fortran application programs. ...
doi:10.1145/289121.289138
fatcat:7uddbdxeyfc7tpilqcrqgrlfhu
Partial Evaluation for Program Comprehension
[article]
2006
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
We have adapted partial evaluation for program comprehension. Our partial evaluator performs mainly two tasks: constant propagation and statements simplification. ...
Program comprehension is the most tedious and time consuming task of software maintenance, an important phase of the software life cycle. ...
Our partial evaluator may be used in two ways: by visual display of the simplified program as part of the initial program (for documentation or debugging), or by generating this simplified program as an ...
arXiv:cs/0610096v1
fatcat:4mrekyvyzfb3be6ri3kx36huwq
Formal specification and prototyping of a program specializer
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A Prolog prototype has been derived for Fortran programs, using the Centaur programming environment. ...
This paper reports on the use of formal specifications in the development of a software maintenance tool for specializing imperative programs, which have become very complex due to extensive modifications ...
The partial evaluator may analyze any Fortran program, but it simplifies only a subset of Fortran 77. ...
doi:10.1007/3-540-59293-8_227
fatcat:tdf5jwnw45hmhhxfngaj2qzfbq
An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages
2014
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Computer programming is the core of computer science curriculum. ...
Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores. ...
Acknowledgments We are thankful to the anonymous reviewers whose valuable and constructive review comments helped us improving this manuscript.
Author Contributions ...
doi:10.1371/journal.pone.0088941
pmid:24586449
pmcid:PMC3933420
fatcat:mvk37kaweffmzfcspmicjtxlwq
Crystallographic fortran modules library (CFML): a simple toolbox for computing programs
2002
Acta Crystallographica Section A Foundations of Crystallography
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We have developed a set of Fortran 95 modules that may be used (in the Fortran 95 sense) in crystallographic and diffraction computing programs. ...
We aim to preserve the efficiency, the simplicity and the adequacy of modern Fortran for numerical calculations. All aspects of symmetry and handling of reflections are treated in dedicated modules. ...
The programs are written in FORTRAN for speed and flexibility but use Visual Basic for the GUI. ...
doi:10.1107/s0108767302088499
fatcat:b7bqevffnbh5rjwovkl3lf3abu
An automatic interprocedural analysis for the understanding of scientific application programs
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We have adapted partial evaluation techniques for program understanding. These techniques mainly use propagation through statements and simplifications of statements. ...
This paper reports on an approach for improving the understanding of old programs which have become very complex due to numerous extensions. ...
The tool is a polyvariant on-line specializer. It is based on partial evaluation but we have adapted partial evaluation for program understanding. ...
doi:10.1007/3-540-61580-6_1
fatcat:54m5gshbvbfl3kwgzlsswdruri
Computation of Sensitivity Information for Aircraft Design by Automatic Differentiation
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this note, the ADIFOR system implementing the technology of automatic differentiation for functions written in Fortran 77 is used to mechanically transform a given flow solver called TFS into a new ...
program capable of computing the original simulation and the desired derivatives in a simultaneous fashion. ...
We would also like to thank the Aerodynamics Institute, Aachen University of Technology, for making available the source code of the flow solver TFS. ...
doi:10.1007/3-540-46080-2_112
fatcat:bxlafn323ved7j3pgngjlt6rcm
High-Performance Design Patterns for Modern Fortran
2015
Scientific Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present some programming patterns that support asynchronous evaluation of expressions comprised of parallel operations on distributed data. ...
This paper presents ideas for using coordinate-free numerics in modern Fortran to achieve code flexibility in the partial differential equation (PDE) domain. ...
Acknowledgments Thanks are due to Jim Xia (IBM Canada Lab) for developing the Burgers 1D solver and Sameer Shende (University of Oregon) for help with TAU. ...
doi:10.1155/2015/942059
fatcat:z54vccqjpzhzdbkdrrpozvlynm
Page 649 of Contemporary Psychology Vol. 23, Issue 9
[page]
1978
Contemporary Psychology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The reader is assumed to have computer programming experience, preferably with the FORTRAN programming language. The text uses FORTRAN to express formally all algorithms. ...
FORTRAN is not the language of choice for most cognitive simulations, where dynamic memory and associativity between ele- ments are desirable. ...
Extracting UML Class Diagrams from Object-Oriented Fortran: ForUML
2015
Scientific Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The experiments carried out to evaluate the proposed tool show its accuracy and a few of the limitations. ...
One of the challenges faced by OO Fortran developers is the inability to obtain high level software design descriptions of existing applications. ...
Michelsen, member of the Combustion Chemistry Department at Sandia National Laboratories, for their useful comments and helpful discussions which were extremely valuable. ...
doi:10.1155/2015/421816
fatcat:5hchpfekgjgjplbuz2ljxo34ru
Tonto: A Fortran Based Object-Oriented System for Quantum Chemistry and Crystallography
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
It offers almost all the features of the coming Fortran 2000 except for dynamic types. ...
Since the method is based on textual inclusion, it generates code which is easy for the compiler and human to understand. Example code is given, and possible future work on the language is discussed. ...
By this mechanism, the state of the function at the point of call can be stored i.e. this becomes a way to define functions with partially evaluated arguments (such notion is called a "closure", or "lambda ...
doi:10.1007/3-540-44864-0_15
fatcat:r6jcfswtafepjkg6jyv44ny5b4
Performance of FORTRAN and C GPU Extensions for a Benchmark Suite of Fourier Pseudospectral Algorithms
[article]
2012
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2012 pre-print arXiv:1206.3215v1 fatcat:a2apll3tg5e6hhs4boazszq4ia
A comparison of PGI OpenACC, FORTRAN CUDA, and Nvidia CUDA pseudospectral methods on a single GPU and GCC FORTRAN on single and multiple CPU cores is reported. ...
Example programs are provided. ...
The authors also acknowledge partial support from a Faculty Grant for innovations in teaching with technology from the division of Literature, Sciences and Arts at the University of Michigan and a Blue ...
arXiv:1206.3215v2
fatcat:lmz3ozi4lzeunmenfnt5zrlpdm
Web Tool for Constructing a Covariance Matrix from EXFOR Uncertainties
2012
EPJ Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The tool is publically available in the IAEA EXFOR Web retrieval system [1]. ...
The experimental nuclear reaction database EXFOR contains almost no covariance data because most experimentalists provide experimental data only with uncertainties. ...
in ENDF-6 (MF33) format, EXFOR covariance section, interactive 2D/3D plot and data formatted for input to a Fortran program including an example of Fortran code with a subroutine for reading energy grid ...
doi:10.1051/epjconf/20122700009
fatcat:gdrk2cgtbvgpvoydfidize4zea
Active Libraries: Rethinking the roles of compilers and libraries
[article]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Unlike traditional libraries which are passive collections of functions and objects, Active Libraries may generate components, specialize algorithms, optimize code, configure and tune themselves for a ...
Portions of this paper grew out of joint work with David Vandevoorde (who coined the term active library), Krzysztof Czarnecki, Ulrich Eisenecker, and Robert Glück [9] . ...
Partial Evaluation Code generation is an essential part of active libraries. ...
arXiv:math/9810022v1
fatcat:nldkdmiiibe5noiqqs3bj7wyu4
« Previous
Showing results 1 — 15 out of 12,642 results