×

Found 914 Documents (Results 1–100)

Towards fast nominal anti-unification of Letrec-expressions. (English) Zbl 07838502

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 456-473 (2023).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Deep embedding with class. (English) Zbl 1528.68069

Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 39-58 (2023).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Structured handling of scoped effects. (English) Zbl 1528.68088

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, 462-491 (2022).
MSC:  68N30 18C50 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linearity and uniqueness: an entente cordiale. (English) Zbl 1528.68084

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, 346-375 (2022).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI

Parameterized recursive refinement types for automated program verification. (English) Zbl 1524.68100

Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 397-421 (2022).
MSC:  68N30 68Q60 68V15
PDFBibTeX XMLCite
Full Text: DOI

Fantastic morphisms and where to find them. A guide to recursion schemes. (English) Zbl 07705364

Komendantskaya, Ekaterina (ed.), Mathematics of program construction. 14th international conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13544, 222-267 (2022).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards substructural property-based testing. (English) Zbl 1521.68035

De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 92-112 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Synthetic tableaux: Minimal tableau search heuristics. (English) Zbl 07628201

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 407-425 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

A functional account of probabilistic programming with possible worlds. Declarative pearl. (English) Zbl 07570121

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 186-204 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Translation certification for smart contracts. (English) Zbl 07570116

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 94-111 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Axiomatic reals and certified efficient exact real computation. (English) Zbl 07547745

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 252-268 (2021).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Nonlinear pattern matching in rule-based modeling languages. (English) Zbl 1491.92067

Cinquemani, Eugenio (ed.) et al., Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12881, 198-214 (2021).
MSC:  92C42 92C40 92-08
PDFBibTeX XMLCite
Full Text: DOI

A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Testing your (static analysis) truths. (English) Zbl 07496652

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 271-292 (2021).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Nominal unification with letrec and environment-variables. (English) Zbl 07496643

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 95-112 (2021).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Introduction to computation. Haskell, logic and automata. (English) Zbl 1497.68005

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76907-9/pbk; 978-3-030-76908-6/ebook). xvi, 366 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

\(\eta\)-equivalence in core dependent Haskell. (English) Zbl 07756112

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 7, 31 p. (2020).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079

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, 684-714 (2020).
MSC:  68N30 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Higher-ranked annotation polymorphic dependency analysis. (English) Zbl 1508.68042

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, 656-683 (2020).
MSC:  68N18
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

Incremental analysis of logic programs with assertions and open predicates. (English) Zbl 1502.68065

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, 36-56 (2020).
MSC:  68N17 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Deriving theorems in implicational linear logic, declaratively. (English) Zbl 07455712

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 110-123 (2020).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

idris-ct: a library to do category theory in Idris. (English) Zbl 07453982

Baez, John (ed.) et al., Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15–19, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 323, 246-254 (2020).
MSC:  68-XX 18-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

A compositional framework for scientific model augmentation. (English) Zbl 07453978

Baez, John (ed.) et al., Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15–19, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 323, 172-182 (2020).
MSC:  68-XX 18-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

Distilling programs to prove termination. (English) Zbl 07453196

Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 140-154 (2020).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: arXiv Link

Declarative stream runtime verification (hLola). (English) Zbl 1476.68145

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 25-43 (2020).
MSC:  68Q60 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Implementing hybrid semantics: from functional to imperative. (English) Zbl 07369993

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, 262-282 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Implementing, and keeping in check, a DSL used in E-learning. (English) Zbl 07368091

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, 179-197 (2020).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types. (English) Zbl 07313966

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 75-94 (2020).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI

Leveraging the information contained in theory presentations. (English) Zbl 1455.68255

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 55-70 (2020).
MSC:  68V20 08A70 68V30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Leveraging compiler intermediate representation for multi- and cross-language verification. (English) Zbl 1451.68071

Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 90-111 (2020).
MSC:  68N20 68N15 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Fooling the parallel or tester with probability 8/27. (English) Zbl 07817556

Alvim, Mário S. (ed.) et al., The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11760, 313-328 (2019).
MSC:  68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reversible session-based concurrency in Haskell. (English) Zbl 1525.68015

Pałka, Michał (ed.) et al., Trends in functional programming. 19th international symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11457, 20-45 (2019).
MSC:  68N18 68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

Proving type class laws for Haskell. (English) Zbl 1495.68034

Van Horn, David (ed.) et al., Trends in functional programming. 17th international conference, TFP 2016, College Park, MD, USA, June 8–10, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10447, 61-74 (2019).
MSC:  68N18 16Y60 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lazy stream programming in prolog. (English) Zbl 07453116

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 224-237 (2019).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

A semantic investigation of spiking neural P systems. (English) Zbl 1522.68208

Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 108-130 (2019).
MSC:  68Q07 68N18 68Q55
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

Biographic Reference

all top 3

Software