<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Object-oriented programming languages / Combinatory logic / Design by contract / Enumerated type / Eiffel / Objective-C / Contract / Scope / Exception handling
Date: 2016-08-09 10:09:16
Software engineering
Computer programming
Computing
Object-oriented programming languages
Combinatory logic
Design by contract
Enumerated type
Eiffel
Objective-C
Contract
Scope
Exception handling

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Add to Reading List

Source URL: www.ece.northwestern.edu

Download Document from Source Website

File Size: 195,40 KB

Share Document on Facebook

Similar Documents

What  is  Programming? Aspects  of  Programming,  Computer   Languages,  Objects  and  Object-­Oriented   Programming  Andries van  D am   © 2015  

What  is  Programming? Aspects  of  Programming,  Computer   Languages,  Objects  and  Object-­Oriented   Programming Andries van  D am   © 2015  

DocID: 1rG2h - View Document

JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

DocID: 1rt1j - View Document

Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

DocID: 1rsLq - View Document

The GPars Quick Reference The Whole GPars Team <> Version 1.2.1,  Table of Contents Actor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

The GPars Quick Reference The Whole GPars Team <> Version 1.2.1, Table of Contents Actor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

DocID: 1rsBb - View Document

Non-alphanumeric code  With JavaScript & PHP by Gareth Heyes $=~[];$={___:++$,$$$$:(![]+

Non-alphanumeric code With JavaScript & PHP by Gareth Heyes $=~[];$={___:++$,$$$$:(![]+"")[$],__$:++$,$_$_:(![]+"")[$],_$_:++$,$_$$:({}+"")[$],$$_$:($[$]+"")[$],_$$:++$,$$$_:(!""+"")[ $],$__:++$,$_$:++$,$$__:({}+"")[$],

DocID: 1rscX - View Document