Web Rss

http://www.cs.uu.nl/wiki/bin/view/UHC The UHC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2013 by contributing authors cs.uu.nl TWiki Administrator [stwiki@cs.uu.nl] The contributing authors of TWiki TWiki http://www.cs.uu.nl/wiki/bin/view/UHC http://www.cs.uu.nl/wiki/pub/Main/li-dsol-small.png http://www.cs.uu.nl/wiki/bin/view/UHC/WebNews 20120402 The UHC repository has been moved to https://github.com/UU ComputerScience/uhc 20120320 Change of repository . Mar 29 the svn repo will become readonly ... (last changed by AtzeDijkstra) 2012-04-02T14:17:37Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/Download Latest stable Version 1.1.3 Platforms for which a binary installer is available (currently limited to platforms available to the developers). Distribution file names ... (last changed by AtzeDijkstra) 2012-04-02T14:14:28Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/Team Staff Atze Dijkstra: overall design, type system, bytecode interpreter. Fokker: whole program analysis backend. Middelkoop: Ruler, type system generation ... (last changed by AtzeDijkstra) 2012-03-01T11:33:14Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/WebHome News What's new The current intermediate version is 1.1.3 with preliminary support for a javascript backend. See also http://uu computerscience.github.com/uhc js ... (last changed by AtzeDijkstra) 2012-03-01T11:27:01Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/JavascriptBackend The Javascript Backend The JCU Port This is a copy paste from my report that can be found on blog. The JCU application can be found here: https://github.com/spockz ... (last changed by AlessandroVermeulen) 2012-01-27T14:48:57Z AlessandroVermeulen http://www.cs.uu.nl/wiki/bin/view/UHC/WebPreferences UHC Web Preferences The following settings are web preferences of the UHC web. These preferences overwrite the site level preferences in . and , and ... (last changed by AtzeDijkstra) 2011-11-25T14:35:43Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/WebLeftBar UHC Download Install Documentation Troubleshooting blog News More ... Center Master Program (last changed by AtzeDijkstra) 2010-10-28T19:51:02Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/Announce Textual announcement Video announcement The official announcement of the first release of UHC at the 5th Hackathon in Utrecht, April 18th, 2009. (last changed by AtzeDijkstra) 2010-09-22T14:24:29Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/UhcLogos AtzeDijkstra 05 Jun 2010 UHC logo: (last changed by AtzeDijkstra) 2010-06-05T17:26:28Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/SvnLog (last changed by AtzeDijkstra) 2009-11-17T11:35:40Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/ReleaseHistory (last changed by AtzeDijkstra) 2009-04-25T07:29:03Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/WebIndex (last changed by AtzeDijkstra) 2009-04-25T07:26:36Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/GettingStarted (last changed by AtzeDijkstra) 2009-04-15T14:24:06Z AtzeDijkstra http://www.cs.uu.nl/wiki/bin/view/UHC/WebTopBar TOP TOP (last changed by EdwartNoertoen) 2009-02-01T12:13:38Z EdwartNoertoen http://www.cs.uu.nl/wiki/bin/view/UHC/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://www.cs.uu.nl/wiki/bin/view/UHC/WebSearchAdvanced (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor