Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,017,669 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Abstract Syntax Notation One
Abstract data type
Abstract semantic graph
Abstract syntax tree
Expand
Broader (2)
Parsing
Programming 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
Henning Bordihn
,
Anna-Lena Lamprecht
,
T. Margaria
FMSEE&T@FM
2015
Corpus ID: 6022614
Formal methods provide systematic and rigorous techniques for software development and we believe that they should be part of…
Expand
2015
2015
Turning Recurrent Uses of E-learning Tools into Reusable Pedagogical Activities - A Meta-modeling Approach Applied to a Moodle Case-study
Esteban Loiseau
,
P. Laforcade
,
N. E. Mawas
International Conference on Computer Supported…
2015
Corpus ID: 25122540
The pedagogical expressiveness of designed courses using Learning Management Systems (LMS) is highly dependent on the teachers…
Expand
2015
2015
DSML4CP: A Domain-specific Modeling Language for Concurrent Programming
Elaheh Azadi Marand
,
Elham Azadi Marand
,
Moharram Challenger
Computer languages, systems & structures
2015
Corpus ID: 9581643
2013
2013
A domain-specific language for context modeling in context-aware systems
J. R. Hoyos
,
J. Molina
,
J. A. Blaya
Journal of Systems and Software
2013
Corpus ID: 5369935
Review
2011
Review
2011
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
Steffen Mazanek
,
M. Hanus
Journal of Visual Languages and Computing
2011
Corpus ID: 17594882
2006
2006
Reconstruction effects in child language
E. Leddon
2006
Corpus ID: 6828231
A central question in the study of language acquisition is how children develop a grammar consisting of abstract syntactic…
Expand
2005
2005
MinCaml: a simple and efficient compiler for a minimal functional language
Eijiro Sumii
FDPE '05
2005
Corpus ID: 2119074
We present a simple compiler, consisting of only 2000 lines of ML, for a strict, impure, monomorphic, and higher-order functional…
Expand
2001
2001
Beyond the "descriptive vs. procedural" distinction
W. Piez
Extreme Markup Languages®
2001
Corpus ID: 1126367
There has come to be a consensus that the “procedural vs. declarative” distinction is useful, if only as a rough guide, in the…
Expand
1995
1995
Weak behavioral subtyping for types with mutable objects
K. Dhara
,
G. Leavens
Mathematical Foundations of Programming Semantics
1995
Corpus ID: 1595071
Highly Cited
1994
Highly Cited
1994
Composing Concurrent Objects
L. Bergmans
1994
Corpus ID: 47574280
Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of…
Expand
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)
ACCEPT & CONTINUE