Contracts as Pairs of Projections-Reference-Cited by-同舟云学术

Contracts as Pairs of Projections

Published:2006 Issue: Volume: Page:226-241
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Findler Robert Bruce,Blume Matthias

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11737414_16

Reference45 articles.

1. Bartetzko, D.: Parallelität und Vererbung beim Programmieren mit Vertrag. Diplomarbeit, Universität Oldenburg (April 1999)

2. Blume, M., McAllester, D.: Sound and complete models of contracts. Journal of Functional Programming (to appear)

3. Carrillo-Castellon, M., Garcia-Molina, J., Pimentel, E., Repiso, I.: Design by contract in Smalltalk. Journal of Object-Oriented Programming 7(9), 23–28 (1996)

4. Cheon, Y.: A runtime assertion checker for the Java Modelling Language. Technical Report 03-09, Iowa State University Computer Science Department (April 2003)

5. Conway, D., Goebel, C.G.: Class:Contract – design-by-contract OO in Perl, http://search.cpan.org/~ggoebel/Class-Contract-1.14/

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Effectful Software Contracts;Proceedings of the ACM on Programming Languages;2024-01-05

2. Trace contracts;Journal of Functional Programming;2023

3. Semantic soundness for language interoperability;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

4. Deep and shallow types for gradual languages;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

5. Blame and coercion: Together again for the first time;Journal of Functional Programming;2021