Global Information Lookup Global Information

Abstract syntax information


In computer science, the abstract syntax of data is its structure described as a data type (possibly, but not necessarily, an abstract data type), independent of any particular representation or encoding.[1] This is particularly used in the representation of text in computer languages,[2] which are generally stored in a tree structure as an abstract syntax tree. Abstract syntax, which only consists of the structure of data, is contrasted with concrete syntax, which also includes information about the representation. For example, concrete syntax includes features like parentheses (for grouping) or commas (for lists), which are not included in the abstract syntax, as they are implicit in the structure.

Abstract syntaxes are classified as first-order abstract syntax (FOAS), if the structure is abstract but names (identifiers) are still concrete (and thus requires name resolution), and higher-order abstract syntax, if the names themselves are abstract.[3]

  1. ^ Fiore, M.; Plotkin, G.; Turi, D. (1999). "Abstract syntax and variable binding". Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158). pp. 193–202. doi:10.1109/LICS.1999.782615. ISBN 0-7695-0158-3. S2CID 7384052. Retrieved 2023-11-02.
  2. ^ "ASTLOG: A language for examining abstract syntax trees". DSL'97: Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997. USENIX Association. 15 October 1997. p. 18.
  3. ^ Pfenning, F.; Elliott, C. (1988-06-01). "Higher-order abstract syntax". ACM SIGPLAN Notices. 23 (7): 199–208. doi:10.1145/960116.54010. ISSN 0362-1340.

and 23 Related for: Abstract syntax information

Request time (Page generated in 0.8297 seconds.)

Abstract syntax tree

Last Update:

An abstract syntax tree (AST) is a data structure used in computer science to represent the structure of a program or code snippet. It is a tree representation...

Word Count : 1214

Abstract syntax

Last Update:

computer science, the abstract syntax of data is its structure described as a data type (possibly, but not necessarily, an abstract data type), independent...

Word Count : 467

GNU Compiler Collection

Last Update:

Each front end uses a parser to produce the abstract syntax tree of a given source file. Due to the syntax tree abstraction, source files of any of the...

Word Count : 4911

Web Ontology Language

Last Update:

James Hendler and Guus Schreiber. The first working drafts of the abstract syntax, reference and synopsis were published in July 2002. OWL became a formal...

Word Count : 4120

Standard Generalized Markup Language

Last Update:

SGML has an abstract syntax implemented by many possible concrete syntaxes; however, this is not the same usage as in an abstract syntax tree and as in...

Word Count : 3850

Abstract semantic graph

Last Update:

In computer science, an abstract semantic graph (ASG) or term graph is a form of abstract syntax in which an expression of a formal or programming language...

Word Count : 862

Generalized algebraic data type

Last Update:

generic programming, modelling programming languages (higher-order abstract syntax), maintaining invariants in data structures, expressing constraints...

Word Count : 1309

Parse tree

Last Update:

syntax, the term syntax tree is more common. Concrete syntax trees reflect the syntax of the input language, making them distinct from the abstract syntax...

Word Count : 1353

Resource Description Framework

Last Update:

1.1" documents: "RDF 1.1 Primer", "RDF 1.1 Concepts and Abstract Syntax", "RDF 1.1 XML Syntax", "RDF 1.1 Semantics", "RDF Schema 1.1", and "RDF 1.1 Test...

Word Count : 5039

Camlp4

Last Update:

e. deconstructing and constructing abstract syntax trees in concrete syntax. The following example defines a syntax extension of OCaml. It provides a new...

Word Count : 1029

Apache Groovy

Last Update:

Apache Groovy is a Java-syntax-compatible object-oriented programming language for the Java platform. It is both a static and dynamic language with features...

Word Count : 3565

Common Logic

Last Update:

use any desired syntax, but it must be possible to demonstrate precisely how the concrete syntax of a dialect conforms to the abstract CL semantics, which...

Word Count : 456

Parsing expression grammar

Last Update:

algorithms. Both abstract and concrete syntaxes of parsing expressions are seen in the literature, and in this article. The abstract syntax is essentially...

Word Count : 6426

Manufacturing Message Specification

Last Update:

standard.[citation needed] MMS Protocol Details MMS Overview MMS V1 Abstract Syntax MMS Protocol Description MMS. Presentation by Prof. Dr. H. Kirrmann...

Word Count : 296

Syntax tree

Last Update:

Syntax tree may refer to: Abstract syntax tree, used in computer science Concrete syntax tree, used in linguistics This disambiguation page lists articles...

Word Count : 50

Algebraic data type

Last Update:

processing. Algebraic data types are highly suited to implementing abstract syntax. For example, the following algebraic data type describes a simple...

Word Count : 2056

Structure editor

Last Update:

document as a parse tree with respect to language's grammar, or as an abstract syntax tree (AST). For example, a DOM tree is essentially an AST with respect...

Word Count : 1190

XML

Last Update:

Shell: Core Syntax". Xmlsh.org. 2010-05-13. Retrieved 22 August 2010. "Resource Description Framework (RDF): Concepts and Abstract Syntax". W3C. Retrieved...

Word Count : 7031

Prolog syntax and semantics

Last Update:

The syntax and semantics of Prolog, a programming language, are the sets of rules that define how a Prolog program is written and how it is interpreted...

Word Count : 1964

Shunting yard algorithm

Last Update:

notation string, also known as Reverse Polish notation (RPN), or an abstract syntax tree (AST). The algorithm was invented by Edsger Dijkstra and named...

Word Count : 1036

Haxe

Last Update:

also used compile-time to run macros, which allow modification of the abstract syntax tree (AST). This strategy of compiling to multiple source code languages...

Word Count : 2358

ANTLR

Last Update:

combined lexer-parsers. Parsers can automatically generate parse trees or abstract syntax trees, which can be further processed with tree parsers. ANTLR provides...

Word Count : 1084

Template Haskell

Last Update:

programming by means of manipulating abstract syntax trees and 'splicing' results back into a program. The abstract syntax is represented using ordinary Haskell...

Word Count : 232

PDF Search Engine © AllGlobal.net