The aim of this project is maximally reduce complexity of large ajax, high dynamic javascript project development and support. Initially Jiant provided means for modern auto-complete tools. Jiant ...
Abstract: We develop a unified categorical theory of substructural abstract syntax with variable binding and single-variable (capture-avoiding) substitution. This is done for the gamut of context ...
# software gnina ## https://github.com/gnina/gnina ADFR ## https://ccsb.scripps.edu/adfr/ MPerformer ## https://github.com/FanmengWang/MPerformer # python python >= 3 ...
Abstract: The automated recognition of algorithm implementations can support many software maintenance and re-engineering activities by providing knowledge about the concerns present in the code base.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results