From Specification to Testing: Semantics Engineering for Lua 5.2-Reference-Cited by-同舟云学术

From Specification to Testing: Semantics Engineering for Lua 5.2

Published:2022-08-11 Issue:4 Volume:66 Page:905-952
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Soldevila Mallku^ORCID,Ziliani Beta^ORCID,Silvestre Bruno^ORCID

Funder

secretaria de ciencia y tecnología - universidad nacional de córdoba

agencia nacional de promoción científica y tecnológica

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

https://link.springer.com/content/pdf/10.1007/s10817-022-09638-y.pdf

Reference38 articles.

1. Adobe: Adobe Lightroom®. https://www.adobe.io/apis/creativecloud/lightroom.html (2019). Accessed 04 May 2020

2. Bodin, M., Chargueraud, A., Filaretti, D., Gardner, P., Maffeis, S., Naudziuniene, D., Schmitt, A., Smith, G.: A trusted mechanised JavaScript specification. In: POPL ’14 (2014)

3. Donnelly, K., Hallett, J.J., Kfoury, A.: Formal semantics of weak references. In: ISMM ’06 Proceedings of the 5th international symposium on Memory management, pp. 126–137 (2006)

4. Felleisen, M.: The calculi of lambda-v-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages. PhD thesis, Indiana University (1987)

5. Felleisen, M., Finlder, R.B., Flatt, M.: Semantics Engineering with PLT Redex. The MIT Press, Cambridge (2009)

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

1. An Executable Semantics for Faster Development of Optimizing Python Compilers;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23