Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fixing refs

  • Loading branch information...
commit 8e18ce37eadf2f4565c44fede33f05c5853cdbbf 1 parent 081323e
Fogus fogus authored
Showing with 8 additions and 8 deletions.
  1. +8 −8 docs/references.org
16 docs/references.org
View
@@ -2,14 +2,14 @@
- [[http://tecomp.sourceforge.net/index.php?file=doc/papers/proof/engine][A Proof Engine for Eiffel]]
- [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2392][An Axiomatic Basis for Computer Programming]] by C.A.R Hoare -- essential reading
-- *[Behavioral Software Contracts](http://eecs.northwestern.edu/~robby/pubs/papers/behavioral-software-contracts.pdf)* (PDF) by Robert Bruce Findler
-- *[Contract Programming in D](http://www.digitalmars.com/d/2.0/dbc.html)*
-- *[Contract Soundness for Object-Oriented Languages](http://www.ccs.neu.edu/scheme/pubs/oopsla01-ff.pdf)* by Robert Bruce Findler and Matthias Felleisen
-- *[Contracts for Higher-order functions](http://www.ccs.neu.edu/racket/pubs/NU-CCIS-02-05.pdf)* by Robert Bruce Findler and Matthias Felleisen
-- *[Contracts in Racket (A Scheme Descendent)](http://pre.plt-scheme.org/docs/html/guide/contracts.html)*
-- *[Design by Contract and Unit Testing](http://onestepback.org/index.cgi/Tech/Programming/DbcAndTesting.html)*
-- *[Design by contract for Ruby](http://split-s.blogspot.com/2006/02/design-by-contract-for-ruby.html)*
-- *[Eiffel: The Language](http://www.amazon.com/dp/0132479257)* by Bertrand Meyer
+- [[http://eecs.northwestern.edu/~robby/pubs/papers/behavioral-software-contracts.pdf][Behavioral Software Contracts]] (PDF) by Robert Bruce Findler
+- [[http://www.digitalmars.com/d/2.0/dbc.html][Contract Programming in D]]
+- [[http://www.ccs.neu.edu/scheme/pubs/oopsla01-ff.pdf][Contract Soundness for Object-Oriented Languages]] by Robert Bruce Findler and Matthias Felleisen
+- [[http://www.ccs.neu.edu/racket/pubs/NU-CCIS-02-05.pdf][Contracts for Higher-order functions]] by Robert Bruce Findler and Matthias Felleisen
+- [[http://pre.plt-scheme.org/docs/html/guide/contracts.html][Contracts in Racket (A Scheme Descendent)]]
+- [[http://onestepback.org/index.cgi/Tech/Programming/DbcAndTesting.html][Design by Contract and Unit Testing]]
+- [[http://split-s.blogspot.com/2006/02/design-by-contract-for-ruby.html][Design by contract for Ruby]]
+- [[http://www.amazon.com/dp/0132479257][Eiffel: The Language]] by Bertrand Meyer
- *[Fortress Language Specification](http://labs.oracle.com/projects/plrg/fortress.pdf)* (PDF) by Guy L. Steele Jr., et al.
- *[How to Deign Programs](http://htdp.org/)* by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi [here](http://www.htdp.org/2003-09-26/Book/)
- *[Jass - Java with Assertions](http://www.eecs.northwestern.edu/~robby/contract-reading-list/jass.pdf)* (PDF) by Detlef Bartetzko, Clemens Fischer, Michael Moller and Heike Wehrheim
Please sign in to comment.
Something went wrong with that request. Please try again.