The following pages link to Semantic code browsing (Q4593054):
Displaying 5 items.
- Symbolic automata for representing big code (Q300407) (← links)
- CScout: a refactoring browser for C (Q967532) (← links)
- Predicting program properties from ``big code'' (Q2819795) (← links)
- Computing Abstract Distances in Logic Programs (Q5097625) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)