21,200 Hits in 2.8 sec

The synthesizer generator

Thomas Reps, Tim Teitelbaum
1984 Software engineering notes  
We note that this approach allows us to support a SMALLTALK-Iike, object-oriented programming style in editor specifications, insofar as an attribute that is itself an attributed tree can be viewed as  ...  is positioned at nonterminal n in the abstract-syntax tree, input is to be parsed as an N, artd attribute a is to be inserted in the abstract-syntax tree at the position of the editing cursor.  ...  tree and abstract tree are isomorphic.  ... 
doi:10.1145/390010.808247 fatcat:n25vvp6bwbhejp7agchi2fjh44

An Incremental Programming Environment

R. Medina-Mora, P.H. Feiler
1981 IEEE Transactions on Software Engineering  
In IPE the programmer has a uniform view of the program in terms of the programming language.  ...  The program is manipulated through a syntax-irected editor and its execution is controlled by a debugging facility, which is integrated with the editor.  ...  The debugging facility of IPE also works on the abstract syntax tree.  ... 
doi:10.1109/tse.1981.231109 fatcat:rjgiapvd2zdmxgxc2bgporlseu

The syntax definition formalism SDF---reference manual---

J. Heering, P. R. H. Hendriks, P. Klint, J. Rekers
1989 SIGPLAN notices  
ACKNOWLEDGEMENTS Hans van Dijk suggested to retain only parse trees without priority conflicts rather than, for instance, parse trees with a minimal number of conflicts.  ...  from parse trees to abstract syntax trees.  ...  (a) Parse tree, and (b) corresponding abstract syntax tree. (a) Parse tree, and (b) corresponding abstract syntax tree.  ... 
doi:10.1145/71605.71607 fatcat:jjtodtlabvbehkhc3jnq3pghm4

Abstract syntax and logic programming [chapter]

Dale Miller
1992 Lecture Notes in Computer Science  
I will argue here that the abstract syntax of such objects should be organized around α-equivalence classes of λ-terms instead of parse trees.  ...  Incorporating this notion of abstract syntax into programming languages is an interesting challenge.  ...  The term abstract syntax is often identified with parse trees: we shall reserve the former term for the more "abstract" form of syntax described in the next section.  ... 
doi:10.1007/3-540-55460-2_24 fatcat:lglpzoezwnagndxrc6u2kgyfem

From Abstract Syntax to Universal Dependencies

Prasanth Kolachina, Aarne Ranta
2016 Linguistic Issues in Language Technology  
This paper presents a conversion method from abstract syntax trees to dependency trees.  ...  syntax is a semantic tree representation that lies between parse trees and logical forms.  ...  Abstract syntax trees (a) are trees where the nodes and leaves are abstract syntax functions.  ... 
doi:10.33011/lilt.v13i.1391 fatcat:6ekcas34kfdgbep35xzcoptfke

Page 5698 of Mathematical Reviews Vol. , Issue 99h [page]

1999 Mathematical Reviews  
tree automata.  ...  In particular, that the giving of many semantics for a single formal language with a single syntax is in a sense dual to the process of providing a uniform approach to the semantics of a family of formal  ... 

Representing and Reasoning with Operational Semantics [chapter]

Dale Miller
2006 Lecture Notes in Computer Science  
Before processing such concrete syntax, one removes much of this concrete nonsense by parsing the data into a more abstract representation we call here parse trees (often also called abstract syntax).  ...  The λ-tree syntax approach is simply a dualizing of this practice that uses meta-level abstraction to encode object-level binders.  ... 
doi:10.1007/11814771_3 fatcat:hchq5eocyfabjpxthzilp6voge

Environments for Term Rewriting Engines for Free! [chapter]

Mark van den Brand, Pierre-Etienne Moreau, Jurgen Vinju
2003 Lecture Notes in Computer Science  
Additionally, automated parse tree construction and abstract syntax tree construction are offered. Table 2 shows a list of components related to parsing. Syntax.  ...  The parsers provide the connection from the formalism to the rewriting engine via abstract syntax trees.  ... 
doi:10.1007/3-540-44881-0_30 fatcat:ynoknzvgqnfwppq2yfbtx6d7ou

Success and failure of programming environments - report on the design and use of a graphic abstract syntax tree editor [article]

