A Language Independent Task Engine for Incremental Name and Type Analysis-Reference-Cited by-同舟云学术

A Language Independent Task Engine for Incremental Name and Type Analysis

Published:2013 Issue: Volume: Page:260-280
ISSN:0302-9743
Container-title:Software Language Engineering
language:
Short-container-title:

Author:

Wachsmuth Guido H.,Konat Gabriël D. P.,Vergu Vlad A.,Groenewegen Danny M.,Visser Eelco

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-02654-1_15

Reference32 articles.

1. van den Brand, M.G.J.: PREGMATIC - a generator for incremental programming environments. Ph.D. thesis, University Nijmegen (1992)

2. Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego/XT 0.17. A language and toolset for program transformation. SCP 72(1-2), 52–70 (2008)

3. Demers, A.J., Reps, T.W., Teitelbaum, T.: Incremental evaluation for attribute grammars with application to syntax-directed editors. In: POPL, pp. 105–116 (1981)

4. Ekman, T., Hedin, G.: The jastadd system - modular extensible compiler construction. SCP 69(1-3), 14–26 (2007)

5. Erdweg, S., Rendel, T., Kástner, C., Ostermann, K.: Sugarj: Library-based syntactic language extensibility. In: OOPSLA, pp. 391–406 (2011)

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

1. Incremental type-checking for free: using scope graphs to derive incremental type-checkers;Proceedings of the ACM on Programming Languages;2022-10-31

2. Mechanical incrementalization of typing algorithms;Science of Computer Programming;2021-08

3. A systematic approach to deriving incremental type checkers;Proceedings of the ACM on Programming Languages;2020-11-13

4. Using Standard Typing Algorithms Incrementally;Lecture Notes in Computer Science;2019

5. Generating incremental type services;Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019;2019