R. Paige, "APTS External Specification Manual", Unpublished manuscript, available at http://www.cs.nyu.edu/~jessie (1993). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Geometric Constraint Solver - Bouma, Fudos, Hoffmann (1995) (43 citations) Self-citation (Paige) (Correct)
....conveniently with a variety of ideas and approaches to constraint solving. Aside from well known special purpose tools such as LEX and Yacc, our constraint solver also makes use of the high level language SETL2 [27] to specify complex combinatorial algorithms and the transformational system APTS [7, 23] to perform syntactic analysis and symbolic manipulation of geometrical constraint specifications. 3. We study a number of neglected aspects of constraint solving. They include (a) redirecting the solver to a different solution of a well constrained sketch, b) devising generic techniques for ....
....user interface is an X application written in C using the Motif widget set. The user prepared sketch is changed into an Erep specification and is passed as text to the constraint solver. The solver is written using two novel software tools the APTS transformational programming system [7, 23] and the high level language SETL2 [27] each having special features that the solver exploits. The front end to the constraint solver engine is an APTS program that reads the Erep program and type checks it. For example, we check that only lines participate in angle constraints. If there are ....
R. Paige. Apts external specification manual. internal documentation, 1993.
Editable Representations For 2D Geometric Design - Fudos (1993) (4 citations) Self-citation (Paige) (Correct)
....Selection Information constraint solver The detailed structure of the Low level geometries and constraints among them Figure 2. 2 The structure of the constraint solver The constraint solver consists of two parts: 14 ffl A part written in the high level transformational programming system APTS [Pai93], this reads the Erep file and transforms it into a normal form where we have only points, lines, circles, distances and angles. This normal form is fed to the solver, and then the solution is read back in, and is incorporated into an EREP file. ffl The SETL2 [Sny90] program analyzes the ....
R. Paige. Apts external specification manual. internal documentation, 1993. 74
A Geometric Constraint Solver - Bouma, Fudos, Hoffmann (1995) (43 citations) Self-citation (Paige) (Correct)
....However, the semantic formalism in APTS has several advantages over the more conventional attribute grammar approach [28] that is used in the Synthesizer Generator. APTS uses a logic based approach to semantics in which semantic rules that define relations are written in a Datalog like language [54, 39] but with the full expressive power of Prolog [18] These rules are written independently of the individual grammar productions and without reference to the parse tree structure. They define relations over a rich assortment of primitive and constructed domains, and have the brevity and convenience ....
R. Paige. Apts external specification manual. internal documentation, 1993.
The TXL Source Transformation Language - Cordy (2005) (Correct)
No context found.
R. Paige, "APTS External Specification Manual", Unpublished manuscript, available at http://www.cs.nyu.edu/~jessie (1993).
Evolving TXL - Adrian Thurston James (Correct)
No context found.
R. Paige. Apts external specification manual, 1993. http://www.cs.nyu.edu/#jessie/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC