By Topic

Knowledge-based support for scientific programming

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
E. Kant ; Schlumberger Lab. for Comput. Sci., Austin, TX, USA

The author considers how knowledge-based tools can support scientific computing, with a focus on the support of code generation. Scientific computing traditionally is carried out by mathematical modelers who write their own Fortran programs. As faster machines and new architectures make more complex problems computationally feasible, programming becomes more cost effective. Scientific computing comprises a variety of activities including model formulation, coding, and interpretation. The SINAPSE program synthesis system illustrates the use of knowledge-based techniques in model solution. SINAPSE is designed to be part of a problem-solving environment for forward modeling that includes several additional scientific programming activities. SINAPSE generates code by applying refinements and optimizing transformations, first producing an algorithm description and then an array-based, high-level language program before generating target code. SINAPSE generates implementations targeted toward a specified architecture

Published in:

Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh

Date of Conference:

20-23 Sep 1992