×

Found 7,218 Documents (Results 201–300)

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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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
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

Revisiting the duality of computation: an algebraic analysis of classical realizability models. (English) Zbl 07650843

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 30, 18 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strong bisimulation for control operators (invited talk). (English) Zbl 07650817

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 4, 23 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

A simplified application of Howard’s vector notation system to termination proofs for typed lambda-calculus systems. (English) Zbl 1517.68168

Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 136-155 (2020).
MSC:  68Q42 03B40
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

Modular inference of linear types for multiplicity-annotated arrows. (English) Zbl 1522.68125

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, 456-483 (2020).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem. (English) Zbl 1508.68055

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, 56-83 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Runners in action. (English) Zbl 1508.68050

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

Type inference for rank 2 gradual intersection types. (English) Zbl 1503.68035

Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 84-120 (2020).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Verifying selective CPS transformation for shift and reset. (English) Zbl 1503.68037

Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 38-57 (2020).
MSC:  68N18 68V20
PDFBibTeX XMLCite
Full Text: DOI

Semi-inversion of conditional constructor term rewriting systems. (English) Zbl 1502.68152

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

Linear high-order deterministic tree transducers with regular look-ahead. (English) Zbl 07559409

Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 38, 13 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Typestates to automata and back: a tool. (English) Zbl 1477.68073

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020).
PDFBibTeX XMLCite
Full Text: arXiv Link

A type language for message passing component-based systems. (English) Zbl 1477.68183

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 3-24 (2020).
MSC:  68Q85 68N18
PDFBibTeX XMLCite
Full Text: arXiv Link

Efficient lambda encodings for Mendler-style coinductive types in Cedille. (English) Zbl 1511.68054

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 72-97 (2020).
MSC:  68N18 03B40 68V20
PDFBibTeX XMLCite
Full Text: arXiv Link

Multi-dimensional arrays with levels. (English) Zbl 1511.68057

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 57-71 (2020).
MSC:  68N18 68P05
PDFBibTeX XMLCite
Full Text: arXiv Link

Combining predicate transformer semantics for effects: a case study in parsing regular languages. (English) Zbl 1511.68050

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39-56 (2020).
MSC:  68N18 68Q42 68Q55
PDFBibTeX XMLCite
Full Text: arXiv Link

Unifying graded and parameterised monads. (English) Zbl 1511.68056

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 18-38 (2020).
MSC:  68N18 18C15 68N30
PDFBibTeX XMLCite
Full Text: arXiv Link

From equations to distinctions: two interpretations of effectful computations. (English) Zbl 1511.68058

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 1-17 (2020).
MSC:  68N18 68N30
PDFBibTeX XMLCite
Full Text: arXiv Link

Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. (English) Zbl 1493.68007

Lecture Notes in Computer Science 12053. Cham: Springer (ISBN 978-3-030-47146-0/pbk; 978-3-030-47147-7/ebook). vii, 143 p. (2020).
MSC:  68-06 68N18 00B25
PDFBibTeX XMLCite
Full Text: DOI

An abstract machine for strong call by value. (English) Zbl 1476.68047

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, 147-166 (2020).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041

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, 125-144 (2020).
MSC:  68N15 68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI

A new refinement type system for automated \(\nu\text{HFL}_\mathbb{Z}\) validity checking. (English) Zbl 1476.68149

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, 86-104 (2020).
MSC:  68Q60 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI

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

Semantics of a relational \(\lambda\)-calculus. (English) Zbl 07369992

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

An SMT-based concolic testing tool for logic programs. (English) Zbl 07368093

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

System description: lang-n-change – a tool for transforming languages. (English) Zbl 07368092

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

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

An efficient composition of bidirectional programs by memoization and lazy update. (English) Zbl 07368090

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

Language-integrated query with nested data structures and grouping. (English) Zbl 07368089

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

Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps. (English) Zbl 07368086

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

Functional pearl: the distributive \(\lambda\)-calculus. (English) Zbl 07368083

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

One-shot algebraic effects as coroutines. (English) Zbl 1475.68063

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, 159-179 (2020).
MSC:  68N18 68N15
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

White-box path generation in recursive programs. (English) Zbl 1475.68068

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

Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. (English) Zbl 1466.68025

Electronic Proceedings in Theoretical Computer Science (EPTCS) 317. Waterloo: Open Publishing Association (OPA). 97 p., electronic only, open access (2020).
MSC:  68-06 68N18 00B25
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. (English) Zbl 1464.68005

Lecture Notes in Computer Science 12222. Cham: Springer (ISBN 978-3-030-57760-5/pbk; 978-3-030-57761-2/ebook). x, 249 p. (2020).
MSC:  68-06 68N18 00B25
PDFBibTeX XMLCite
Full Text: DOI

Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. (English) Zbl 1498.03044

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, 187-203 (2020).
MSC:  03B40 03F05
PDFBibTeX XMLCite
Full Text: DOI

Pure pattern calculus à la de Bruijn. (English) Zbl 07313967

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, 95-113 (2020).
MSC:  68N18 03B40
PDFBibTeX XMLCite
Full Text: DOI arXiv

EVL: a typed higher-order functional language for events. (English) Zbl 1509.68040

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, 3-23 (2020).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Consuming and persistent types for classical logic. (English) Zbl 1498.03042

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). 619-632 (2020).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Interaction laws of monads and comonads. (English) Zbl 1499.68065

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). 604-618 (2020).
MSC:  68N18 18C15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A calculus of expandable stores. Continuation-and-environment-passing style translations. (English) Zbl 1498.03031

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). 564-577 (2020).
MSC:  03B38 03B40
PDFBibTeX XMLCite
Full Text: DOI

The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041

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). 327-340 (2020).
MSC:  03B40 03B48 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Algebraic models of simple type theories. A polynomial approach. (English) Zbl 1498.03039

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). 88-101 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A tale of intersection types. (English) Zbl 1498.03040

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). 7-20 (2020).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI Link

On solving nominal disunification constraints. (English) Zbl 1495.03048

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020).
MSC:  03B70 03B40 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. (English) Zbl 1464.68017

Lecture Notes in Computer Science 12073. Cham: Springer (ISBN 978-3-030-59024-6/pbk; 978-3-030-59025-3/ebook). xii, 221 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software