Talk:Stateful

(Difference between revisions)

Current revision

Comments on Stateful <comments />

A guy i know in a university is doing some work with Session types for compilers.

These types specify a access protocol (sequence) and allow a compiler to statically verify if a api is being used correctly (wrt order of methods)

--paulo 23:07, 2 May 2010 (CEST)

Interesting. Do you have any recommended reading? I've just googled out SessionTypes.java only.

--JaroslavTulach 07:32, 3 May 2010 (UTC)

Revision as of 07:32, 3 May 2010 (edit) JaroslavTulach (Talk \| contribs) ← Previous diff		Current revision (20:41, 8 November 2011) (edit) (undo) 94.113.129.244 (Talk)
(One intermediate revision not shown.)
Line 15:		Line 15:

	--[[User:JaroslavTulach\|JaroslavTulach]] 07:32, 3 May 2010 (UTC)		--[[User:JaroslavTulach\|JaroslavTulach]] 07:32, 3 May 2010 (UTC)
-
-	~~</div>~~