Shen Professional 2019: beyond the Handbook
Shen Professional 2019 is acquiring new plugins and patches to complement all the work that was done from 2015-2018 as detailed in The SP Handbook 2018. These are some of the facilities either available or under development in SP 2019.
Package Functionality Status Documentation file reading large data files
not readable by OS Shen
completed, implemented as a cloud patch to SP 23 Professional/Files/index.htm ring tree shaker for building executables
from Shen code
incomplete, beta version available partly documented incomplete web page, forthcoming pvs Program Verification in Shen;
a facility for formally verifying Shen programs.
about 1500 lines of code. Mathematical proofs need to be done. The book, Program Verification in Shen, consists of 187 pages
of text (6x9) and probably needs 50-60 more pages.
dql Domain Query Language; a DSL for querying
natural language text including web pages.
about 500 lines of code; available imminently. Professional/DQL/index.htm sml Shen Markup Language; an HTML generator. complete as version 2.0 and available as a plugin. Professional/SML/index.htm
This page will change through 2019, so consult this table from time to time.