On the Multi-Language Construction-Reference-Cited by-同舟云学术

On the Multi-Language Construction

Published:2019 Issue: Volume: Page:293-321
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Buro Samuele,Mastroeni Isabella

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17184-1_11

Reference53 articles.

1. Abadi, M., Cardelli, L., Pierce, B.C., Plotkin, G.D.: Dynamic typing in a statically typed language. ACM Trans. Program. Lang. Syst. 13(2), 237–268 (1991)

2. Ahmed, A., Blume, M.: An equivalence-preserving CPS translation via multi-language semantics. SIGPLAN Not. 46(9), 431–444 (2011)

3. Alencar, A.J., Goguen, J.A.: Object-oriented specification case studies. In: Lano, K., Haughton, H. (eds.) Specification in OOZE with Examples, pp. 158–183. Prentice Hall International (UK) Ltd., Hertfordshire (1994)

4. Barrett, E., Bolz, C.F., Tratt, L.: Unipycation: a case study in cross-language tracing. In: Proceedings of the 7th ACM Workshop on Virtual Machines and Intermediate Languages, pp. 31–40. ACM, New York (2013)

5. Barrett, E., Bolz, C.F., Tratt, L.: Approaches to interpreter composition. Comput. Lang. Syst. Struct. 44, 199–217 (2015)

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

1. On multi-language abstraction: Towards a static analysis of multi-language programs;Formal Methods in System Design;2023-03-28

2. LiSA: A Generic Framework for Multilanguage Static Analysis;Intelligent Systems Reference Library;2023

3. Semantic soundness for language interoperability;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

4. A Multilanguage Static Analysis of Python Programs with Native C Extensions;Static Analysis;2021

5. On the semantic equivalence of language syntax formalisms;Theoretical Computer Science;2020-11