jaykul's Bookmarks About language

Spec# - Home

Spec# is an extension of C# including non-null types and checked exceptions, method contracts (pre- and postconditions, object invariants, etc)

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://research.microsoft.com/specsharp/ - cached - mail it - history

Xenopz Blog - Spec# without a Spec# project

Some simple examples of design-by-contract as implemented in Spec#'s extension of C#

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://www.xenopz.com/blog/bartdeboeck/PermaLink,guid,5947af11-f0a2-48e4-959e-1c3168178dc2.aspx - cached - mail it - history

Channel9 Wiki: HomePage

Spec# documentation as a Wiki.

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://channel9.msdn.com/wiki/default.aspx/SpecSharp.HomePage - cached - mail it - history

Untitled

by jaykul 2005-03-18 14:58 user · develop · downloads · xml · language · usixml · interfaces

http://www.usixml.org/index.php?view=page&idpage=2 - cached - mail it - history

Processing 1.0 (BETA)

by jaykul 2005-03-18 14:58 develop · compiled · visual · arts · downloads · languages · language · processing · programming

http://processing.org/ - cached - mail it - history

Prolog Tutorials

by jaykul 2005-03-18 14:58 tutorials · develop · scripting · downloads · language · languages · prolog

http://www.cs.may.ie/~jpower/Courses/PROLOG/ - cached - mail it - history

Successful Lisp - Contents

by jaykul 2005-03-18 14:58 develop · scripting · lisp · downloads · language · languages · successful · book · online

http://psg.com/~dlamkins/sl/contents.html - cached - mail it - history

CLISP Common Lisp Resources

by jaykul 2005-03-18 14:58 develop · scripting · lisp · resources · downloads · common · language · languages · clisp

http://clisp.cons.org/resources.html - cached - mail it - history

svg

by jaykul 2005-03-18 14:58 develop · scripting · python · downloads · language · languages · svgdraw

http://www2.sfk.nl/svg - cached - mail it - history

Django | The Web framework for perfectionists with deadlines

by jaykul 2005-03-18 14:58 develop · scripting · python · downloads · language · languages · web · framework · django

http://www.djangoproject.com/ - cached - mail it - history