Filters








12,642 Hits in 6.0 sec

Partial evaluation and symbolic computation for the understanding of Fortran programs [chapter]

Sandrine Blazy, Philippe Facon
1993 Lecture Notes in Computer Science  
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

Sandrine Blazy, Philippe Facon
1998 ACM Computing Surveys  
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]

Sandrine Blazy
2006 arXiv   pre-print
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]

Sandrine Blazy, Philippe Facon
1995 Lecture Notes in Computer Science  
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

Muhammad Shoaib Farooq, Sher Afzal Khan, Farooq Ahmad, Saeed Islam, Adnan Abid, Hussein Suleman
2014 PLoS ONE  
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

J. Rodriguez-Carvajal, J. Gonzalez-Platas
2002 Acta Crystallographica Section A Foundations of Crystallography  
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]

Sandrine Blazy, Philippe Facon
1996 Lecture Notes in Computer Science  
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]

H. Martin Bücker, Bruno Lang, Arno Rasch, Christian H. Bischof
2002 Lecture Notes in Computer Science  
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

Magne Haveraaen, Karla Morris, Damian Rouson, Hari Radhakrishnan, Clayton Carson
2015 Scientific Programming  
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  
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

Aziz Nanthaamornphong, Jeffrey Carver, Karla Morris, Salvatore Filippone
2015 Scientific Programming  
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]

Dylan Jayatilaka, Daniel J. Grimwood
2003 Lecture Notes in Computer Science  
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]

B. Cloutier and B. K. Muite and P. Rigge
2012 arXiv   pre-print
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

V. Zerkin
2012 EPJ Web of Conferences  
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]

Todd L. Veldhuizen, Dennis Gannon
1998 arXiv   pre-print
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