1021 search results - page 184 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
124
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
117
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
112
click to vote
PADL
1999
Springer
15 years 7 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
107
click to vote
AO
2007
15 years 3 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
108
click to vote
NOMS
2000
IEEE
15 years 7 months ago
2000
IEEE
Using IP-based Virtual Private Network (IP-VPN) technology, a company can establish its virtual private network over public networks. Recently, IP-VPN emerges as one of main techn...