×

Found 695 Documents (Results 1–100)

Does a program yield the right distribution? Verifying probabilistic programs via generating functions. (English) Zbl 1514.68028

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 79-101 (2022).
MSC:  68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Recursion and sequentiality in categories of sheaves. (English) Zbl 07700630

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modular relaxed dependencies in weak memory concurrency. (English) Zbl 1508.68045

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 599-625 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Semantic foundations for deterministic dataflow and stream processing. (English) Zbl 1508.68069

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 394-427 (2020).
MSC:  68N30 68Q10 68Q55
PDFBibTeX XMLCite
Full Text: DOI

On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics. (English) Zbl 1502.68078

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 3-18 (2020).
MSC:  68N30 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Non-idempotent intersection types in logical form. (English) Zbl 07250939

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 198-216 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic programming inference via intensional semantics. (English) Zbl 1524.68054

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 322-349 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Differentials and distances in probabilistic coherence spaces. (English) Zbl 1528.68063

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 17, 17 p. (2019).
MSC:  68N18 03F52 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A denotational semantics for low-level probabilistic programs with nondeterminism. (English) Zbl 07515966

König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 303-324 (2019).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Strong adequacy and untyped full-abstraction for probabilistic coherence spaces. (English) Zbl 1524.68059

Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 365-381 (2019).
MSC:  68N18 03B40 68Q55
PDFBibTeX XMLCite
Full Text: DOI

What is the aggregation of a partial metric and a quasi-metric? (English) Zbl 1512.68365

Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 231-243 (2018).
MSC:  68T37 68Q55 68W40
PDFBibTeX XMLCite
Full Text: DOI

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. (English) Zbl 1527.68041

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 239-260 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A denotational semantics for SPARC TSO. (English) Zbl 1525.68072

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 223-239 (2018).
MSC:  68Q55 68M07 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A categorical foundation for structured reversible flowchart languages. (English) Zbl 1525.68025

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 155-171 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Call-by-name gradual type theory. (English) Zbl 1462.68024

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 24, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Boolean-valued semantics for the stochastic \(\lambda \)-calculus. (English) Zbl 1453.03006

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 669-678 (2018).
MSC:  03B40 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Probabilistic stable functions on discrete cones are power series. (English) Zbl 1502.68169

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 275-284 (2018).
PDFBibTeX XMLCite
Full Text: DOI

QWIRE: a core language for quantum circuits. (English) Zbl 1380.68087

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 846-858 (2017).
MSC:  68N15 68N30 81P68
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

Denotational semantics of recursive types in synthetic guarded domain theory. (English) Zbl 1401.68047

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 317-326 (2016).
MSC:  68N30 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Duality in computer science. (English) Zbl 1392.68268

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 12-26 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reducing complex CSP models to traces via priority. (English) Zbl 1392.68310

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 237-252 (2016).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Iteration and labelled iteration. (English) Zbl 1394.68061

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 127-146 (2016).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Weighted relational models for mobility. (English) Zbl 1387.68163

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 24, 15 p. (2016).
MSC:  68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Polymorphic game semantics for dynamic binding. (English) Zbl 1369.68144

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 27, 16 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Guarded cubical type theory: path equality for guarded recursion. (English) Zbl 1370.68052

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 23, 17 p. (2016).
MSC:  68N30 03B15 03B70 03G30 55U40 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Datafun: a functional Datalog. (English) Zbl 1360.68312

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 214-227 (2016).
MSC:  68N18 68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Formalizing bialgebraic semantics in PVS 6.0. (English) Zbl 1428.68179

Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 47-61 (2015).
MSC:  68Q55 68N30 68V20
PDFBibTeX XMLCite
Full Text: DOI

On classical PCF, linear logic and the MIX rule. (English) Zbl 1373.68172

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 582-596 (2015).
MSC:  68N18 03F52 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A model of PCF in guarded type theory. (English) Zbl 1351.68063

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 333-349, electronic only (2015).
MSC:  68N18 03B15 03B70 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A denotational semantic theory of concurrent systems. (English) Zbl 1321.68362

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 493-518 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On context semantics and interaction nets. (English) Zbl 1401.68176

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 73, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

A type theory for productive coprogramming via guarded recursion. (English) Zbl 1394.68066

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 71, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

On grainless footprint semantics for shared-memory programs. (English) Zbl 1337.68060

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 65-86, electronic only (2014).
MSC:  68N19 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A domain-theoretic model of nominally-typed object-oriented programming. (English) Zbl 1337.68059

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014).
MSC:  68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Observationally-induced algebras in domain theory. (English) Zbl 1337.68158

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 21-37, electronic only (2014).
MSC:  68Q55 06B35
PDFBibTeX XMLCite
Full Text: DOI

An abstract, reusable, and extensible programming language design architecture. (English) Zbl 1397.68023

Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Weighted relational models of typed lambda-calculi. (English) Zbl 1366.03171

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 301-310 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Unifying theories of programming in Isabelle. (English) Zbl 1444.68049

Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

Full abstraction for nominal Scott domains. (English) Zbl 1301.68103

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 3-14 (2013).
PDFBibTeX XMLCite
Full Text: DOI

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