Efficient annotated terms

Software - Practice and Experience

Volumn 30, Issue 3, 2000, Pages 259-291

  Van Den Brand, M G J ^a   De Jong, H A ^b   Klint, P ^a,b   Olivier, P A ^b  

^a CWI   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; TREES (MATHEMATICS);

ANNOTATED TERMS; BINARY DATA EXCHANGE FORMAT; MAXIMAL SUBTERM SHARING; OBJECT LINKING AND EMBEDDING;

DATA STRUCTURES;

EID: 0033876837     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y     Document Type: Article

References (46)

1. Chappell D. Understanding ActiveX(TM) and OLE; Microsoft Press, 1996.
2. Gosling J, Joy B, Steele G. The Java Language Specification; Addison-Wesley, 1996.
3. OMG. The common object request broker: Architecture and specification, revision 2,0. Technical Report 97-02-25, Object Management Group, 1997. Available at: http://www.omg.org.
4. Klint P. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology 1993; 2:176-201.
5. van den Brand MGJ, Kuipers T, Moonen L, Olivier P. Design and implementation of a new asf+sdf meta-environment. Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Sellink A (ed.); Workshops in Computing, Amsterdam, November 1997. Springer-Verlag.
6. Bergstra JA, Klint P. The discrete time ToolBus - a software coordination architecture. Science of Computer Programming 1998; 31(2-3):205-229.
7. Knuth D. The Art of Computer Programming, volume 3: Sorting and Searching; Addison-Wesley, 1973.
8. Boehm H, Weiser M. Garbage collection in an uncooperative environment. Software - Practice and Experience 1988; 18(9):807-820.
9. Boehm H. Space efficient conservative garbage collection. PLDI 1993; 197-206.
10. Jones R, Lins R. Garbage Collection: Algorithms for Automatic Dynamic Memory Management; Wiley, 1996.
11. Arnold BRT, van Deursen A, Res M. An algebraic specification of a language for describing financial products. ICSE-17 Workshop on Formal Methods Application in Software Engineering, Wirsing M (ed.); IEEE, April 1995; 6-13.
12. Groote JF, Lisser B. Tutorial and reference guide for the μCRL toolset version 1.0. Technical Report, CWI, Amsterdam, (in preparation). 1999.
13. Luttik SP. Description and formal specification of the link layer protocol (SEN-R9706). Technical Report, CWI, Amsterdam, 1999.
14. Dams D, Groote JF. Specification and implementation of components of a μCRL toolbox. Technical Report 152, Utrecht University, 1995.
15. Groote JF, Ponse A. The syntax and semantics of μCRL. Algebra of Communicating Processes '94, Workshops in Computing; Springer-Verlag: 1995; 26-62.
16. Wang DC, Appel AW, Korn JL, Serra CS. The Zephyr Abstract Syntax Description Language. Proceedings of the Conference on Domain-Specific Languages; 1997; 213-227.
17. Hanson DR. Early Experience with ASDL in Ice. Software - Practice and Experience 1999; 29(3):417-435.
18. van Deursen A, Klint P. Little languages: Little maintenance? Journal of Software Maintenance 1998; 10:75-92.
19. van den Brand MGJ, Sellink MPA, Verhoef C. Generation of components for software renovation factories from context-free grammars. Proceedings of the Fourth Working Conference on Reverse Engineering, Baxter ID, Quilici A, Verhoef C (eds.), 1997; 144-153.
20. van den Brand MGJ, Klint P, Olivier PA. Compilation and memory management for ASF+SDF. Compiler Construction (CC'99), Lecture Notes in Computer Science 1575, Jähnichen S (ed.), 1999; 198-213.
21. Heering J, Hendriks PRH, Klint P, Rekers J. The syntax definition formalism SDF. SIGPLAN Notices 1989; 24(11):43-75.
22. Bergstra JA, Heering J, Klint P. (eds.) Algebraic Specification; ACM Press/Addison-Wesley, 1989.
23. van Deursen A, Heering J, Klint P. (eds.), Language Prototyping: An Algebraic Specification Approach, AMAST Series in Computing, 5; World Scientific, 1996.
24. CoFI-LD. CASL - The CoFI Algebraic Specification Language - Summary, version 1.0. Documents/CASL/Summary-v1.0. In CoFI, 1998.
25. van den Brand MGJ, Klint P, Olivier PA. Aterms: Exchanging data between heterogeneous tools for CASL. Note T-3 In CoFI, 1998.
26. Visser E. Syntax definition for language prototyping. PhD thesis, University of Amsterdam, 1997.
27. van den Brand MGJ, van Deursen A, Klint P, Klusener S, van der Meulen AE. Industrial applications of ASF+SDF. Algebraic Methodology and Software Technology (AMAST '96), Wirsing M, Nivat M (eds.), Lecture Notes in Computer Science, 1101; Springer-Verlag, 1996.
28. van den Brand MGJ, Klint P, Verhoef C. Term rewriting for sale. Proceedings of the First International Workshop on Rewriting Logic and its Applications, Kirchner C, Kirchner H (eds.), Electronic Notes in Theoretical Computer Science, 15; Elsevier Science, 1998; 139-161.
29. Visser E, Benaissa Z, Tolmach A. Building program optimizes with rewriting strategies. International Conference on Functional Programming (ICFP'98), 1998; 13-26.
30. Borras P, Clément D, Despeyroux TH, Incerpi J, Lang B, Pascual V. CENTAUR: the system. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1989; 14-24.
31. (Appeared as SIGPLAN Notices 24(2)).
32. Gray RW, Heuring VP, Levi SP, Sloane AM, Waite WM. Eli: A complete, flexible compiler construction system. Communications of the ACM 1992; 35(2):121-130.
33. Grosch J. Ast - a generator for abstract syntax trees. Technical Report 15, GMD Karlsruhe, 1992.
34. Wilson RP, French RS, Wilson ChS, Amarasinghe SP, Anderson JM, Tjiang SWK, Shih-Wei Liao, Chau-Wen Tseng, Hall MW, Lamm MS, Hennessy JL. SUIF: An infrastructure for research on parallelizing and optimizing compilers. SIGPLAN Notices 1994; 29(12):31-37.
35. Karasick M. The architecture of Montana: an open and extensible programming environment with an incremental C++ compiler. Proceedings of the ACM SIGSOFT sixth International Symposium on Foundations of Software Engineering, 1998; 131-142.
36. Lamb DA. IDL: Sharing intermediate representations. ACM Transactions on Programming languages and Systems 1987; 9(3):297-318.
37. Extensible markup language (XML) 1.0. Technical Report, World Wide Web Consortium, 1988; Available at: http:www.w3.org/TR/REC-xml.
38. Information Technology - Abstract Syntax Notation One (ASN. 1): Encoding Rules - Packed Encoding Rules (PER). Technical Report, International Telecommunication Union, 1995; ITU-T Recommendation X.691.
39. Kamperman JFTh. GEL, a graph exchange language. Technical Report CS-R9440, CWI, Amsterdam, 1994.
40. Allen JR. Anatomy of LISP; McGraw-Hill, 1978.
41. Terashima M, Kanada Y. HLisp - its concept, implementation and applications. Journal of Information Processing 1990; 13(3):265-275.
42. Appel AW, Goncalves MJR. Hash-consing garbage collection. Technical Report CS-TR-412-93, Princeton University, 1993.
43. Groza C, van den Brand MGJ. The algebraic specification of annotated abstract syntax trees. Technical Report P9414, University of Amsterdam, Programming Research Group, 1994.
44. van den Brand MGJ, Klint P, Olivier P, Visser E. Syntax trees for distributed environments. Technical Report, University of Amsterdam, Programming Research Group, 1999. (in preparation).
45. Fokkink W, Kamperman JFTh, Walters HR. Within ARM's reach: Compilation of left-linear rewrite systems via minimal rewrite systems. ACM Transactions on Programming Languages and Systems 1998; 20(3):679-706.
46. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. WWW (http://www.brics.dk/Projects/CoFI) and FTP (ftp://ftp.brics.dk/Projects/CoFI), 1998.