×

Found 6,995 Documents (Results 1–100)

Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. (English) Zbl 07637815

Lecture Notes in Computer Science 13401. Cham: Springer (ISBN 978-3-031-21313-7/pbk; 978-3-031-21314-4/ebook). vii, 193 p. (2023).
MSC:  68-06 68N18 00B25
PDF BibTeX XML Cite
Full Text: DOI

A completeness result for inequational reasoning in a full higher-order setting. (English) Zbl 07576855

Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 282-308 (2022).
MSC:  03B16 03B38 03B40
PDF BibTeX XML Cite
Full Text: arXiv

A lazy desugaring system for evaluating programs with sugars. (English) Zbl 07570124

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, 243-261 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data. (English) Zbl 07570123

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, 224-242 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Automated generation of control concepts annotation rules using inductive logic programming. System description. (English) Zbl 07570120

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, 171-185 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Scheduling complexity of interleaving search. (English) Zbl 07570119

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, 152-170 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Unified program generation and verification: a case study on number-theoretic transform. (English) Zbl 07570118

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, 133-151 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114

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, 57-74 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Asynchronous unfold/fold transformation for fixpoint logic. (English) Zbl 07570113

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, 39-56 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Justification logic and type theory as formalizations of intuitionistic propositional logic. (English) Zbl 07551710

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 37-51 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. (English) Zbl 1492.68018

Lecture Notes in Computer Science 13215. Cham: Springer (ISBN 978-3-030-99460-0/pbk; 978-3-030-99461-7/ebook). xvi, 283 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

OCaml scientific computing. Functional programming in data science and artificial intelligence. (English) Zbl 1487.68004

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-97644-6/pbk; 978-3-030-97645-3/ebook). xxii, 359 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Verified functional programming of an abstract interpreter. (English) Zbl 1497.68102

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 124-143 (2021).
MSC:  68N20 68N18 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A program logic for fresh name generation. (English) Zbl 1496.68103

Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 76-91 (2021).
MSC:  68N30 03B40 03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

ATLAS: automated amortised complexity analysis of self-adjusting data structures. (English) Zbl 1493.68129

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 99-122 (2021).
MSC:  68P05 68N18
PDF BibTeX XML Cite
Full Text: DOI

Counterexample-guided partial bounding for recursive function synthesis. (English) Zbl 1493.68107

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 832-855 (2021).
MSC:  68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI

Synthesis with asymptotic resource bounds. (English) Zbl 1493.68112

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 783-807 (2021).
MSC:  68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Prioritise the best variation. (English) Zbl 1490.68141

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021).
MSC:  68Q85 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Computational adequacy for substructural lambda calculi. (English) Zbl 07454912

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 322-334 (2021).
MSC:  03B40 03G30
PDF BibTeX XML Cite
Full Text: arXiv Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software