Programming language constructs for which it is impossible to obtain good hoare-like axiom systems
Author:
Clarke Edmund Melson
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transhumanism as a Derailed Anthropology;Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?;2020-12-13
2. Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity;Programming Language Implementation and Logic Programming;1990
3. Literaturverzeichnis;Semantische Repräsentation komplexer Objektstrukturen;1985
4. Some applications of topology to program semantics;Mathematical Systems Theory;1983-12
5. Proving correctness of coroutines without history variables;Acta Informatica;1980-02