MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 25-Nov-96 00:31:53 GMT Content-Type: text/html Content-Length: 1546 Last-Modified: Tuesday, 24-Oct-95 14:18:31 GMT
This research focusses on automating the process of synthesizing scientific software using a high level programming language called SPL. SPL allows the programmer to indicate continuous objects of interest, like differentiable functions, distributions, etc. and manipulate them using operations from arithmetic and calculus as well as to limit their possible values by using constraints such as algebraic and differential equations. This specification is then transformed into a more concrete, executable form via user directed transformations coded in conjunction with the computer algebra substrate Weyl.