Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,740,537 papers from all fields of science
Search
Sign In
Create Free Account
ASF+SDF Meta-Environment
Known as:
ASF
, ASF+SDF
The ASF+SDF Meta-Environment is an IDE and toolset for interactive program analysis and transformation. It combines SDF (Syntax Definition Formalism…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
ANTLR
D-Bus
GLR parser
Integrated development environment
Expand
Broader (1)
Language workbench
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
A Robust Feature Extraction Algorithm for Audio Fingerprinting
Jianping Chen
,
Tiejun Huang
Pacific Rim Conference on Multimedia
2008
Corpus ID: 9085734
In this paper, we present a new feature extraction algorithm which is referred to as weighted ASF (WASF) in a fingerprint system…
Expand
2006
2006
ASF+SDF Meta-Environment 2.0.3
M. deBrand
,
J. Vinju
,
+4 authors
G. Economopoulos
2006
Corpus ID: 122051635
Highly Cited
2004
Highly Cited
2004
Model-Driven Program Transformation of a Large Avionics Framework
Jeffrey G. Gray
,
Jing Zhang
,
+7 authors
T. Bapty
International Conference on Generative…
2004
Corpus ID: 15009651
Model-driven approaches to software development, when coupled with a domain-specific visual language, assist in capturing the…
Expand
2002
2002
The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
M. Brand
,
Pierre-Etienne Moreau
,
C. Ringeissen
2002
Corpus ID: 61533548
This paper describes the development of a new ELAN environment using ASF+SDF meta-environment component technology. The ELAN…
Expand
2001
2001
Source code transformations using the new ASF+SDF Meta-Environment
H. Zaadnoordijk
2001
Corpus ID: 58851235
This masters thesis is about performing automatic source code transformation using the traversal functions in the new ASF+SDF…
Expand
Review
2001
Review
2001
The rewriting calculus - Part II
Horatiu Cirstea
,
C. Kirchner
Logic Journal of the IGPL
2001
Corpus ID: 441393
The ρ-calculus integrates in a uniform and simple setting first-order rewriting, λ-calculus and nondeterministic computations…
Expand
1998
1998
Timed Bisimulation and Open Maps
T. Hune
,
M. Nielsen
International Symposium on Mathematical…
1998
Corpus ID: 9535269
Open maps have been used for defining bisimulations for a range of models, but none of these have modelled real-time. We define a…
Expand
1997
1997
Renovation of the Asf+Sdf meta-environment: current state of affairs
M. Brand
,
J. Heering
,
P. Klint
1997
Corpus ID: 16520545
The current implementation of the ASF+SDF Meta-Environment has been in existence for more than five years and is becoming…
Expand
1994
1994
Control and Data Transfer in the Distributed Editor of the ASF+SDF Meta-environment
A. V. Waveren
,
P. Vriend
,
S. V. Vlijmen
1994
Corpus ID: 57457216
For the ASF+SDF Meta-environment K93] a new editor that combines text editing and structure editing was designed and implemented…
Expand
Highly Cited
1991
Highly Cited
1991
Effect of a high-temperature cycle on the mechanical properties of silicon carbide/titanium metal matrix composites
R. Naik
,
W. Pollock
,
W. S. Johnson
1991
Corpus ID: 137400662
The effects of fibre/matrix interface strength and thermal residual stresses on the mechanical properties of a silicon carbide…
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