3 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This supplement records five additional target paradigms for the Freshness Portability Agent (FPA-FRESHNESS-PORTABILITY-003): Common Lisp, Brainfuck, spreadsheet formulas, an Analytical Engine-style program, and AWK. It is separate from the canonical FPA package and its Non-Normative Tests (NNT) companion. The suppleme...
This supplement records five additional target paradigms for the Boundary Defense Agent (BDA-BOUNDARY-DEFENSE-002): Common Lisp, Brainfuck, spreadsheet formulas, an Analytical Engine-style program, and AWK. It is separate from the canonical BDA package and its Non-Normative Tests (NNT) companion. The supplement Manifes...
We present and demonstrate a property of software specifications that we term execution-neutral buildability. A normative specification has this property when it fixes the system's required behavior and makes any implementation mechanisms it leaves open explicit and bounded by stated obligations. Implementing it is pro...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
