×

Found 43,849 Documents (Results 1–100)

100
MathJax

Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. (English) Zbl 07596422

Lecture Notes in Computer Science 13416. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-15706-6/pbk; 978-3-031-15707-3/ebook). xxx, 512 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Universally composable subversion-resilient cryptography. (English) Zbl 1496.94032

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 272-302 (2022).
MSC:  94A60 68P25 68N20
PDF BibTeX XML Cite
Full Text: DOI

Round-optimal black-box protocol compilers. (English) Zbl 07577730

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 210-240 (2022).
MSC:  68Q10 68N20 94A60
PDF BibTeX XML Cite
Full Text: DOI

Round-optimal and communication-efficient multiparty computation. (English) Zbl 07577725

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 65-95 (2022).
PDF BibTeX XML Cite
Full Text: DOI

27th international conference on types for proofs and programs, TYPES 2021, Leiden, The Netherlands, virtual conference, June 14–18, 2021. (English) Zbl 1494.68007

LIPIcs – Leibniz International Proceedings in Informatics 239. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-254-9). vii, 12 articles, not consecutively paged, electronic only, open access (2022).
PDF BibTeX XML Cite
Full Text: DOI Link

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

Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. (English) Zbl 1492.68030

Lecture Notes in Computer Science 13274. Cham: Springer (ISBN 978-3-031-07726-5/pbk; 978-3-031-07727-2/ebook). xv, 373 p. (2022).
MSC:  68-06 68Nxx 00B25
PDF BibTeX XML Cite
Full Text: DOI

49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. (English) Zbl 1491.68012

LIPIcs – Leibniz International Proceedings in Informatics 229. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-235-8). xxxvi, 133 articles, not consecutively paged, electronic only, open access (2022).
PDF BibTeX XML Cite
Full Text: DOI Link

ECLIPSE: enhanced compiling method for Pedersen-committed zkSNARK engines. (English) Zbl 07554926

Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 584-614 (2022).
MSC:  68P25 68Nxx 94A60
PDF BibTeX XML Cite
Full Text: DOI

Polynomial IOPs for linear algebra relations. (English) Zbl 1492.94166

Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 523-552 (2022).
MSC:  94A60 68P25 68N20
PDF BibTeX XML Cite
Full Text: DOI

Generalized arrays for Stainless frames. (English) Zbl 07554873

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 332-354 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Satisfiability and synthesis modulo oracles. (English) Zbl 07554869

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 263-284 (2022).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lightweight shape analysis based on physical types. (English) Zbl 07554867

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 219-241 (2022).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI HAL

A flow-insensitive-complete program representation. (English) Zbl 07554866

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 197-218 (2022).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI HAL

Relational string abstract domains. (English) Zbl 07554858

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 20-42 (2022).
MSC:  68N30
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

Extension of the relational algebra on the basis of CODASYL DBTG proposals. (English. Ukrainian original) Zbl 07515004

Cybern. Syst. Anal. 58, No. 1, 148-156 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 170-180 (2022).
MSC:  68Pxx 68-XX 68Nxx
PDF BibTeX XML Cite
Full Text: DOI

Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. (English) Zbl 07514203

Lecture Notes in Computer Science 13290. Cham: Springer (ISBN 978-3-030-98868-5/pbk; 978-3-030-98869-2/ebook). ix, 177 p. (2022).
MSC:  68-06 68N30 00B25
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

Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker. (English) Zbl 1492.68003

Texts in Theoretical Computer Science. An EATCS Series. Cham: Springer (ISBN 978-3-030-38799-0/hbk; 978-3-030-38800-3/ebook). xxviii, 524 p. (2022).
MSC:  68-01 68Nxx
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