| 摘要 |
A programming language has a syntax delimiting places in a symbol string. A convention associates delimited places in symbol strings. An invocation construct instantiated as an invocation string has at least (i) an invocation destination list of delimited places comprising a complete set of inputs for a process, and (ii) an invocation source list of delimited places comprising a complete set of results for the process. A definition construct instantiated as a definition string corresponds to an instantiated invocation string and has at least (i) a definition source list of delimited places associated with the destination list of the corresponding invocation string, (ii) a definition destination list of delimited places associated with the source list of the corresponding invocation string; and (iii) a resolution string defining resolution of the process by relating delimited places of the definition destination list with delimited places of the definition source list.
|
