Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

soul

< >

soul is a query language created in 2000.

#2277on PLDB 24Years Old
Homepage

Program queries can answer important software engineering questions ranging from “is my code bug free?” over “does my code follow the prescribed design?” to “how can my code be refactored?”. SOUL is a Prolog-like language with specialized features for querying programs.


View source
- Build the next great programming language · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll