Typestate and Session Types for Java Dimitris Kouzapas Department of Computing Science, University of Glasgow January 13, 2014

First Page		Document Content
Date: 2014-01-13 09:57:45 Software engineering Computing Computer programming Object-oriented programming languages Java Cross-platform software Concurrent programming languages Entry point Scripting language D Generics in Java		Typestate and Session Types for Java Dimitris Kouzapas Department of Computing Science, University of Glasgow January 13, 2014 Add to Reading List Source URL: groups.inf.ed.ac.uk Download Document from Source Website File Size: 118,94 KB Share Document on Facebook

	TxWin enhanced scripting Jan van Wijk TX enhanced scripting language (as available in DFSee 9.03 and up) DocID: 1uPWu - View Document
	Preface Tcl stands for Tool Command Language. Tcl is really two things: a scripting language, and an interpreter for that language that is designed to be easy to embed into your application. Tcl and its DocID: 1umC1 - View Document
	Tackling online game development problems with a novel network scripting language George Russell Alastair F. Donaldson DocID: 1ukHf - View Document
	Programming with Multiple Paradigms in Lua Roberto Ierusalimschy PUC-Rio, Rio de Janeiro, Brazil Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on emb DocID: 1u59G - View Document
	footils – Using the foo Sound Synthesis System as an Audio Scripting Language Martin RUMORI Klanglabor, Academy Of Media Arts Peter-Welter-Platz 2 DCologne DocID: 1u1IT - View Document