×

Found 747 Documents (Results 1–100)

100
MathJax

Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Complete trace models of state and control. (English) Zbl 1473.68037

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 348-374 (2021).
MSC:  68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

Implementation correctness for replicated data types, categorically. (English) Zbl 07369994

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 283-303 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059

Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

A categorical approach to secure compilation. (English) Zbl 07314153

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

A cellular Howe theorem. (English) Zbl 07299475

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 273-286 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI HAL

Multi-mode DAE models – challenges, theory and implementation. (English) Zbl 07474184

Steffen, Bernhard (ed.) et al., Computing and software science. State of the art and perspectives. Cham: Springer. Lect. Notes Comput. Sci. 10000, 283-310 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Operational semantics and program verification using many-sorted hybrid modal logic. (English) Zbl 1435.68199

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 446-476 (2019).
MSC:  68Q60 03B45 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

Guarded computational type theory. (English) Zbl 1453.03027

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). 879-888 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Modeling operational semantics with interval orders represented by sequences of antichains. (English) Zbl 1427.68155

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 251-271 (2018).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Automatic space bound analysis for functional programs with garbage collection. (English) Zbl 1415.68058

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 543-563 (2018).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

A certified study of a reversible programming language. (English) Zbl 1433.68080

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 7, 21 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

A categorical semantics for causal structure. (English) Zbl 1457.68190

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 35, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link

On communication models when verifying equivalence properties. (English) Zbl 1444.68035

Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 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. 10204, 141-163 (2017).
PDF BibTeX XML Cite
Full Text: DOI Link

Refinement for signal flow graphs. (English) Zbl 1442.68125

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 24, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Divide and congruence. III: Stability & divergence. (English) Zbl 1442.68139

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 15, 16 p. (2017).
MSC:  68Q85 03B45 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Rule formats for nominal process calculi. (English) Zbl 1442.68120

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 10, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Precongruence formats with lookahead through modal decomposition. (English) Zbl 1440.68168

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Diagrammatic semantics for digital circuits. (English) Zbl 1440.68169

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 24, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Modeling and verifying multi-core programs. (English) Zbl 1474.68196

Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10628, 492-500 (2017).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Automatically generating the dynamic semantics of gradually typed languages. (English) Zbl 1380.68082

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). 789-803 (2017).
MSC:  68N15 68N17 68N30
PDF BibTeX XML Cite
Full Text: DOI

A promising semantics for relaxed-memory concurrency. (English) Zbl 1380.68103

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). 175-189 (2017).
MSC:  68N19 68N15
PDF BibTeX XML Cite
Full Text: DOI

Nominal unification of higher order expressions with recursive let. (English) Zbl 06791234

Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 328-344 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Structural analysis of multi-mode DAE systems. (English) Zbl 1369.93149

Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 253-263 (2017).
PDF BibTeX XML Cite
Full Text: DOI Link

A stable non-interleaving early operational semantics for the pi-calculus. (English) Zbl 06725126

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 51-63 (2017).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI Link

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

Modal decomposition on nondeterministic probabilistic processes. (English) Zbl 1392.68288

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 36, 15 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

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

A lambda-calculus foundation for universal probabilistic programming. (English) Zbl 1360.68314

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). 33-46 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Dag-calculus: a calculus for parallel computation. (English) Zbl 1361.68055

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). 18-32 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Taming release-acquire consistency. (English) Zbl 1347.68086

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 649-662 (2016).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI

An imperative pure calculus. (English) Zbl 1345.68097

Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 87-102, electronic only (2016).
MSC:  68N30 68Q42 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Rule formats for bounded nondeterminism in structural operational semantics. (English) Zbl 1474.68184

Probst, Christian W. (ed.) et al., Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Cham: Springer. Lect. Notes Comput. Sci. 9560, 313-343 (2016).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI

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

Sós specifications of probabilistic systems by uniformly continuous operators. (English) Zbl 1374.68328

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 155-168 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Presenting morphisms of distributive laws. (English) Zbl 1366.68158

Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 190-204 (2015).
MSC:  68Q55 18C50 68Q60
PDF BibTeX XML Cite
Full Text: DOI

The expressiveness of CSP with priority. (English) Zbl 1351.68148

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, 387-401, electronic only (2015).
MSC:  68Q55 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Equational reasoning about quantum protocols. (English) Zbl 1464.81018

Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 155-170 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

Full abstraction for signal flow graphs. (English) Zbl 1346.68143

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 515-526 (2015).
MSC:  68R10 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A framework for the analysis of access control policies with emergency management. (English) Zbl 1342.68190

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 89-105, electronic only (2015).
MSC:  68Q55 68Q42
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