UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Generation of geometric programs specified by diagrams (2011)
Yulin Li
and
Gordon S. Novak
, Jr.
The GeoGram system [21]generates programs for geometric computations by combining generic software components as specified by diagrams constructed using a graphical interface. The user specifies known and desired quantities. As diagrams are constructed, the system maintains symbolic geometric facts describing the construction. Inferences based on the diagram are used to derive new facts and to introduce new objects based on geometric reasoning, to filter choices presented to the user, to interpret the user's intention in ambiguous cases, to detect over-specification, and to generate the program. A knowledge base of descriptions of generic software components is used to prove that features of the geometry can be computed from known values. These local proofs are combined to guide generation of a program that computes the desired values from inputs. The library of generic geometric program components is used to generate both in-line code and specialized subroutines; partial evaluation improves the efficiency of the generated code. The resulting program is automatically translated into the desired language. The program can also be run interactively to simulate the geometry by generating graphical traces on the diagram as input quantities are varied.
View:
PDF
Citation:
In
Proceedings of the 10th ACM international conference on Generative programming and component engineering
, pp. 63-72, New York, NY, USA 2011. ACM.
Bibtex:
@inproceedings{Li:2011:GGP:2047862.2047874, title={Generation of geometric programs specified by diagrams}, author={Yulin Li and Gordon S. Novak and Jr.}, booktitle={Proceedings of the 10th ACM international conference on Generative programming and component engineering}, series={GPCE '11}, address={New York, NY, USA}, publisher={ACM}, pages={63-72}, url="http://www.cs.utexas.edu/users/ai-lab?li:ggp2011", year={2011} }
People
Yulin Li
Ph.D. Alumni
Gordon Novak
Faculty
novak [at] cs utexas edu
Areas of Interest
Automatic Programming
Labs
Automatic Programming