Publications

From Dyna

Note: None of these papers give a definitive description of the language, but they discuss different aspects. Most come with slides.

• Eisner (2009) is not a paper, but a video of a talk, with slides available.

• Eisner (2008) is an extended abstract giving the motivation and goals of the project. There are extensive accompanying slides.

• Eisner, Goldlust & Smith (2005) clearly describes an early restricted version of the language, from an NLP point of view. (A shorter early paper was Eisner, Goldlust & Smith (2004).)

• Blatz & Eisner (2007) is a long paper. It gives a denotational semantics for a somewhat more general version, and then lays out several program transformations on Dyna programs, to turn one algorithm automatically into a more efficient algorithm.

• Cohen et al. (2007) describe another program transformation on Dyna programs; this won the Best Student Paper Award at ICLP'08. (longer tech report).

• www.dyna.org may also be worth referencing as a more comprehensive and up-to-date description (but is currently out of date).

• Eisner et al. (2006) is a short paper about the Dynasty hypergraph browser.

See also our list of publications that are not primarily about Dyna, but which use Dyna.