summaryrefslogtreecommitdiffstats
path: root/final_project/paper/outline
blob: ca04e747c7352eb9ac80ca11367f111cdce23c8d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

Title: Generic Operator Discovery
=================================

 Abstract: Predicate dispatch for generic operators [blah blah]

Generic Operator Discovery System
---------------------------------

 Conceptual Description
  - review of predicate dispatch
  - motivation

 Implementation
  - list of procedures
  - areas for improvement

 Applications
  - examples from mechanics
  - examples of searching


 GUI Interface
  - description of FFI (cite what's his name)
  - how it works
  - gtk bindings
  - procedures? description of our interface
  - screenshots!



Code Appendix
-------------
 discovery.scm
 gtk-gui.scm?