×

Found 21 Documents (Results 1–21)

100
MathJax

UTP semantics of reactive processes with continuations. (English) Zbl 1483.68087

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 114-133 (2017).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Reflection cryptanalysis of Prince-like ciphers. (English) Zbl 1321.94090

Moriai, Shiho (ed.), Fast software encryption. 20th international workshop, FSE 2013, Washington, DC, USA, March 11–13, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-43932-6/pbk; 978-3-662-43933-3/ebook). Lecture Notes in Computer Science 8424, 71-91 (2014).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

A rewriting logic approach to type inference. (English) Zbl 1253.68211

Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 135-151 (2009).
MSC:  68Q55 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Comparing control constructs by double-barrelled CPS transforms. (English) Zbl 1260.68117

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 433-447 (2001).
MSC:  68N30 68Q55 68N18
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

all top 3

Software