Sciweavers

203

PEPM
2011
ACM

221views Software Engineering» more PEPM 2011»

Ordering multiple continuations on the stack

14 years 10 months ago

Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...

Dimitrios Vardoulakis, Olin Shivers

claim paper

Read More »

209

click to vote

PEPM
2011
ACM

210views Software Engineering» more PEPM 2011»

Adaptation-based programming in java

14 years 10 months ago

Download web.engr.oregonstate.edu

Writing deterministic programs is often difﬁcult for problems whose optimal solutions depend on unpredictable properties of the programs’ inputs. Difﬁculty is also encounter...

Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto

claim paper

Read More »

238

click to vote

PEPM
2011
ACM

225views Software Engineering» more PEPM 2011»

Calculating tree navigation with symmetric relational zipper

14 years 10 months ago

Download www.math.kyoto-u.ac.jp

Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path speciﬁcation language t...

Yuta Ikeda, Susumu Nishimura

claim paper

Read More »

188

click to vote

PCS
2011

178views Operations Research» more PCS 2011»

Rational solutions of linear difference equations: Universal denominators and denominator bounds

14 years 10 months ago

Download www.ccas.ru

Sergei A. Abramov, A. Gheffar, D. E. Khmelnov

claim paper