Building Extensible Specifications and Implementations of Promela with AbleP-Reference-Cited by-同舟云学术

Building Extensible Specifications and Implementations of Promela with AbleP

Published:2011 Issue: Volume: Page:108-125
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Mali Yogesh,Van Wyk Eric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22306-8_8

Reference16 articles.

1. Bosnacki, D., Dams, D.: Integrating real time into Spin: A prototype implementation. In: Proceedings of the FORTE/PSTV XVIII Conference, pp. 423–439. Kluwer, Dordrecht (1998); Reproduced in Bosnacki’s thesis, http://www.win.tue.nl/~dragan/Thesis/

2. Boyland, J.T.: Remote attribute grammars. J. ACM 52(4), 627–687 (2005)

3. Bravenboer, M., Visser, E.: Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions. In: Proc. of OOPSLA 2004 Conf., pp. 365–383. ACM Press, New York (2004)

4. Donaldson, A.F., Gay, S.J.: Type inference and strong static type checking for Promela. Science of Computer Programming 75, 1165–1191 (2010)

5. Ekman, T., Hedin, G.: The JastAdd extensible Java compiler. In: Proc. Conf. on Object Oriented Prog. Sys. and Applications (OOPSLA), pp. 1–18. ACM Press, New York (2007)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analyzing Acute Lymphoblastic Leukemia Across Multiple Classes Using an Enhanced Deep Convolutional Neural Network on Blood Smear;2024 IEEE International Conference on Information Technology, Electronics and Intelligent Communication Systems (ICITEICS);2024-06-28

2. Automatic compiler/interpreter generation from programs for Domain-Specific Languages: Code bloat problem and performance improvement;Journal of Computer Languages;2022-06

3. An integrated environment for Spin-based C code checking;International Journal on Software Tools for Technology Transfer;2019-02-18

4. Reliable and automatic composition of language extensions to C: the ableC extensible language framework;Proceedings of the ACM on Programming Languages;2017-10-12

5. A modular specification of Oberon0 using the Silver attribute grammar system;Science of Computer Programming;2015-12