×

Found 6,874 Documents (Results 1–100)

100
MathJax

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125

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

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

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

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

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 07528570

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

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

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 07498168

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

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 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

Sound and complete concolic testing for higher-order functions. (English) Zbl 1473.68040

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, 635-663 (2021).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

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, 607-634 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044

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, 264-291 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Trends in functional programming. 22nd international symposium, TFP 2021, virtual event, February 17–19, 2021. Revised selected papers. (English) Zbl 1482.68043

Lecture Notes in Computer Science 12834. Cham: Springer (ISBN 978-3-030-83977-2/pbk; 978-3-030-83978-9/ebook). vii, 137 p. (2021).
MSC:  68-06 68N18 00B25
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