shimomura's 2002 [18 articles] Export

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

	Verifying software requirements with XSLT [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 27, No. 1. (2002), pp. 39-44. by Amador Durán, Antonio Ruiz, Beatriz Bernárdez, Miguel Toro posted to 2002 read require xml xslt by shimomura on 2009-02-01 04:09:39 as along with 1 person swatipendyala
	Template meta-programming for Haskell [My Copy] SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75. by Tim Sheard, Simon P. Jones posted to 2002 haskell meta by shimomura on 2009-01-26 17:01:49 as along with 9 people and 2 groups samth marcin msakai kozima keigoi TTSY dhag mcclurmc jpbernardy NU-PRL complogic
	Termination checking with types [My Copy] (2002) by A. Abel posted to 2002 type by shimomura on 2009-01-13 01:11:00 as along with 4 people and 2 groups msakai greenrd zednenem ardt SRG_at_UCD Lambda the Ultimate
	GUI testing: pitfalls and process [My Copy] Computer In Computer, Vol. 35, No. 8. (2002), pp. 87-88. by A. M. Memon posted to 2002 gui read testing by shimomura on 2008-09-09 11:15:37 as
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to 2002 science software type by shimomura on 2008-08-03 08:43:57 as along with 20 people and 2 groups ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice SRG_at_UCD Lambda the Ultimate
	Generating Abstract Explanations of Spurious Counterexamples in C Programs [My Copy] (2002) by Thomas Ball, Sriram K. Rajamani posted to 2002 abstraction booleanprogram slam by shimomura on 2008-06-15 07:43:56 as
	Setuid demystified [My Copy] (2002) by H. Chen, D. Wagner, D. Dean posted to 2002 modelchecking by shimomura on 2008-06-11 09:20:38 as along with 2 people msakai heiko_reese
	MOPS: an Infrastructure for Examining Security Properties of Software [My Copy] (2002) by Hao Chen, David A. Wagner posted to 2002 modelchecking technicalreport by shimomura on 2008-06-11 09:20:08 as
	Lazy abstraction [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre posted to 2002 blast modelchecking slam verification by shimomura on 2008-05-28 03:15:05 as along with 6 people and 1 group streetlightios rhishi bec pganty msakai zuleger groupverif
	The SLAM project: debugging system software via static analysis [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002), pp. 1-3. by Thomas Ball, Sriram K. Rajamani posted to 2002 blast modelchecking slam verification by shimomura on 2008-05-28 03:12:54 as along with 1 person msakai
	Generalizing Hindley-Milner type inference algorithms [My Copy] (2002) by B. Heeren, J. Hage, D. Swierstra posted to 2002 type by shimomura on 2008-05-19 09:47:37 as
	MOPS: an infrastructure for examining security properties of software [My Copy] In CCS '02: Proceedings of the 9th ACM conference on Computer and communications security (2002), pp. 235-244. by Hao Chen, David Wagner posted to 2002 modelchecking read by shimomura on 2008-05-16 04:51:17 as along with 2 people and 1 group srccheck rdyer Laboratory for Software Design
	Bounded model checking for the universal fragment of CTL [My Copy] (2002) by W. Penczek, B. Wo'zna, A. Zbrzezny posted to 2002 bounded modelchecking by shimomura on 2008-05-12 09:52:14 as
	Bounded Model Checking for Timed Systems [My Copy] Formal Techniques for Networked and Distributed Sytems — FORTE 2002 (2002), pp. 243-259. by G. Audemard, A. Cimatti, A. Kornilowicz, R. Sebastiani posted to 2002 bounded modelchecking timed by shimomura on 2008-05-12 09:46:18 as
	Final Shift for Call/cc: Direct Implementation of Shift and Reset [My Copy] (2002) by Martin Gasbichler, Michael Sperber posted to 2002 continuation by shimomura on 2008-05-05 16:23:23 as along with 2 people harshrc cdiggins
	Formal Modelling of Java GUI Event Handling [My Copy] In ICFEM '02: Proceedings of the 4th International Conference on Formal Engineering Methods (2002), pp. 359-370. by Jessica Chen posted to 2002 gui java modelchecking by shimomura on 2008-04-07 22:36:33 as along with 1 person keigoi
	Formal Modelling of Java GUI Event Handling [My Copy] Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370. by Jessica Chen posted to 2002 gui modelchecking specification by shimomura on 2008-04-07 22:36:11 as along with 1 person keigoi
	Specification-based Testing for Gui-based Applications [My Copy] Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224. by Jessica Chen, Suganthan Subramaniam posted to 2002 gui java read testing by shimomura on 2008-02-16 13:21:32 as along with 1 person keigoi

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

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 2002 [18 articles] Export

shimomura's tags