#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1979

2001

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Chris Goad
- CADE
- 1982

According to the usual formulation of the automatic programming task, one starts with a specification of a programming problem, and seeks to automatically construct a program satisfying that specification. This paper concerns a different style of automatic programming. Rather than defining the class of programming problems to be dealt with by the language… (More)

- Chris Goad
- SWWS
- 2001

A programming language is described which is built within RDF. Its code, functions, and classes are formalized as RDF resources. Programs may be expressed directly using standard RDF syntax, or via a conventional JavaScript–based syntax. RDF constitutes not only the means of expression, but also the subject matter of programs: the native objects and classes… (More)

- Chris Goad
- CADE
- 1980

A proof of Vx3yrp(x,y) can serve as a description of an algorithm which satisfies the specification given by ¢p. A variety of techniques from proof theory may be used to execute such a proof that is, to take the proof and a value for x, and compute a value for y such that ~p(x,y) holds. Proofs differ from ordinary programs in that they formalize information… (More)

- Chris Goad
- SIGGRAPH
- 1982

In many applications of three dimensional computer graphics, the appearance of the same scene must be computed repeatedly for many different positions of the viewer. This paper concerns a scheme for exploiting this property of an application for the purpose of improving the efficiency of the hidden surface computation. The scheme involves a kind of… (More)

Introduction CONTENTS Representation of the Earth's gravity field

- Byron D. Tapley, George H. Born, +15 authors Nelly M. Mognard
- Science
- 1979

Preliminary analysis of radar altimeter data indicates that the instrument has met its specifications for measuring spacecraft height above the ocean surface (+/- 10 centimeters) and significant wave height (+/- 0.5 meter). There is ample evidence that the radar altimeter, having undergone development through three earth orbit missions [Skylab, Geodynamics… (More)

- ‹
- 1
- ›