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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Formal methods provide systematic and rigorous techniques for software development and we believe that they should be part of… 
2015
2015
The pedagogical expressiveness of designed courses using Learning Management Systems (LMS) is highly dependent on the teachers… 
2006
2006
A central question in the study of language acquisition is how children develop a grammar consisting of abstract syntactic… 
2005
2005
We present a simple compiler, consisting of only 2000 lines of ML, for a strict, impure, monomorphic, and higher-order functional… 
2001
2001
There has come to be a consensus that the “procedural vs. declarative” distinction is useful, if only as a rough guide, in the… 
Highly Cited
1994
Highly Cited
1994
Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of…