Books

Tosanjay — Sat, 04 Sep 2010 11:16:03 GMT

Model checking, program analysis and decision procedures:

← Older revision		Revision as of 11:16, 4 September 2010
Line 10:		Line 10:
	[http://www2.imm.dtu.dk/~riis/PPA/ppa.html Principles of Program Analysis] - Flemming Nielson, 2005		[http://www2.imm.dtu.dk/~riis/PPA/ppa.html Principles of Program Analysis] - Flemming Nielson, 2005

		+	[http://www.amazon.com/Reasoning-Program-Transformations-Jean-Francois-Collard/dp/0387953914: Reasoning About Program Transformations- Imperative Programming and Flow of Data] - Jean-Francois Collard, Springer, 256 pages, 2002

	== Formal Language and Automata Theory (Compiled by [http://twitter.com/guerrill4 Guerrill4]) ==		== Formal Language and Automata Theory (Compiled by [http://twitter.com/guerrill4 Guerrill4]) ==

Papers

Irc — Mon, 30 Aug 2010 21:45:40 GMT

Program semantics:

← Older revision		Revision as of 21:45, 30 August 2010
(2 intermediate revisions not shown)
Line 68:		Line 68:
	\|Schwartz E		\|Schwartz E
	\|2010		\|2010
		+	\|-
		+	\|[[Introduction to categories and categorical logic]]
		+	\|[http://web.comlab.ox.ac.uk/people/Bob.Coecke/AbrNikos.pdf]
		+	\|no
		+	\|no
		+	\| -
		+	\| Abramsky S
		+	\| -
		+	\|}
		+
		+	== Program semantics ==
		+	{\| style="width:100%;" border="1" cellpadding="2"
		+	!Title
		+	!Link
		+	!New theory
		+	!PoC
		+	!Released
		+	!Author
		+	!Year
		+	\|-valign="top"
		+	\|width="63%"\|[[Semantics of Interaction]]
		+	\|[http://www.comlab.ox.ac.uk/files/310/coursenotes.pdf]
		+	\|width="10%"\| yes
		+	\|width="5%"\| no
		+	\|width="5%" \| -
		+	\|width="12%"\| Abramsky S
		+	\|width="5%"\| 1997
		+	\|-
		+	\|[[Domain theory in logical form]]
		+	\|[http://www.comlab.ox.ac.uk/people/samson.abramsky/dtlf.pdf]
		+	\|yes
		+	\|no
		+	\| -
		+	\|Abramsky S
		+	\|1991
		+	\|-
		+	\|[[Game semantics]]
		+	\|[http://www.comlab.ox.ac.uk/files/318/mdorf97.ps.gz]
		+	\|yes
		+	\|no
		+	\| -
		+	\| Abramsky S
		+	\| 1999
	\|}		\|}