函数式编程语言的静态分析器，例如方案 [英] Static analyzer for functional programming languages, e.g.Scheme

问题描述

我很少看到函数式编程语言的静态分析器，比如球拍/方案，我甚至怀疑是否有。我想写一个函数式语言的静态分析器，例如Scheme / Racket。我应该怎么办？

解决方案

首先阅读本文由Shivers解释，为什么Scheme中没有静态控制流图。 / p>

可能实施了计划中的k-CFA 。 Matt Might的网站和 blog 是探索高级语言的静态分析的一个很好的起点。

我在Java中为Scheme做了一些静态分析实现， well：

• k-CFA实施 //code.google.com/p/streme/source/browse/#svn%2Ftags%2FV1.2%2Fsrc%2Fstreme%2Flang%2Fast%2Fanalysis%2Fipdarel =nofollow>过程间依赖性分析实施基于 Might and Prabhu的一篇论文

I seldom see static analyzer for functional programming languages, like Racket/Scheme, I even doubt that whether there are any. I would like to write a static analyzer for functional languages, say Scheme/Racket. How should I go about it?

解决方案

First read this paper by Shivers, explaining why there is no static control flow graph available in Scheme.

Might implemented k-CFA in Scheme. Matt Might's site and blog is a good starting point for exploring static analysis of higher-order languages.

I did some static analysis implementations for Scheme in Java as well:

• k-CFA implementation
• Interprocedural Dependence Analysis implementation based on a paper by Might and Prabhu

这篇关于函数式编程语言的静态分析器，例如方案的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！