| http://www.w3.org/ns/prov#value | - Compilation and interpretation techniques, including program representation and analysis, code generation and code optimization; Run-time techniques, including memory management and dynamic and just-in-time compilation; Programming tools, from refactoring editors to checkers to compilers to virtual machines to debuggers; Techniques for specific domains, such as secure, parallel, distributed, embed
|