×

Found 262 Documents (Results 1–100)

100
MathJax

Hennessy-Milner results for probabilistic PDL. (English) Zbl 07516381

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 283-304 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: arXiv Link

Declarative pearl: deriving monadic quicksort. (English) Zbl 07368088

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 124-138 (2020).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Test generation from event system abstractions to cover their states and transitions. (English. Russian original) Zbl 1455.68104

Program. Comput. Softw. 44, No. 1, 1-14 (2018); translation from Programmirovanie 44, No. 1, 3-20 (2018).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

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

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Region analysis for deductive verification of C programs. (English. Russian original) Zbl 1452.68051

Program. Comput. Softw. 42, No. 5, 257-278 (2016); translation from Programmirovanie 42, No. 5, 3-29 (2016).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI Link

Horn clause solvers for program verification. (English) Zbl 1465.68044

Beklemishev, Lev D. (ed.) et al., Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9300, 24-51 (2015).
MSC:  68N30 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI HAL

Properties of a predicate transformer of the VRS system. (English. Russian original) Zbl 1288.68167

Cybern. Syst. Anal. 46, No. 4, 521-532 (2010); translation from Kibern. Sist. Anal. 2010, No. 4, 3-16 (2010).
MSC:  68Q60 68M12
PDF BibTeX XML Cite
Full Text: DOI

Patterns for refinement automation. (English) Zbl 1312.68072

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 70-88 (2010).
MSC:  68N99 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Inferring loop invariants using postconditions. (English) Zbl 1287.68108

Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 277-300 (2010).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention. (English) Zbl 1274.68085

Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 74-95 (2010).
MSC:  68N99 68N20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software