BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × France
1 × Italy
1 × Sweden
1 × Switzerland
1 × USA
Collaborated with:
Z.Hu M.Ogawa M.Takeichi T.Goto A.Ohori Tsubasa Matsushita K.Kikuchi T.A.0001 S.Hidaka K.Inaba H.Kato K.Nakano K.Matsuda
Talks about:
program (3) transform (2) function (2) problem (2) maximum (2) applic (2) solv (2) lightweight (1) bidirection (1) weightsum (1)

Person: Isao Sasano

DBLP DBLP: Sasano:Isao

Contributed to:

PEPM 20122012
ICMT 20112011
LOPSTR 20112011
POPL 20072007
ICFP 20032003
SAIG 20012001
ICFP 20002000
PEPM 20172017
PPDP 20192019

Wrote 9 papers:

PEPM-2012-GotoS #approach #functional
An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
ICMT-2011-SasanoHHIKN #atl #bidirectional #towards
Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.
LOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
POPL-2007-OhoriS #fixpoint #lightweight
Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.
ICFP-2003-OgawaHS #program analysis
Iterative-free program analysis (MO, ZH, IS), pp. 111–123.
SAIG-2001-SasanoHT #generative #multi #performance #problem #source code
Generation of Efficient Programs for Solving Maximum Multi-marking Problems (IS, ZH, MT), pp. 72–91.
ICFP-2000-SasanoHTO #algorithm #linear #problem
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.
PEPM-2017-MatsushitaS #detection
Detecting code clones with gaps by function applications (TM, IS), pp. 12–22.
PPDP-2019-Kikuchi0S #induction #program transformation #proving #term rewriting #theorem proving
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (KK, TA0, IS), p. 14.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.