Searched: Annotated *Terms[^A-Za-z]
Results from Tools web
Introduction The ATerm (Annotated Term) Format is a format for exchanging structured data between tools. The ATerm format is a generic internal and external representation ...
ATerm libraries implement the internal representation of the Format in some programming language and the conversion between the external and the internal representation ...
Number of topics: 2
Results from Transform web
See also EfficientAnnotatedTerms.
M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient Annotated Terms. Software Practice Experience , 30:259-291, 2000. Abstract How do distributed ...
EelcoVisser. Multi-level specifications. In ArieVanDeursen, JanHeering, and PaulKlint, editors, LanguagePrototyping. An Algebraic Specification Approach , volume 5 ...
Wiki Technology What is a good way to collect bibliographical information in a WikiWikiWeb? JoostVisser: One way to do it is to have one wiki page per publication ...
Journals with an interest in ProgramTransformation ACM AppliedComputingReview ACM Transactions on Programming Languages and Systems ( ACM Transactions on Software ...
Number of topics: 5