Author:
Fähndrich Manuel,Aiken Alexander
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. A. Aiken, D. Kozen, M. Vardi, and E. Wimmers. The complexity of set constraints. In E. Börger, Y. Gurevich, and K. Meinke, editors, Computer Science Logic '93, volume 832 of Lect. Notes in Comput. Sci., pages 1–17. Eur. Assoc. Comput. Sci. Logic, Springer, September 1993.
2. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. DIKU report 94/19.
3. A. Aiken and E. Wimmers. Solving Systems of Set Constraints. In Symposium on Logic in Computer Science, pages 329–340, June 1992.
4. A. Aiken and E. Wimmers. Type Inclusion Constraints and Type Inference. In Proceedings of the 1993 Conference on Functional Programming Languages and Computer Architecture, pages 31–41, Copenhagen, Denmark, June 1993.
5. A. Aiken, E. Wimmers, and T.K. Lakshman. Soft typing with conditional types. In Twenty-First Annual ACM Symposium on Principles of Programming Languages, pages 163–173, January 1994.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A review on exception analysis;Information and Software Technology;2016-09
2. Inferring Algebraic Effects;Logical Methods in Computer Science;2014-09-12
3. Modular type checking of anchored exception declarations;Science of Computer Programming;2014-07
4. Multiparadigm Constraint Programming Languages;Cognitive Technologies;2011
5. A Specification Logic for Exceptions and Beyond;Automated Technology for Verification and Analysis;2010