The programmer's task is often taken to be the construction of algorithms, expressed in hierarchical structures of procedures: this view underlies the majority of traditional programming languages, such as Fortran. A different view is appropriate to a wide class of problem, perhaps including some problems in High Energy Physics. The programmer's task is regarded as having three main stages: first, an explicit model is constructed of the reality with which the program is concerned; second, this model is elaborated to produce the required program outputs; third, the resulting program is transformed to run efficiently in the execution environment. The first two stages deal in network structures of sequential processes; only the third...
Computer hardware keeps increasing in complexity. Software design needs to keep up with this. The ri...
Abstract. Classical computing has well-established formalisms for specifying, refining, composing, p...
Solving typical textbook physics problems, such as those found in books used in high school and firs...
The idea of building a programmer is very seductive in that it holds the promise of massive bootstra...
High level computer programming languages have been an important influence on computer science since...
Computational models are arising is which programs are constructed by specifying large networks of...
Programmers do their work by writing — a piece of software is a structure made from words. These str...
Programmers do their work by writing – a piece of software is a structure made from words. These str...
The call for submissions suggests a theme for a Grand Challenge: Develop approaches to the teaching ...
Control of complexity in large programming systems. Building abstractions: computational processes; ...
To date, programming language research has made several major contributions to the support of high s...
As computer technology matures, our growing ability to create large systems is leading to basic chan...
<p>The fundamental difficulty with scientific software is that the existing languages are either<br>...
Due to the computationally intensive nature of astrodynamics tasks, astrodynamicists have relied on...
In these two lectures I shall try to examine the following three questions: i) Why did high-energy p...
Computer hardware keeps increasing in complexity. Software design needs to keep up with this. The ri...
Abstract. Classical computing has well-established formalisms for specifying, refining, composing, p...
Solving typical textbook physics problems, such as those found in books used in high school and firs...
The idea of building a programmer is very seductive in that it holds the promise of massive bootstra...
High level computer programming languages have been an important influence on computer science since...
Computational models are arising is which programs are constructed by specifying large networks of...
Programmers do their work by writing — a piece of software is a structure made from words. These str...
Programmers do their work by writing – a piece of software is a structure made from words. These str...
The call for submissions suggests a theme for a Grand Challenge: Develop approaches to the teaching ...
Control of complexity in large programming systems. Building abstractions: computational processes; ...
To date, programming language research has made several major contributions to the support of high s...
As computer technology matures, our growing ability to create large systems is leading to basic chan...
<p>The fundamental difficulty with scientific software is that the existing languages are either<br>...
Due to the computationally intensive nature of astrodynamics tasks, astrodynamicists have relied on...
In these two lectures I shall try to examine the following three questions: i) Why did high-energy p...
Computer hardware keeps increasing in complexity. Software design needs to keep up with this. The ri...
Abstract. Classical computing has well-established formalisms for specifying, refining, composing, p...
Solving typical textbook physics problems, such as those found in books used in high school and firs...