Author:
van den Brand Mark G.J.,Klint Paul
Subject
Computer Science Applications,Information Systems,Software
Reference68 articles.
1. Factotum: automatic and systematic sharing support for systems analyzers;Sherman A1,1998
2. D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers. Syntax and consistent equation semantics of hybrid Chi, Journal of Logic and Algebraic Programming, 2006, in press.
3. The discrete time ToolBus – a software coordination architecture;Bergstra;Science of Computer Programming,1998
4. μCRL a toolset for analysing algebraic specifications;Blom,2001
5. Garbage collection in an uncooperative environment;Boehm;Software, Practice & Experience,1988
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. A Thread-Safe Term Library;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
3. ProMeTA: a taxonomy for program metamodels in program reverse engineering;Empirical Software Engineering;2018-03-12
4. JPC: A library for categorising and applying inter-language conversions between Java and Prolog;Science of Computer Programming;2017-02
5. Enabling PHP software engineering research in Rascal;Science of Computer Programming;2017-02