×

Found 25 Documents (Results 1–25)

Tail recursion transformation for invertible functions. (English) Zbl 07786596

Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 73-88 (2023).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

Correctness of context-moving transformations for term rewriting systems. (English) Zbl 1473.68057

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 331-345 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On solutions of the affine recursion and the smoothing transform in the critical case. (English) Zbl 1291.60146

Alsmeyer, Gerold (ed.) et al., Random matrices and iterated random functions. Selected papers based on the presentations at the workshop, Münster, Germany, October 4–7, 2011. Berlin: Springer (ISBN 978-3-642-38805-7/hbk; 978-3-642-38806-4/ebook). Springer Proceedings in Mathematics & Statistics 53, 137-157 (2013).
MSC:  60J10
PDFBibTeX XMLCite
Full Text: DOI

Auto-tail dependence coefficients for stationary solutions of linear stochastic recurrence equations and for \(\mathrm{GARCH}(1,1)\). (English) Zbl 1282.60040

Dalang, Robert C. (ed.) et al., Seminar on stochastic analysis, random fields and applications VI. Centro Stefano Franscini, Ascona (Ticino), Switzerland, May 19–23, 2008. Basel: Birkhäuser (ISBN 978-3-0348-0020-4/pbk; 978-3-0348-0021-1/ebook). Progress in Probability 63, 327-339 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Clowns to the left of me, jokers to the right (pearl), dissecting data structures. (English) Zbl 1295.68161

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 287-295 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software