×

Found 211 Documents (Results 1–100)

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

Modal embeddings and calling paradigms. (English) Zbl 07559284

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 18, 20 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Confluence of an extension of combinatory logic by Boolean constants. (English) Zbl 1434.03049

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017).
MSC:  03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv

Beginner’s Luck: a language for property-based generators. (English) Zbl 1380.68096

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

String diagrams for free monads (functional pearl). (English) Zbl 1361.68047

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 490-501 (2016).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI Link

The Grothendieck approximation theory in non-Archimedean functional analysis. (English) Zbl 1334.46060

Shamseddine, Khodr (ed.), Advances in ultrametric analysis. Selected papers based on the presentations at the 12th international conference on \(p\)-adic functional analysis, Winnipeg, MB, Canada, July 2–6, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9142-1/pbk; 978-1-4704-1024-7/ebook). Contemporary Mathematics 596, 243-268 (2013).
MSC:  46S10 46B28
PDF BibTeX XML Cite
Full Text: DOI

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. (English) Zbl 1281.68075

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 144-153, electronic only (2012).
MSC:  68N30 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Böhm’s theorem for resource lambda calculus through Taylor expansion. (English) Zbl 1331.68044

Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 153-168 (2011).
MSC:  68N18 03B40 03F52
PDF BibTeX XML Cite
Full Text: DOI

Unique normal forms in infinitary weakly orthogonal rewriting. (English) Zbl 1236.68127

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 85-102, electronic only (2010).
MSC:  68Q42 68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI Link

Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction. (English) Zbl 1311.03030

Horizonte, Belo (ed.) et al., Proceedings of the 3rd workshop on logical and semantic frameworks, with applications (LSFA 2008), Salvador, Brazil, August 26, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 247, 85-101 (2009).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Intersection type system with de Bruijn indices. (English) Zbl 1226.03029

Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 557-576 (2009).
MSC:  03B40
PDF BibTeX XML Cite

Generalized finite developments. (English) Zbl 1195.68028

Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 185-203 (2009).
MSC:  68N18 03B40
PDF BibTeX XML Cite

Lightweight static capabilities. (English) Zbl 1277.68052

Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 79-104 (2007).
MSC:  68N19 68N18 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus. (English) Zbl 1193.03032

David, René (ed.) et al., Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20–21, 2005. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings AF, 97-108, electronic only (2006).
MSC:  03B40 03B05 68N18
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