Publications
From Dyna
(Redirected from Cite)
- 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.
