×

Found 3,279 Documents (Results 1–100)

Hilbert-Schmidt numerical radius inequalities for certain \(2 \times 2\) operator matrices. (English) Zbl 07820179

Zeidan, Dia (ed.) et al., Mathematics and computation. IACMC 2022. Selected papers based on the presentations at the 7th international Arab conference on mathematics and computations, Zarqa, Jordan, May 11–13, 2022. Singapore: Springer. Springer Proc. Math. Stat. 418, 93-106 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Towards efficient adjustment of effect rows. (English) Zbl 1528.68065

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, 169-191 (2023).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI

Sound and complete type inference for closed effect rows. (English) Zbl 1528.68067

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, 144-168 (2023).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Algorithm design with the selection monad. (English) Zbl 1528.68066

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, 126-143 (2023).
MSC:  68N18 68W05 91A68
PDFBibTeX XMLCite
Full Text: DOI

Understanding algebraic effect handlers via delimited control operators. (English) Zbl 1528.68060

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, 59-79 (2023).
MSC:  68N18
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

Convergence analysis of Nédélec finite element approximations for a stationary Maxwell’s system. (English) Zbl 07680918

Nguyen, Dinh-Liem (ed.) et al., Recent advances in inverse problems for partial differential equations. AMS special session on recent developments on analysis and computation for inverse problems for PDEs, virtual, March 13–14, 2021 and AMS special session on recent advances in inverse problems for PDEs, virtual, October 23–24, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 784, 119-127 (2023).
PDFBibTeX XMLCite
Full Text: DOI

A study of sharp coefficient bounds for a new subfamily of starlike functions. (English) Zbl 07799436

Seck, Diaraf (ed.) et al., Nonlinear analysis, geometry and applications. Proceedings of the second NLAGA-BIRS symposium, Cap Skirring, Senegal, January 25–30, 2022. Cham: Springer. Trends Math., 375-398 (2022).
MSC:  30C50
PDFBibTeX XMLCite
Full Text: DOI

On structuring functional programs with monoidal profunctors. (English) Zbl 1525.68014

Gibbons, Jeremy (ed.) et al., Proceedings of the ninth workshop on mathematically structured functional programming, MSFP 2022, Munich, Germany, April 2, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 360, 134-150 (2022).
MSC:  68N18 18M05
PDFBibTeX XMLCite
Full Text: arXiv Link

A sound strategy to compile general recursion into finite depth pattern matching. (English) Zbl 1528.68050

Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 39-54 (2022).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Region-based resource management and lexical exception handlers in continuation-passing style. (English) Zbl 1528.68052

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, 492-519 (2022).
MSC:  68N15 68N18
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

Polarized subtyping. (English) Zbl 1528.68082

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

A dependent dependency calculus. (English) Zbl 1528.68078

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

A framework for substructural type systems. (English) Zbl 1528.68087

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, 376-402 (2022).
PDFBibTeX XMLCite
Full Text: DOI

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

Automated expected amortised cost analysis of probabilistic data structures. (English) Zbl 1514.68049

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 70-91 (2022).
MSC:  68P05 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

On ground convergence and completeness of conditional equational program hierarchies. (English) Zbl 1514.68039

Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 191-211 (2022).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
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

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
PDFBibTeX XMLCite
Full Text: DOI

Separating sessions smoothly. (English) Zbl 1527.68033

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 36, 18 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Latent effects for reusable language components. (English) Zbl 1520.68021

Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 182-201 (2021).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI 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
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

On some consequences of the solvability of the Caffarelli-Silvestre extension problem. (English) Zbl 1494.47078

Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 441-453 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A closer look at Bishop operators. (English) Zbl 1494.47010

Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 255-281 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Robust controller synthesis for duration calculus. (English) Zbl 1517.68230

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 429-446 (2020).
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

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

On the generation of Arveson weakly continuous semigroups. (English) Zbl 1494.47075

Filali, Mahmoud (ed.), Banach algebras and applications. Proceedings of the 23rd international conference, University of Oulu, Finland, November 3–11, 2017. Berlin: De Gruyter. De Gruyter Proc. Math., 57-93 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

The composition of conditional expectation and multiplication operators. (English) Zbl 1494.47057

Filali, Mahmoud (ed.), Banach algebras and applications. Proceedings of the 23rd international conference, University of Oulu, Finland, November 3–11, 2017. Berlin: De Gruyter. De Gruyter Proc. Math., 47-56 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Functional calculus on algebras of operators generated by a self-adjoint operator in Pontryagin space \(\Pi_1\). III: Spectral theorems. (English) Zbl 1494.47067

Abel, Mati (ed.) et al., Topological algebras and their applications. Proceedings of the 9th international conference, ICTAA-2015, Holon, Israel, May 18–22, 2015. Wilmington, DE: Academic Services. 145-157 (2020).
MSC:  47B50 47L30
PDFBibTeX XMLCite

On the universal problem for derivations of sheaves. (English) Zbl 1476.13032

Abel, Mati (ed.) et al., Topological algebras and their applications. Proceedings of the 9th international conference, ICTAA-2015, Holon, Israel, May 18–22, 2015. Wilmington, DE: Academic Services. 89-95 (2020).
PDFBibTeX XMLCite

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

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software