emacs-orgmode
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]