Automatic Programming Server

This is an experimental offering of an Automatic Programming Server that will write computer programs for you.

It is currently UNDER CONSTRUCTION. The user interface is not fancy.

You are free to use the programs that are generated for any legitimate purpose. However, these programs are furnished "as is" and with NO WARRANTY of any kind, expressed or implied, including warranties of merchantability or fitness for any purpose.

In most programming languages, a procedure specifies argument types, and any call to that procedure must use the same types. Therefore, to reuse someone else's procedure, you must understand and conform to their data types.

In our approach, a view describes how your data matches the abstract data used by the system. Generic procedures can be specialized by compilation through the view to yield versions of the programs that operate on your data.

To obtain programs from this Automatic Programming Server, you must:

  1. Describe your data structures.
  2. Make one or more views of your data as abstract data.
  3. Request programs that you would like to be written.
The programs are served to you as a file after the demo is finished. You can select the programming language desired (Lisp, C, C++, Java, or Pascal).

Programs are available for data structures (e.g. linked lists, binary trees, AVL trees) and for mathematical structures (e.g. line segment, cone).

When the program is started, a window is created with a command menu and input and output areas. Follow the directions to perform the three steps listed above.

Note: For remote users, it may take several minutes before the connection to X is fully established. After clicking in an input area and typing, you may have to wait a few minutes before typing is echoed.


Instructions

  1. You must be logged in to a host running X windows to run the demo.
  2. Type xhost + www.cs.utexas.edu (exactly as shown at left) in a window on your machine to allow this server to write to your display.
  3. Enter your X display name here if needed; you may need to change what is shown in the box to your X display name. For example, myterminal.cs.utexas.edu:0.0
  4. Click to start the demo.
Gordon S. Novak Jr.