Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002803248> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2002803248 abstract "Abstract One can have all the advantages of functional programming – correctness, clarity, simplicity, and flexibility – without any sacrifice in performance, even for a scientifically significant computation on a supercomputer. Therefore, why use Fortran? We demonstrate parity – equality of speed and storage use – between a program generated automatically from a functional specification and a program written by hand in the procedural style. To our knowledge, this demonstration of parity is the first for a program that solves a scientifically significant problem – quasi-linear hyperbolic partial differential equations – on a scientifically interesting supercomputer – the CRAY X-MP. We use pure Lisp, including higher-order functions, to express the functional specification for the PDE solver. We designed this specification for maximal clarity and flexibility, rather than for efficiency. Nevertheless, we obtain a highly efficient program to solve the PDEs: automated program transformations put back the missing efficiency as they produce an executable Fortran program from the specification. The generated Fortran program vectorizes on the CRAY X-MP and runs about 4% faster than a handwritten Fortran program for the same problem. We describe the problem and the specification, and some of the problem-domain-specific and hardware-specific transformations that we use to obtain the high-efficiency program." @default.
- W2002803248 created "2016-06-24" @default.
- W2002803248 creator A5003787025 @default.
- W2002803248 creator A5042278739 @default.
- W2002803248 date "1992-01-01" @default.
- W2002803248 modified "2023-09-23" @default.
- W2002803248 title "A practical functional program for the CRAY X-MP" @default.
- W2002803248 cites W192913961 @default.
- W2002803248 cites W1983483676 @default.
- W2002803248 cites W1984646543 @default.
- W2002803248 cites W1988346612 @default.
- W2002803248 cites W1992808564 @default.
- W2002803248 cites W2014215072 @default.
- W2002803248 cites W2064984147 @default.
- W2002803248 cites W2084405255 @default.
- W2002803248 cites W2110606305 @default.
- W2002803248 doi "https://doi.org/10.1017/s0956796800000289" @default.
- W2002803248 hasPublicationYear "1992" @default.
- W2002803248 type Work @default.
- W2002803248 sameAs 2002803248 @default.
- W2002803248 citedByCount "18" @default.
- W2002803248 crossrefType "journal-article" @default.
- W2002803248 hasAuthorship W2002803248A5003787025 @default.
- W2002803248 hasAuthorship W2002803248A5042278739 @default.
- W2002803248 hasConcept C160145156 @default.
- W2002803248 hasConcept C169590947 @default.
- W2002803248 hasConcept C173608175 @default.
- W2002803248 hasConcept C199360897 @default.
- W2002803248 hasConcept C2778241615 @default.
- W2002803248 hasConcept C2778770139 @default.
- W2002803248 hasConcept C41008148 @default.
- W2002803248 hasConcept C42383842 @default.
- W2002803248 hasConcept C459310 @default.
- W2002803248 hasConcept C519991488 @default.
- W2002803248 hasConcept C55439883 @default.
- W2002803248 hasConcept C83283714 @default.
- W2002803248 hasConceptScore W2002803248C160145156 @default.
- W2002803248 hasConceptScore W2002803248C169590947 @default.
- W2002803248 hasConceptScore W2002803248C173608175 @default.
- W2002803248 hasConceptScore W2002803248C199360897 @default.
- W2002803248 hasConceptScore W2002803248C2778241615 @default.
- W2002803248 hasConceptScore W2002803248C2778770139 @default.
- W2002803248 hasConceptScore W2002803248C41008148 @default.
- W2002803248 hasConceptScore W2002803248C42383842 @default.
- W2002803248 hasConceptScore W2002803248C459310 @default.
- W2002803248 hasConceptScore W2002803248C519991488 @default.
- W2002803248 hasConceptScore W2002803248C55439883 @default.
- W2002803248 hasConceptScore W2002803248C83283714 @default.
- W2002803248 hasLocation W20028032481 @default.
- W2002803248 hasOpenAccess W2002803248 @default.
- W2002803248 hasPrimaryLocation W20028032481 @default.
- W2002803248 hasRelatedWork W112566659 @default.
- W2002803248 hasRelatedWork W1489902298 @default.
- W2002803248 hasRelatedWork W1529646094 @default.
- W2002803248 hasRelatedWork W1569260374 @default.
- W2002803248 hasRelatedWork W176843167 @default.
- W2002803248 hasRelatedWork W192913961 @default.
- W2002803248 hasRelatedWork W1969117570 @default.
- W2002803248 hasRelatedWork W2014215072 @default.
- W2002803248 hasRelatedWork W2023299380 @default.
- W2002803248 hasRelatedWork W2034990008 @default.
- W2002803248 hasRelatedWork W2047822040 @default.
- W2002803248 hasRelatedWork W205373354 @default.
- W2002803248 hasRelatedWork W2064984147 @default.
- W2002803248 hasRelatedWork W2089241138 @default.
- W2002803248 hasRelatedWork W2091331751 @default.
- W2002803248 hasRelatedWork W2154686390 @default.
- W2002803248 hasRelatedWork W2289466467 @default.
- W2002803248 hasRelatedWork W2402395594 @default.
- W2002803248 hasRelatedWork W2516323 @default.
- W2002803248 hasRelatedWork W3100383223 @default.
- W2002803248 isParatext "false" @default.
- W2002803248 isRetracted "false" @default.
- W2002803248 magId "2002803248" @default.
- W2002803248 workType "article" @default.