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… 
2015
2015
DSML4CP: A Domain-specific Modeling Language for Concurrent Programming
2014
2014
GReTL: an extensible, operational, graph-based transformation language
This article introduces the graph-based transformation language GReTL. GReTL is operational, and transformations are either… 
Review
2011
Review
2011
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
2006
2006
Reconstruction effects in child language
A central question in the study of language acquisition is how children develop a grammar consisting of abstract syntactic… 
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
Beyond the "descriptive vs. procedural" distinction
There has come to be a consensus that the “procedural vs. declarative” distinction is useful, if only as a rough guide, in the… 
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… 
1995
1995
Weak behavioral subtyping for types with mutable objects
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)