1021 search results - page 50 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
102
click to vote
WOA
2004
15 years 17 days ago
2004
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
JUCS
2008
14 years 11 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
115
click to vote
ICFP
2010
ACM
15 years 8 days ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
WCRE
1999
IEEE
15 years 3 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...