Search
Now showing items 1-5 of 5
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
(1987-11-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
The Programmer's Apprentice Project: A Research Overview
(1987-11-01)
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial ...
Obviously Synchronizable Series Expressions: Part I: User's Manual for the OSS Macro Package
(1987-10-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
Formalizing Reusable Software Components in the Programmer's Apprentice
(1987-02-01)
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the ...
The Programmer's Apprentice: A Program Design Scenario
(1987-11-01)
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to make many of the ...