msakai's ppl2008 [26 articles] Export

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

	Extended full computation-tree logics for paraconsistent model checking [My Copy] Logic and Logical Philosophy, Vol. 15, No. 3. (2006), pp. 251-276. by Norihiro Kamide edited by Marek Nasieniewski, Andrzej Pietruszczak posted to model-checking ppl2008 by msakai on 2008-10-07 17:13:02 as
	Test-based pointcuts for robust and fine-grained join point specification [My Copy] In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development (2008), pp. 96-107. by Kouhei Sakurai, Hidehiko Masuhara posted to aop ppl2008 by msakai on 2008-10-07 15:56:30 as
	Checking race freedom via linear programming [My Copy] In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 1-10. by Tachio Terauchi posted to concurrency ppl2008 program-analysis by msakai on 2008-10-07 15:50:36 as along with 1 person hyas
	XMLスキーマ更新操作に応じたXSLT文書変換プログラムの自動生成法 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by 昌起吉田, 健二橋本, 靖哲石原, 藤原 posted to ppl2008 by msakai on 2008-04-11 04:46:47 as
	STEPS Toward The Reinvention of Programming: First Year Progress Report [My Copy] VPRI Technical Report (December 2007) posted to ppl2008 by msakai on 2008-03-20 14:42:17 as
	補関数の生成による複製を含むプログラムの自動双方向化 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi posted to ppl2008 program-transformation by msakai on 2008-03-08 03:44:30 as
	C言語の教育用サブセットと型検査法について [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by 俊哉井上, 匡史岩田, Michio Oyamaguchi, Toshiyuki Yamada posted to ppl2008 by msakai on 2008-03-08 03:24:32 as
	index長に依存した長さの先読みを行う構文解析器生成系 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by 達軌, Fumihiko Yamaguchi, Katsunori Yamasakiw posted to parser ppl2008 by msakai on 2008-03-08 03:19:34 as
	質問伝播に基づく要求駆動型大域値番号付け [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Munehiro Takimoto, Masataka Sassa posted to ppl2008 by msakai on 2008-03-08 03:14:47 as
	Modal μ-calculus on min-plus algebra N∞ [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya posted to modal-logic model-checking ppl2008 by msakai on 2008-03-08 03:08:01 as
	図示記法表現とLTL論理式 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Satoru Yoshida, Takeuti Izumi, Satoshi Koike, Hitoshi Ohsaki posted to model-checking ppl2008 by msakai on 2008-03-08 03:06:48 as along with 1 person yoriyuki
	Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π -Calculus [My Copy] Automata, Languages and Programming (2007), pp. 740-751. by Naoki Kobayashi, Takashi Suto posted to ppl2008 process-algebra by msakai on 2008-03-08 03:02:25 as
	文脈依存資源使用解析のための型システム [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Tatsuya Nakaima, Atsushi Igarashi, Naoki Kobayashi posted to ppl2008 type-theory by msakai on 2008-03-08 03:00:21 as
	Bidirectionalization transformation based on automatic derivation of view complement functions [My Copy] In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming (2007), pp. 47-58. by Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi posted to ppl2008 program-transformation by msakai on 2008-03-08 02:54:02 as
	反証機能付き書き換え帰納法のための補題自動生成法 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Satoshi Shimazu, Takahito Aoto, Yoshihito Toyama posted to ppl2008 rewriting by msakai on 2008-03-08 02:53:12 as
	項書き換えシステムの合流性自動判定 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Jyunichi Yoshida, Takahito Aoto, Yoshihito Toyama posted to ppl2008 rewriting by msakai on 2008-03-08 02:50:53 as
	対称λ計算の基礎理論 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Sari Sakaue, Kenichi Asai posted to continuation ppl2008 by msakai on 2008-03-08 02:43:01 as
	仕様記述言語に基づく最適経路問題の解法の導出 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi posted to ppl2008 program-transformation by msakai on 2008-03-08 02:39:23 as
	非正格関数の融合変換における始代数の存在について [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Masahiro Sakai, Tatsuya Hagino posted to category-theory domain-theory ppl2008 by msakai on 2008-03-08 02:35:56 as
	静的解析を用いない純粋に動的な情報フロー制御 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Naoshi Tabuchi, Takaaki Tateishi, 間太 posted to ppl2008 by msakai on 2008-03-08 02:33:13 as
	クラスのインターフェースやその振る舞いに及ぼすアスペクトの影響の解析と可視化 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by 倫大堀江, Shigeru Chiba posted to ppl2008 by msakai on 2008-03-08 02:28:55 as
	Lightweight scalable components [My Copy] In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 145-154. by Tetsuo Kamina, Tetsuo Tamai posted to ppl2008 type-theory by msakai on 2008-03-08 02:26:16 as
	Konoha: ハイブリッドな型検査システムを備えたスクリプティング言語 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Kimio Kuramitsu posted to ppl2008 by msakai on 2008-03-08 02:24:36 as
	Featherweight Javaのための漸進的型付け [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Rintaro Ina, Atsushi Igarashi posted to ppl2008 type-theory by msakai on 2008-03-08 02:22:55 as
	Ruby処理系での軽量な浮動小数点数表現 [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Koichi Sasada posted to ppl2008 ruby virtual-machine by msakai on 2008-03-08 02:20:36 as
	Efficient flonum handling on a stack-based VM for dynamically typed languages [My Copy] In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008) by Shiro Kawai posted to ppl2008 virtual-machine by msakai on 2008-03-08 02:19:30 as

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

category-theory	81
type-theory	80
haskell	59
domain-theory	35
functional	34
model-checking	33
logic	28
ppl2008	26
ppl2009	26
coalgebra	22
continuation	22
theorem-proving	18
program-transformation	17
polymorphism	16
linear-logic	14
linguistics	14
quantum	14
concurrency	12
modal-logic	12
lambda-calculus	11
institution	10
regular-expression	8
algebraic-specification	7
complexity	7
garbage-collection	7
virtual-machine	7
functional-programming	6
logic-programming	6
parametricity	6
aop	5
coq	5
program-analysis	5
rewriting	5
security	5
set-theory	5
agda	4
alloy	4
dependent-types	4
inductive-logic-programming	4
parser	4
reactive	4
ruby	4
specification	4
topology	4
types	4
algebra	3
c	3
compiler	3
game	3
intuitionistic	3
logical-relation	3
machine-learning	3
process-algebra	3
semantics	3
type-classes	3
type-inference	3
unix	3
verification	3
abductive-logic-programming	2
channel-theory	2
chr	2
classical-logic	2
copyright	2
debug	2
denotational-semantics	2
economics	2
encryption	2
filesystem	2
game-semantics	2
kleene-algebra	2
lcm	2
model-finding	2
monad	2
observational-equivalence	2
ontology	2
operational-semantics	2
optimization	2
parallel-programming	2
philosophy	2
physics	2
planning	2
provability	2
slacs2007	2
specialization	2
thermodynamics	2
vaguness	2
algebraic-geometry	1
algorithm	1
answer-set-programming	1
arithmetic	1
arrow	1
baysian-network	1
bdd	1
bignum	1
bug	1
category-thoery	1
chu-space	1
cloud	1
compression	1
constructivity	1
context-free-grammer	1
database	1
deep-inference	1
design-by-contract	1
determinacy	1
dialgebra	1
diff	1
e-mail	1
expression-problem	1
fft	1
finance	1
fix-point	1
functional-logic-programming	1
graph-rewriting	1
gui	1
higher-order-logic	1
history	1
information-theory	1
linear-programming	1
machine-code	1
maude	1
module-system	1
network	1
nuclear-deterrence	1
number-theory	1
ocaml	1
pretty-printing	1
prolog	1
quickcheck	1
refactoring	1
region	1
scala	1
self-reference	1
semantic-web	1
shell-programming	1
smt	1
soft-typing	1
software-engineering	1
stage-calculus	1
static-checking	1
stg	1
strictness-analysis	1
temporal-logic	1
termination	1
testing	1
tex	1
web	1
www2005	1

msakai's ppl2008 [26 articles] Export

msakai's tags