From mboxrd@z Thu Jan  1 00:00:00 1970
From: Eric Schulte <schulte.eric@gmail.com>
Subject: Re: proposal for a tool to translate orgmode outlines into programs
Date: Sat, 05 Oct 2013 07:53:46 -0600
Message-ID: <87ob73hlhx.fsf@gmail.com>
References: <loom.20131004T183836-496@post.gmane.org>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:44741)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <schulte.eric@gmail.com>) id 1VSSJ4-0002cN-7i
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 09:54:10 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <schulte.eric@gmail.com>) id 1VSSIz-0001oH-G0
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 09:54:06 -0400
Received: from mail-pd0-x233.google.com ([2607:f8b0:400e:c02::233]:59561)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <schulte.eric@gmail.com>) id 1VSSIz-0001ns-8c
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 09:54:01 -0400
Received: by mail-pd0-f179.google.com with SMTP id v10so5261634pde.10
	for <emacs-orgmode@gnu.org>; Sat, 05 Oct 2013 06:53:59 -0700 (PDT)
In-Reply-To: <loom.20131004T183836-496@post.gmane.org> (Isaac's message of
	"Fri, 4 Oct 2013 16:38:52 +0000 (UTC)")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Isaac <isaacpei@gmail.com>
Cc: emacs-orgmode@gnu.org

Isaac <isaacpei@gmail.com> 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