Proving Programs Correct Using Plain Old Java Types http://fpl.cs.depaul.edu/jriely/papers/2009-pojt.pdf,
by Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: > Tools for constructing proofs of correctness of programs have a long history of development in the research community, but have often faced difficulty in being widely deployed in software development tools. In this paper, we demonstrate that the off-the-shelf Java type system is already powerful enough to encode non-trivial proofs of correctness using propositional Hoare preconditions and postconditions. > We illustrate the power of this method by adapting Fähndrich and Leino’s work on monotone typestates and Myers and Qi’s closely related work on object initialization. Our approach is expressive enough to address ph
Hacker News is a social news website that caters to programmers and entrepreneurs, delivering content related to computer science and entrepreneurship.
tags: news news-aggregator news-feed social-news technology-newsNews for nerds, stuff that matters. Slashdot (aka /.) is a technology-related news and discussion site with a focus on Linux, free and open source software and information freedom and privacy issues. The software it runs on, called Slashcode, is open source.
tags: discussion news open-source-projectsLobsters is a technology-focused link-aggregation site. The site is driven by Ruby on Rails with the source code being freely available for those seeking to create a site similar to Reddit or Hackernews.
tags: social-news technology-newsSimplified technology news aggregator
tags: news news-aggregator news-feed technology-news aggregatorspreadit is a link aggregator and bullshit generator.
tags: Discontinued discussion kickass link-sharing linksEcho JS is a community-driven news site entirely focused on JavaScript development, HTML5, and front-end news.
tags: javascript social-newsEmpeopled is an online social platform connecting people through high-quality conversations about their shared interests. It serves as a merit-based filter for whom and what users want to know on the Internet. It is a uniquely transparent path to getting recognition and being heard.
tags: social-network social-media vote shared-interestsNews aggregation site that deliver articles about technology, science, and general interest.
tags: social-news technology-newsLinkibl is where you can discover and share the Internet'smost interesting content every day.
tags: blogging link-sharing news news-aggregator social-networkSimple stripped down news feed
tags: Discontinued news news-aggregator newsletter news-feedA user curated news aggregator site that focuses on high quality articles.
tags: Discontinued social-network social-media news social-bookmarkingTopTopic is an online community where members earn revenue from their posts, comments and moderation activities. Rather than run ads, we use member up-voting (no down-voting) to both raise the exposure of content, and drive revenue to the creators.
tags: community-based content-curation online-community photo-sharing publishingZapChain is a collection of communities where you can earn Bitcoin for posting great content and joining discussions.
tags: bitcoin blogging blogging-platform earn-bitcoin online-communityDemocratic non-profit news aggregator.
tags: file-sharing news news-aggregator image-sharing links