Trends in Functional Programming by Unknown

Author:Unknown
Language: eng
Format: epub
ISBN: 9783030148058
Publisher: Springer International Publishing

7 Conclusion

We show that dynamic flow analysis for JavaScript is feasible. To demonstrate that the general idea is useful, we develop a formal system for a JavaScript core language and prove its soundness.

To demonstrate that the concept of dynamic flow analysis for JavaScript is also useful in practice, we develop an implementation based on the same principles as the formal system. We implemented a prototype dynamic flow analysis system for JavaScript. We evaluated our system on benchmark programs. From this evaluation we obtained useful errors and warnings that allow developers to improve the quality of their JavaScript code.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.