EKEKO is a Clojure library for applicative logic meta-programming against an Eclipse workspace. EKEKO has been applied successfully to answering program queries (e.g., “does this bug pattern occur in my code?”), to analyzing project corpora (e.g., “how often does this API usage pattern occur in this corpus?”), and to transforming programs (e.g., “change occurrences of this pattern as follows”) in a declarative manner.
Questions tagged [ekeko]
1 questions
0
votes
0 answers
Verifiying the structural regularities in software change contracts
I am doing my project to create a tool that can find the changes in the structural regularities (the structural regularities are rules which must be obeyed in the source code) between two versions of a specific software and check if the newest…
user3006595
- 31
- 5