Intentional programming is a new paradigm in software engineering that allows
programming languages to be implemented in a highly extensible manner. In particular, the …

Software reuse is inhibited by the many different ways in which equivalent data can be
represented. We describe methods by which views can be constructed semi-automatically to …

It is well known in the simulation community that creating scientific simulations is a difficult
task. The mathematical complexity and large scale of modern simulation systems presents …

The investigators on this proposal come from a wide range disciplines within Computer
Science: numerical analysis, computational geometry, symbolic computing, compilation, and …

One of the activities in the step-wise development of programs is the transformation of
abstract programs involving abstract data types, such as graphs, sets, and sequences, that …

The science and engineering disciplines rely heavily on computer simulation as a tool for
solving large, complex mathematical problems. The difficulty of creating scientific simulation …

This thesis considers the theory and implementation of algorithms as executable
specifications. An algorithm is a program that is written in a language that is specific to the …

This study is an analysis of book sharing in a sample of 13 low-SES mothers and their 6-
month-old infants who were born prematurely and high risk for developmental delays. The …

The paper presents SYDNA (SYmbolic-Driven Numerical Analysis), a computer algebra
library dedicated to the analysis and synthesis of numerical algorithms. The system provides …

Die Dissertation liefert einen Beitrag zur Entwicklung von Compilern funktionaler Sprachen
zur Erzeugung von Zielcode in einer höheren prozeduralen Programmiersprache. In der …