Skip to search formSkip to main contentSkip to account menu

Abstract syntax

Known as: First-order, First-order abstract syntax 
In computer science, the abstract syntax of data is its structure described as a data type (possibly, but not necessarily, an abstract data type… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
Abstract Syntax Notation OneAbstract data typeAbstract semantic graphAbstract syntax tree

Broader (2)

ParsingProgramming language theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Foundations of Semantics and Model Checking in a Software Engineering Course
Formal methods provide systematic and rigorous techniques for software development and we believe that they should be part of… 
2011
2011
Fulfilling the hypermedia constraint via HTTP OPTIONS, the HTTP vocabulary in RDF, and link headers
One of the main REST design principles is the focus on media types as the core of contracts on the Web. However, not always is… 
2010
2010
Abstract syntax driven language development: defining language semantics through aspects
The paper presents an approach for defining a computer language driven by a language's abstract syntax. The whole process of… 
2009
2009
An OCL extension for checking and transforming UML models
The increasing use of models in specification and design phases makes them first class citizens. Models which had, till now, been… 
2008
2008
Statecharts and Variabilities.
We present a formalism that allows to specify the behavior of product lines using UML statecharts. We use feature diagrams to… 
2007
2007
Better training for function labeling
Function labels enrich constituency parse tree nodes with information about their abstract syntactic and semantic roles. A common… 
2005
2005
MinCaml: a simple and efficient compiler for a minimal functional language
We present a simple compiler, consisting of only 2000 lines of ML, for a strict, impure, monomorphic, and higher-order functional… 
2001
2001
Design Pattern Recovery Based on Source Code Analysis with Fuzzy Logic
Program comprehension is one of the most difficult parts in computer science. At the latest, the turn of the year 1999 has shown… 
2000
2000
Towards Two-Level Formal Modeling of Computer-Based Systems
A circuit for generating a relatively-long-duration timing signal whose duration is a fixed multiple of the duration of a… 
1999
1999
Relating Templates to Language and Logic
Syntactic theories relate sentence structure to the details of morphemes, inflections, and word order. Semantic theories relate… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)