By Michael Codish (auth.), Tom Schrijvers, Peter Thiemann (eds.)

This publication constitutes the refereed complaints of the eleventh foreign Symposium on useful and good judgment Programming, FLOPS 2012, held in Kobe, Japan, in may well 2012. the nineteen learn papers and three approach demonstrations awarded during this quantity have been conscientiously reviewed and chosen from 39 submissions. They care for declarative programming, together with sensible programming and good judgment programming.

Show description

Read Online or Download Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings PDF

Similar logic books

Statistical Estimation of Epidemiological Risk (Statistics in Practice)

Statistical Estimation of Epidemiological Risk provides assurance of an important epidemiological indices, and comprises fresh advancements within the field. A useful reference resource for biostatisticians and epidemiologists operating in sickness prevention, because the chapters are self-contained and have a variety of actual examples.

An Invitation to Formal Reasoning

This paintings introduces the topic of formal common sense in terms of a procedure that's "like syllogistic logic". Its procedure, like out of date, conventional syllogistic, is a "term logic". The authors' model of common sense ("term-function logic", TFL) stocks with Aristotle's syllogistic the perception that the logical types of statements which are inquisitive about inferences as premises or conclusions might be construed because the results of connecting pairs of phrases through a logical copula (functor).

Additional info for Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Sample text

Starting from the bigstep interpreter, in each phase, the case analysis is lifted out so that the interpreter becomes a set of one-argument functions on the active expression that produce a function accepting the passive expression as an extra parameter. M. Ariola et al. c e t = λτ. c t E = c c [E/α] V t E=E V α E V =αV E V = λτ. λτ. t μ ˜[x]. V F τ τ [x = t] τ V F = λτ. E V ]τ )) τ Fig. 2. Continuation and environment passing style transform for λ[lvτ ∗] interpreter as they become available. The partial evaluation of the interpreter with only the active argument becomes a continuation waiting for the passive counterpart.

Theorem 6. If cτ [lv∗] c τ then c τ =βη c τ . Store-Based CPS. Another approach to deriving a CPS for a classical callby-need calculus is to extend the CPS given by Okasaki et al. [8] with control operators. We do so by adding the operators μ and “bracket” from Parigot’s λμcalculus [9] for respectively capturing and re-installing an evaluation context. This extension corresponds to applying a store passing transformation to the transformation given in Figure 3. The natural extension of the delay and force CPS results in a different semantics than the one in Figure 2.

X||α )||α ||˜ μ[a]. a||fst · μ ˜[f ]. f ||q · (I, I) · tp [q = μδ. a||snd · δ ][f = μβ. a||fst · β ][a = μα. μ . μ . x||α )||α [q = μδ. a||snd · δ ][f = μβ. a||fst · β ][a = μα. μ . x||α )||α ] where α = μ ˜ [a]. a||fst · μ ˜[f ]. f ||q · (I, I) · tp → → q||(I, I) · tp [q = μδ. μ . μ . μ . μ . μ . x||α ][f = I][a = (I, I)] where α = μ ˜ [a]. a||fst · μ ˜[f ]. f ||q · (I, I) · tp →... M. Ariola et al. We saw that using the multicut calculus λ[lv τ ] , the program produces (I, I)||tp as a result — every time the continuation α is invoked, both f and q are reverted to their unevaluated states.

Download PDF sample

Rated 4.70 of 5 – based on 3 votes