Contracts for Scala

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6418 LNCS, Issue , 2010, Pages 51-57

  Odersky, Martin ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

LANGUAGE EXTENSIONS; PARTIAL SPECIFICATIONS; PROGRAM CODE; RUN-TIME CHECKS; FLEXIBILITY SUPPORTS;

SYNTACTICS; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EMBEDDED SYSTEMS; SYNTACTICS;

EID: 78650082413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16612-9_5     Document Type: Conference Paper

References (12)

1. Barnett, M., DeLine, R., Fähndrich, M., Jacobs, B., Leino, K.R.M., Schulte, W., Venter, H.: The spec# programming system: Challenges and directions. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 144-152. Springer, Heidelberg (2008)
2. Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A.D., Maffeis, S.: Refinement types for secure implementations. In: CSF 2008: Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium, Washington, DC, USA, pp. 17-32. IEEE Computer Society, Los Alamitos (2008)
3. Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: ICFP, pp. 268-279 (2000)
4. Flanagan, C.: Hybrid type checking. In: POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 245-256. ACM, New York (2006)
5. Kawaguchi, M., Rondon, P.M., Jhala, R.: Type-based data structure verification. In: Hind, M., Diwan, A. (eds.) PLDI, pp. 304-315. ACM, New York (2009)
6. Kuncak, V., Mayer, M., Piskac, R., Suter, P.: Complete functional synthesis. In: Zorn, B.G., Aiken, A. (eds.) PLDI, pp. 316-329. ACM, New York (2010)
7. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of jml: a behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes 31(3), 1-38 (2006)
8. Meyer, B.: Eiffel: The Language. Prentice Hall, Hemel Hempstead (1992)
9. Nielsen, A.B.: Scala compiler phase and plug-in initialization (2008), http://lampsvn.epfl.ch/svn-repos/scala/lamp-sip/compiler-phaseinit/sip-00002. xhtml
10. Nilsson, R.: Scalacheck user guide (2008), http://code.google.com/p/ scalacheck/wiki/UserGuide
11. Odersky, M., Spoon, L., Venners, B.: Programming in Scala. Artima (2008)
12. Rondon, P.M., Kawaguchi, M., Jhala, R.: Liquid types. In: Gupta, R., Amarasinghe, S.P. (eds.) PLDI, pp. 159-169. ACM, New York (2008)