Juno-2 swMATH ID: 7216 Software Authors: Allan Heydon; Greg Nelson Description: Foundations of a constraint-based illustrator. The talk describes some of the formal foundations of Juno-2, a constraint-based graphical illustrator implemented by Allan Heydon and Greg Nelson and available over the web in source form. par The first idea underlying Juno-2 is that constraint-based programming is obtained from ordinary imperative programming not by adding a feature but by subtracting a restriction: specifically by dropping the law of the excluded miracle from the calculus of guarded commands of Edsger W. Dijkstra. Dropping this law introduces “partial commands” (sometimes called “miracles”), which, when combined with conventional local variable introductions (“VAR statements”) creates a highly principled constraint solving primitive that is beautifully orthogonal to the conventional imperative features of the language. par The second idea is that the “combination of decision procedures technique” that has been widely used in the automatic theorem-proving community for the last two decades can also be used to combine constraint solvers for two logical theories into a single constraint solver for the combination of the theories. Juno-2 uses this idea to combine a simple solver for the theory of a pairing function (which amounts only to an implementation of unification closure) with a sophisticated numerical solver for the theory of the real numbers to produce a powerful constraint solver that is useful for producing accurate technical illustrations and animations. The talk will include a demonstration of Juno-2, weather permitting. Homepage: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7482 Related Software: Skyblue; MMP/Geometer; MEDLAR; Genocop; ISOLATE; QEPCAD; Kronecker; LT/GEOL; Geometer's Sketchpad; QOCA Cited in: 11 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Foundations of a constraint-based illustrator. Zbl 1057.68680Nelson, Greg 2002 all top 5 Cited by 24 Authors 5 Gao, Xiaoshan 3 Jiang, Kun 2 Huang, Leidong 2 Zhu, Changcai 1 Ashbrook, Anthony 1 Borning, Alan H. 1 Chou, Shangching 1 Dufourd, Jean-François 1 Fisher, Robert B. 1 Freeman-Benson, Bjørn 1 Ge, Jianxin 1 Hoar, Timothy J. 1 Hosobe, Hiroshi 1 Kamada, Tomihisa 1 Kramer, G. A. 1 Lin, Qiang 1 Mathis, Pascal 1 Matsuoka, Satoshi 1 Miyashita, Ken 1 Nelson, Greg 1 Robertson, Craig 1 Schreck, Pascal 1 Takahashi, Shin 1 Werghi, Naoufel all top 5 Cited in 6 Serials 2 CAD. Computer-Aided Design 2 Constraints 1 Artificial Intelligence 1 The Journal of Artificial Intelligence Research (JAIR) 1 Mechanism and Machine Theory 1 Science in China. Series F Cited in 4 Fields 9 Computer science (68-XX) 2 Numerical analysis (65-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year