Functional programming for finite elements

Research output: Contribution to journalArticlepeer-review


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
Issue number6
StatePublished - 1989


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

Cite this