×

Found 8 Documents (Results 1–8)

From proposition to program. Embedding the refinement calculus in Coq. (English) Zbl 1475.68458

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 29-44 (2016).
MSC:  68V20 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Structural abstract interpretation: a formal study using Coq. (English) Zbl 1250.68089

Bove, Ana (ed.) et al., Language engineering and rigorous software development. International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24–March 1, 2008. Revised tutorial lectures. Berlin: Springer (ISBN 978-3-642-03152-6/pbk). Lecture Notes in Computer Science 5520, 153-194 (2009).
MSC:  68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software