shimomura's 2007 [13 articles] Export

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

	Structured Global Programming for Communication Behaviour [My Copy] In ESOP, No. 4421. (2007), pp. 2-17. by Marco Carbone, Kohei Honda, Nobuko Yoshida posted to 2007 cdl pi by shimomura on 2009-07-26 13:42:35 as along with 3 people and 1 group pirapira msakai nils_gesbert Session types
	Structured Communication-Centred Programming for Web Services [My Copy] Programming Languages and Systems (2007), pp. 2-17. by Marco Carbone, Kohei Honda, Nobuko Yoshida posted to ws-cdl web read epp 2007 by shimomura on 2009-07-06 13:33:32 as
	停止性自動検証ツールにおける SAT Solver の使い方 [My Copy] (11 September 2007) by 広川 posted to 2007 read sat trs by shimomura on 2009-02-09 09:30:43 as
	Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking [My Copy] Formal Methods for Open Object-Based Distributed Systems (2007), pp. 44-58. by L. Cai, Jeremy Bradbury, Juergen Dingel posted to 2007 concurrent event modelchecking verification by shimomura on 2009-02-02 06:37:10 as
	Industrial uses of Caml: examples and lessons learned from the smart card industry [My Copy] In CUFP '07: Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming (2007), pp. 1-4. by Xavier Leroy posted to 2007 caml programming read by shimomura on 2008-10-30 05:27:14 as along with 1 person msakai
	The Coq Proof Assistant A Tutorial [My Copy] (8 February 2007) by Gerard Huet, Gilles Kahn, Christine Paulin-Mohring posted to coq 2007 dependenttype by shimomura on 2008-09-02 07:33:23 as along with 2 people GMariano msakai
	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199. by Peng Li, Steve Zdancewic posted to 2007 haskell thread by shimomura on 2008-06-09 05:49:51 as along with 2 people draganigajic pedagand
	The software model checker Blast [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525. by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar posted to 2007 blast modelchecking read verification by shimomura on 2008-05-28 03:29:09 as along with 5 people zhensong streetlightios uisiong msakai zuleger
	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 171, No. 4. (July 2007), pp. 73-93. by Nobuko Yoshida, Vasco T. Vasconcelos posted to 2007 sessiontype by shimomura on 2008-05-15 16:25:44 as along with 3 people ama08r msakai keigoi
	Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts [My Copy] Programming Languages and Systems (2007), pp. 490-504. by Kohei Suenaga, Naoki Kobayashi posted to 2007 concurrent deadlock pi type by shimomura on 2008-05-14 06:54:18 as
	Language-Based Program Verification via Expressive Types [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Programming Languages meets Program Verification (PLPV 2006), Vol. 174, No. 7. (4 June 2007), pp. 129-147. by Martin Sulzmann, Razvan Voicu posted to 2007 type verification by shimomura on 2008-04-15 07:56:33 as
	Lightweight Static Capabilities [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Programming Languages meets Program Verification (PLPV 2006), Vol. 174, No. 7. (4 June 2007), pp. 79-104. by Oleg Kiselyov, Chung-Chieh Shan posted to 2007 type by shimomura on 2008-04-15 07:54:51 as
	Reversing algebraic process calculi [My Copy] Journal of Logic and Algebraic Programming In Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006), Vol. 73, No. 1-2. ( 2007), pp. 70-96. by Iain Phillips, Irek Ulidowski posted to 2007 ccs modelchecking sos by shimomura on 2007-10-31 05:31:23 as along with 3 people ama08r keigoi leonardo

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

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 2007 [13 articles] Export

shimomura's tags