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?
|
