[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] proposal for a tool to translate orgmode outlines into programs
From: |
Eric Schulte |
Subject: |
Re: [O] proposal for a tool to translate orgmode outlines into programs |
Date: |
Sat, 05 Oct 2013 07:53:46 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
Isaac <address@hidden> writes:
> proposal for a tool to translate orgmode outlines into programs
>
Hi Isaac,
This is a hard problem and an area of active research. Search for
"program synthesis" [1] to see a selection of work in this field.
Generally programs are built from descriptions in formal languages which
are much more structured than Org-mode, although some have also tried to
automatically write programs from man pages [2].
Armando Solar-Lezama's work [3] is related if we are including code
snippets in Org-mode code blocks, namely "program sketching" [4] which
attempts to build programs from incomplete program-language sketches and
test cases.
Best,
Footnotes:
[1] http://scholar.google.com/scholar?q=program%20synthesis
[2] https://www.usenix.org/conference/hotosxiii/macho-programming-man-pages
[3] http://people.csail.mit.edu/asolar/
[4] http://people.csail.mit.edu/asolar/papers/thesis.pdf
--
Eric Schulte
https://cs.unm.edu/~eschulte
PGP: 0x614CA05D