Functional programming for finite elements

Research output: Contribution to journalArticle

Abstract

The problems of software reliability can, to some extent, be attributed to the nature of conventional imperative programming languages (FORTRAN, Pascal, etc.). Functional programming languages, on the other hand, adopt a radically different approach where the only control structure is the recursive application of a pre-defined function. This gives the advantage that programs are mathematical expressions and can be treated formally as such for the purpose of correctness proofs. The suitability of the functional approach is examined by writing a standard finite element program in SASL, which is a purely functional language. The clarity and conciseness of the solution is noted, and although certain problems of efficiency and optimal algorithm design require further research, it is clear that the overall top-down design imposed by a functional language is beneficial to the computational engineer.

Original languageEnglish
Pages (from-to)1343-1348
Number of pages6
JournalComputers and Structures
Volume33
Issue number6
DOIs
StatePublished - 1989

Fingerprint Dive into the research topics of 'Functional programming for finite elements'. Together they form a unique fingerprint.

Cite this