20120304093 | METHOD AND APPARATUS FOR PROVIDING GRAPHICAL INTERFACES FOR DECLARATIVE SPECIFICATIONS - Example embodiments are directed towards graphical user interfaces for declarative specification languages that express the logic of a computation without describing its control flow. These user interfaces are based on a visual representation of specifications where geometric proximity may be the sole determinant of the resulting configuration. Modularity is improved as each proximal grouping is functionally independent of others. Moreover, a system that executes such specifications may treat groupings independently and execute them in parallel. | 11-29-2012 |