C. Recanati
2007 arXiv   pre-print
The first section gives a general description of Absynte - the abstract syntax tree editor developed within the Project.  ...  Following sections make an attempt at measuring the effectiveness of such an editor and discuss the problems raised by structured syntax editing - specially environments based on abstract syntax trees.  ...  Absynte: a graphic abstract syntax tree editor Description of the editor The Staple editor is called Absynte where these letters stand for Abstract syntax tree editor.  ... 
arXiv:0710.2358v1 fatcat:erebqgln2zdjrd66hpjved5jna

An Intermediate Representation-based Approach for Query Translation using a Syntax-Directed Method

Hassana NASSIRI, Mustapha MACHKOUR, Mohamed HACHIMI
2020 International Journal of Advanced Computer Science and Applications  
Abstract Syntax Tree An AST is a variant of parse tree where we eliminate extra information and discard irrelevant details. Fig. 11 shows the AST for the query.  ...  Parse Tree A parse tree or derivation tree is a data structure that matches the syntactic structure of the input.  ...  Fig. 11 . 11 Abstract Syntax Tree. Fig. 12 . 12 The unified Abstract Syntax Tree. Fig. 13 . 13 XML Schema. Fig. 14 . 14 Data Extraction Phase.  ... 
doi:10.14569/ijacsa.2020.0110870 fatcat:ebq7ix62jfd67cpbzjrdfmzxeq

On the formal definition of ADA [chapter]

V. Donzeau-Gouge, G. Kahn, B. Lang
1980 Lecture Notes in Computer Science  
Abstract Syntax Trees The essential idea underlying abstract syntax is the treatment of programs and program fragments as trees.  ...  A type checker is presented as a mapping from abstract syntax trees to an extended abstract syntax tree~ rather than as a mapping returning true or false.  ... 
doi:10.1007/3-540-10250-7_34 fatcat:ymlzrj6tkvhabk2c5kgclyzb5e

Design of flexible static program analyzers with PQL

S. Jarzabek
1998 IEEE Transactions on Software Engineering  
A query preprocessor translates queries into an abstract syntax tree representation called a query tree.  ...  Unlike CIA, PQL allows a programmer to query both global program design and detailed program structures (such as abstract syntax trees), using a uniform SQL-like program query notation.  ... 
doi:10.1109/32.667879 fatcat:sjnlbp2xrjgd3jsv6fjubflnbu

Abstract Syntax as Interlingua: Scaling Up the Grammatical Framework from Controlled Languages to Robust Pipelines

Aarne Ranta, Krasimir Angelov, Normunds Gruzitis, Prasanth Kolachina
2020 Computational Linguistics  
syntax is an interlingual representation used in compilers. Grammatical Framework(GF) applies the abstract syntax idea to natural languages.  ...  The concept of abstract syntax offers a unified view on many other approaches: Universal Dependencies, WordNets, FrameNets, Construction Grammars, and Abstract Meaning Representations.  ...  From Abstract Syntax Trees to Dependency Trees We need to distinguish between three kinds of trees: • abstract syntax trees, which are built from typed constructor functions, • phrase structure trees,  ... 
doi:10.1162/coli_a_00378 fatcat:pgydeto4sncmngs2oonpm7s2gm

Initial Algebra Semantics for Cyclic Sharing Structures [chapter]

Makoto Hamana
2009 Lecture Notes in Computer Science  
That approach follows the line of Fiore, Plotkin and Turi's models of abstract syntax with variable binding.  ...  We show that the obtained syntax is directly usable in the functional language Haskell, as well as ordinary data structures such as lists and trees.  ...  (abstract syntax with variable binding).  ... 
doi:10.1007/978-3-642-02273-9_11 fatcat:ktvhen52arccxbxt7ytyspjjyq

Refactoring Erlang programs

László Lövei, Zoltán Horváth, Tamás Kozsik, Anikó Víg, Tamás Nagy
2007 Periodica Polytechnica Electrical Engineering  
for pretty printing of abstract Erlang syntax trees decorated with comments.  ...  with even more information, therefore comes the Annotated Abstract Syntax Tree (AAST).  ... 
doi:10.3311/ fatcat:zs2r4cl55bf2lovijqgdppsngm
« Previous Showing results 1 — 15 out of 21,200 results