| | Whiley: A Programming Language with Extended Static Checking (whiley.org) |
| 3 points by azhenley on Aug 29, 2020 | past |
|
| | Thoughts on Parsing Whiley (and Indentation Syntax) (whiley.org) |
| 1 point by bbmario on Aug 1, 2019 | past |
|
| | Verifying bubble sort in Whiley (whiley.org) |
| 2 points by rdc12 on Dec 19, 2017 | past |
|
| | What's the Net effect on OOP? (whiley.org) |
| 2 points by redjamjar on June 21, 2017 | past |
|
| | Whiley: A Programming Language with Extended Static Checking (whiley.org) |
| 1 point by based2 on Oct 26, 2016 | past |
|
| | Reference Lifetimes in Whiley (whiley.org) |
| 11 points by bjz_ on May 31, 2016 | past | 1 comment |
|
| | Introductory Lecture on Verification in Whiley (whiley.org) |
| 1 point by redjamjar on Sept 22, 2015 | past |
|
| | Loop Invariants and Do/While Statements (whiley.org) |
| 2 points by nkurz on May 14, 2014 | past |
|
| | The Architecture of Verification in Whiley (whiley.org) |
| 1 point by redjamjar on June 25, 2013 | past |
|
| | Presentation on Whiley [video] (whiley.org) |
| 1 point by redjamjar on June 19, 2013 | past |
|
| | Java vs C++ performance (whiley.org) |
| 2 points by sidww2 on June 5, 2013 | past |
|
| | Why not use structural subtyping? (whiley.org) |
| 1 point by tikhonj on May 6, 2013 | past |
|
| | Understanding Loop Invariants in Whiley (whiley.org) |
| 1 point by redjamjar on Jan 28, 2013 | past |
|
| | Whiley | Flow Typing -- Cool (whiley.org) |
| 1 point by srsamarthyam on Jan 11, 2013 | past |
|
| | Testing out my Papilio FPGA (whiley.org) |
| 2 points by redjamjar on Dec 19, 2012 | past |
|
| | Generating Verification Conditions for Whiley (whiley.org) |
| 1 point by redjamjar on Dec 4, 2012 | past |
|
| | Comparing I/O in C with Java (whiley.org) |
| 1 point by redjamjar on Nov 30, 2012 | past |
|
| | A Misconception of Functional Programming? (whiley.org) |
| 3 points by redjamjar on Sept 6, 2012 | past |
|
| | Notes on Java versus C++ Performance (whiley.org) |
| 2 points by redjamjar on Aug 12, 2012 | past |
|
| | Reflecting on the JVM Class File Format (whiley.org) |
| 1 point by shortlived on Aug 6, 2012 | past |
|
| | Reflecting on the JVM Class File Format (whiley.org) |
| 2 points by javinpaul on Aug 6, 2012 | past |
|
| | The Liquid Metal Project (whiley.org) |
| 2 points by redjamjar on July 4, 2012 | past |
|
| | Flow Typing for References in Whiley (whiley.org) |
| 1 point by redjamjar on June 11, 2012 | past |
|
| | Writing a PNG Decoder in Whiley (whiley.org) |
| 1 point by redjamjar on Feb 18, 2012 | past |
|
| | Connecting the Dots on the Future of Programming Languages (whiley.org) |
| 6 points by 6ren on Jan 18, 2012 | past |
|
| | Presentation on the Whiley Programming Language (video) (whiley.org) |
| 1 point by redjamjar on Dec 22, 2011 | past |
|
| | Final should be Default for Classes in Java (whiley.org) |
| 1 point by LiveTheDream on Dec 6, 2011 | past |
|
| | Not all Tests are Passing ... is that so Bad? (whiley.org) |
| 1 point by redjamjar on Nov 1, 2011 | past |
|
| | What Kind of Revert are You? (whiley.org) |
| 1 point by redjamjar on Oct 18, 2011 | past |
|
| | Design by Contract is Most Requested Feature? (whiley.org) |
| 1 point by redjamjar on June 16, 2011 | past |
|
|
| More |
