Results 1 
8 of
8
On the design of CGAL a computational geometry algorithms library
 SOFTW. – PRACT. EXP
, 1999
"... CGAL is a Computational Geometry Algorithms Library written in C++, which is being developed by research groups in Europe and Israel. The goal is to make the large body of geometric algorithms developed in the field of computational geometry available for industrial application. We discuss the major ..."
Abstract

Cited by 97 (16 self)
 Add to MetaCart
CGAL is a Computational Geometry Algorithms Library written in C++, which is being developed by research groups in Europe and Israel. The goal is to make the large body of geometric algorithms developed in the field of computational geometry available for industrial application. We discuss the major design goals for CGAL, which are correctness, flexibility, easeofuse, efficiency, and robustness, and present our approach to reach these goals. Generic programming using templates in C++ plays a central role in the architecture of CGAL. We give a short introduction to generic programming in C++, compare it to the objectoriented programming paradigm, and present examples where both paradigms are used effectively in CGAL. Moreover, we give an overview of the current structure of the CGALlibrary and consider software engineering aspects in the CGALproject.
Science, Computational Science and Computer Science: At a Crossroads
 Comm. ACM
, 1993
"... We describe computational science as an interdisciplinary approach to doing science on computers. Our purpose is to introduce computational science as a legitimate interest of computer scientists. We present a foundation for computational science based on the need to incorporate computation at the s ..."
Abstract

Cited by 29 (2 self)
 Add to MetaCart
We describe computational science as an interdisciplinary approach to doing science on computers. Our purpose is to introduce computational science as a legitimate interest of computer scientists. We present a foundation for computational science based on the need to incorporate computation at the scientific level; i.e., computational aspects must be considered when a model is formulated. We next present some obstacles to computer scientists' participation in computational science, including a cultural bias in computer science that inhibits participation. Finally, we look at some areas of conventional computer science and indicate areas of mutual interest between computational science and computer science. Keywords: education, computational science. 1 What is Computational Science ? In December, 1991, the U. S. Congress passed the High Performance Computing and Communications Act, commonly known as the HPCC . This act focuses on several aspects of computing technology, but two have...
Requirements for an Elucidative Programming Environment
, 2000
"... The main goal with this paper is to motivate and coin a variation of literate programming whichwe call elucidative programming. Elucidative programming is oriented towards program explanation with the purpose of throwing lights on important and complex program relationships. Since proposed byKnuth i ..."
Abstract

Cited by 25 (5 self)
 Add to MetaCart
The main goal with this paper is to motivate and coin a variation of literate programming whichwe call elucidative programming. Elucidative programming is oriented towards program explanation with the purpose of throwing lights on important and complex program relationships. Since proposed byKnuth in 1984, literate programming has been the most viable approach to a radical improvementofinternal program documentation. Unfortunately, most programmers #nd the ideas of literate programming, as supported by WEBlike tools, for impractical, academic, and farfetched in relation to presentday programming practices. With elucidative programming, we intend to focus on the best ideas of literate programming. We disregards the aspects of program publication as technical literature, and we provide for mechanisms with which documentation can be added to a program without a#ecting or disturbing the source program. Our ideas about elucidative programming are presented as a number of requirements, an...
FunnelWeb User's Manual
 URL HTTP://WWW.ROSS.NET/ FUNNELWEB/INTRODUCTION.HTML. PART OF THE FUNNELWEB DISTRIBUTION
, 1992
"... ..."
Implementing a Rigorous ODE Solver through Literate Programming
"... Abstract Interval numerical methods produce results that can have the power of a mathematical proof. Although there is a substantial amount of theoretical work on these methods, little has been done to ensure that an implementation of an interval method can be readily verified. However, when claimin ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
(Show Context)
Abstract Interval numerical methods produce results that can have the power of a mathematical proof. Although there is a substantial amount of theoretical work on these methods, little has been done to ensure that an implementation of an interval method can be readily verified. However, when claiming rigorous numerical results, it is crucial to ensure that there are no errors in their computation. Furthermore, when such a method is used in a computer assisted proof, it would be desirable to have its implementation published in a form that is convenient for verification by human experts. We have applied Literate Programming (LP) to produce vnodelp, a C++ solver for computing rigorous bounds on the solution of an initialvalue problem (IVP) for an ordinary differential equation (ODE). We have found LP well suited for ensuring that an implementation of a numerical algorithm is a correct translation of its underlying theory into a programming language: we can split the theory into small pieces, translate each of them, and keep mathematical expressions and the corresponding code close together in a unified document. Then it can be reviewed and checked for correctness by human experts, similarly to how a scientific work is examined in a peerreview process. 1
TEX in an industrial environment
, 1994
"... this article. Frank Mittelbach has also had, in addition to his own published contributions, a key r ole in implementing some of the concepts described in this article. ..."
Abstract
 Add to MetaCart
(Show Context)
this article. Frank Mittelbach has also had, in addition to his own published contributions, a key r ole in implementing some of the concepts described in this article.
Nordic Journal of Computing ELUCIDATIVE PROGRAMMING
"... In this paper we introduce Elucidative Programming as a variant of Literate Programming. Literate Programming represents the idea of organizing a source program in an essay that documents the program understanding. An elucidative program connects textual documentation with the abstractions and the d ..."
Abstract
 Add to MetaCart
(Show Context)
In this paper we introduce Elucidative Programming as a variant of Literate Programming. Literate Programming represents the idea of organizing a source program in an essay that documents the program understanding. An elucidative program connects textual documentation with the abstractions and the details in the source program. The documentation and the source program are defined in separate files. Using Elucidative Programming, the relations between the documentation and the units of the program are defined without use of containment. The textual documentation is intended to be technical writing about the program, and as such an elucidative program can be seen as a reflected program. Elucidative Programming allows for documentation of transverse relations among the program constituents. In addition, Elucidative Programming is oriented towards online presentation of documentation and programs in a WWW browser. 1.
No. 85 PREDICTABILITY BY CONSTRUCTION WORKING THE ARCHITECTURE/PROGRAM SEAM
, 2010
"... practice overemphasizes the distinction of software design from ..."
(Show Context)