shimomura's 2006 [15 articles] Export

Recent papers added to shimomura's library classified by the tag 2006. You can also see everyone's 2006.

	A theoretical basis of communication-centred concurrent programming [My Copy] (2006) by Marco Carbone, da Nobuko Yoshida, Robin Milner, Gary Brown, Steve Ross-Talbot posted to read pi epp concurrent cdl 2006 by shimomura on 2009-07-06 16:40:24 as
	Graphical user interfaces as documents [My Copy] In CHINZ '06: Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction (2006), pp. 67-74. by Dirk Draheim, Christof Lutteroth, Gerald Weber posted to 2006 gui layout by shimomura on 2009-07-05 15:21:34 as
	Encoding Information Flow in Haskell [My Copy] In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006) by Peng Li, Steve Zdancewic posted to 2006 arrow flow haskell information by shimomura on 2009-01-26 16:59:14 as along with 9 people ama08r michaelbanks draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	Monad Transformers Step by Step [My Copy] (October 2006) by Martin Grabmuller posted to 2006 haskell by shimomura on 2008-10-17 09:16:06 as
	Model-Based Testing Through a GUI [My Copy] Formal Approaches to Software Testing (2006), pp. 16-31. by Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara posted to 2006 gui testing by shimomura on 2008-09-09 11:48:37 as along with 1 person mishra_satish
	Automation of GUI testing using a model-driven approach [My Copy] In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 9-14. by Marlon Vieira, Johanne Leduc, Bill Hasling, Rajesh Subramanyan, Juergen Kazmeier posted to 2006 gui read testcasegeneration testing verification by shimomura on 2008-09-09 10:54:42 as along with 1 person kevin3stone
	Flap jax: Functional Reactive Web Programming [My Copy] (2006) by Leo Meyerovich posted to 2006 haskell by shimomura on 2008-08-20 16:21:40 as
	The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science) [My Copy] (20 June 2006) by Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager posted to 2006 automata read timed by shimomura on 2008-07-25 08:35:36 as
	Agate–an Agda-to-Haskell compiler [My Copy] (5 October 2006) by Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita posted to 2006 agda compiler haskell transformation by shimomura on 2008-07-07 09:39:22 as along with 1 person msakai
	Extended static checking for haskell [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 48-59. by Dana N. Xu posted to 2006 haskell by shimomura on 2008-06-23 18:22:46 as along with 2 people spl msakai
	Gradual typing for functional languages [My Copy] In Scheme and Functional Programming Workshop (September 2006) by Jeremy G. Siek, Walid Taha posted to 2006 type by shimomura on 2008-05-29 02:18:43 as along with 2 people mattmight msakai
	Session Types for Object-Oriented Languages [My Copy] ECOOP 2006 – Object-Oriented Programming (2006), pp. 328-352. by Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou posted to 2006 sessiontype by shimomura on 2008-05-15 16:17:14 as along with 2 people ama08r keigoi
	Resource Usage Analysis for the π -Calculus [My Copy] Verification, Model Checking, and Abstract Interpretation (2006), pp. 298-312. by Naoki Kobayashi, Kohei Suenaga, Lucian Wischik posted to 2006 pi resource type by shimomura on 2008-05-14 06:59:17 as
	Combining type-based analysis and model checking for finding counterexamples against non-interference [My Copy] In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 17-26. by Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa posted to 2006 modelchecking type by shimomura on 2008-04-15 09:15:39 as
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted to 2006 gadt haskell type by shimomura on 2008-02-21 02:29:30 as along with 6 people keigoi draganigajic spl bringert mcclurmc pedagand

Note: You may cite this page as: http://www.citeulike.org/user/shimomura/tag/2006

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

modelchecking	63
read	52
gui	47
verification	33
type	29
haskell	26
testing	21
pi	20
2003	19
2005	19
2002	18
2008	16
2001	15
2006	15
2004	13
2007	13
2000	12
blast	11
concurrent	10
dependenttype	9
slam	9
1999	8
java	8
proof	7
specification	7
1997	6
1998	6
bandera	6
timed	6
arrow	5
automata	5
bounded	5
frp	5
programming	5
sessiontype	5
1993	4
1996	4
abstraction	4
booleanprogram	4
slide	4
tool	4
agda	3
coq	3
epp	3
layout	3
pict	3
software	3
theoremproving	3
ws-cdl	3
1991	2
2009	2
bebop	2
ccs	2
cdl	2
compiler	2
continuation	2
event	2
flow	2
gadt	2
gradualtyping	2
logic	2
modeconfusion	2
resource	2
sat	2
science	2
thread	2
xml	2
1978	1
1981	1
1982	1
1985	1
1987	1
1988	1
1990	1
1992	1
1994	1
1995	1
analysis	1
c	1
caml	1
chr	1
cml	1
deadlock	1
debug	1
designpattern	1
distributed	1
engineer	1
erlang	1
exception	1
functional	1
implementation	1
information	1
javascript	1
linertype	1
ltl	1
meta	1
multicore	1
nepi	1
operationalsematics	1
optimization	1
plan9	1
predicate	1
prolog	1
property	1
python	1
refactoring	1
require	1
scala	1
scheme	1
se	1
secure	1
semantics	1
slicing	1
smtsolver	1
sos	1
swing	1
systemf	1
technicalreport	1
testcasegeneration	1
transformation	1
trs	1
uppaal	1
usability	1
web	1
wxhaskell	1
xslt	1

shimomura's 2006 [15 articles] Export

shimomura's tags