×

Found 304 Documents (Results 1–100)

Algebra-based loop analysis. (English) Zbl 07760745

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 41-42 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

A predicate transformer for choreographies. Computing preconditions in choreographic programming. (English) Zbl 07722325

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 520-547 (2022).
MSC:  68N30 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Foundations for entailment checking in quantitative separation logic. (English) Zbl 07722309

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 57-84 (2022).
MSC:  68Q60 03B70 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

A specification logic for programs in the probabilistic guarded command language. (English) Zbl 07719843

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 369-387 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Traits: correctness-by-construction for free. (English) Zbl 1499.68067

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 131-150 (2022).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Out of control: reducing probabilistic models by control-state elimination. (English) Zbl 1498.68176

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 450-472 (2022).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards refinable choreographies. (English) Zbl 1477.68178

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 61-77 (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: arXiv Link

Sharpening constraint programming approaches for bit-vector theory. (English) Zbl 1489.68249

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 3-20 (2017).
MSC:  68T20 68Q60 68V15
PDFBibTeX XMLCite
Full Text: DOI Link

Is your software on dope? Formal analysis of surreptitiously “enhanced” programs. (English) Zbl 1485.68059

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 83-110 (2017).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weakest precondition reasoning for expected run-times of probabilistic programs. (English) Zbl 1335.68058

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 364-389 (2016).
MSC:  68N30 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Combining top-down and bottom-up techniques in program derivation. (English) Zbl 1362.68042

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 (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 244-258 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Understanding probabilistic programs. (English) Zbl 1444.68045

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 15-32 (2015).
MSC:  68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Unifying semantics for concurrent programming. (English) Zbl 1264.68042

Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 139-149 (2013).
MSC:  68N15 68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI

The laws of programming unify process calculi. (English) Zbl 1358.68064

Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 7-22 (2012).
MSC:  68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Computing preconditions and postconditions of while loops. (English) Zbl 1350.68062

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 173-193 (2011).
MSC:  68N30 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Association of under-approximation techniques for generating tests from models. (English) Zbl 1335.68046

Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 51-68 (2011).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software