msakai's program-transformation [17 articles] Export

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

Hide details

	Functional programming with bananas, lenses, envelopes and barbed wire [My Copy] Functional Programming Languages and Computer Architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to program-transformation by msakai on 2009-03-28 13:59:53 as
	Calculating Functional Programs [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 151-203. by Jeremy Gibbons posted to program-transformation by msakai on 2009-03-28 13:55:51 as
	最大重み和問題の線形時間アルゴリズムの導出 (Calculating Linear Time Algorithms for Solving Maximum Weightsum Problems) [My Copy] コンピュータソフトウェア, Vol. 18, No. 5. (17 September 2001), pp. 483-498. by Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa posted to program-transformation by msakai on 2008-11-24 08:10:46 as
	融合変換による関数プログラムの最適化 [My Copy] by Yoshiyuki Onoue posted to program-transformation by msakai on 2008-06-12 12:00:07 as
	Semantics and Pragmatics of New Shortcut Fusion Rules [My Copy] Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179. by Janis Voigtländer edited by Jacques Garrigue, Manuel Hermenegildo posted to program-transformation by msakai on 2008-06-02 10:10:48 as along with 1 person voigt
	Warm fusion: deriving build-catas from recursive definitions [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 314-323. by John Launchbury, Tim Sheard posted to program-transformation by msakai on 2008-06-01 03:30:27 as
	Deriving structural hylomorphisms from recursive definitions [My Copy] SIGPLAN Not., Vol. 31, No. 6. (June 1996), pp. 73-82. by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi posted to program-transformation by msakai on 2008-06-01 03:17:28 as
	Cheap Tupling in Calculational Form [My Copy] In PLILP (1996), pp. 471-472. by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi posted to program-transformation by msakai on 2008-05-31 03:53:21 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
	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 Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi posted to ppl2008 program-transformation by msakai on 2008-03-08 02:39:23 as
	Warm Fusion in Yicho [My Copy] In PPL 2005 by Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi posted to functional program-transformation by msakai on 2008-02-11 14:37:04 as
	Cheap Deforestation for Non-strict Functional Languages [My Copy] (1996) by Andrew Gill posted to program-transformation by msakai on 2007-09-03 12:27:31 as along with 1 person cdiggins
	Compressing Recursion [My Copy] by Jevgeni Kabanov posted to category-theory functional program-transformation by msakai on 2007-09-03 12:24:14 as
	Generic Accumulations for Program Calculation [My Copy] by Mauro Jaskelioff posted to category-theory functional program-transformation by msakai on 2007-09-03 12:20:19 as
	Generic downwards accumulations [My Copy] Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 37-65. by Jeremy Gibbons posted to program-transformation by msakai on 2007-09-03 12:11:20 as
	Program calculation properties of continuous algebras [My Copy] (1991) by M. Fokkinga, E. Meijer posted to category-theory domain-theory functional program-transformation by msakai on 2006-11-06 12:13:27 as along with 3 people scis0000001 KarlKlose glaubersp

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

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.

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 program-transformation [17 articles] Export

msakai's tags