×

Found 59 Documents (Results 1–59)

Newest Citations Relevance
Arvidsson, Andreas; Johansson, Moa; Touche, Robin

Proving type class laws for Haskell. (English) Zbl 1495.68034

Van Horn, David (ed.) et al., Trends in functional programming. 17th international conference, TFP 2016, College Park, MD, USA, June 8–10, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10447, 61-74 (2019).
MSC:  68N18 16Y60 68V15
PDFBibTeX XMLCite
\textit{A. Arvidsson} et al., Lect. Notes Comput. Sci. 10447, 61--74 (2019; Zbl 1495.68034)
Full Text: DOI arXiv
Einarsdóttir, Sólrún Halla; Johansson, Moa; Pohjola, Johannes Åman

Into the infinite – theory exploration for coinduction. (English) Zbl 1515.68343

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 70-86 (2018).
MSC:  68V15 68V20
PDFBibTeX XMLCite
\textit{S. H. Einarsdóttir} et al., Lect. Notes Comput. Sci. 11110, 70--86 (2018; Zbl 1515.68343)
Full Text: DOI
Bendkowski, Maciej; Lescanne, Pierre

Counting environments and closures. (English) Zbl 1462.68020

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 11, 16 p. (2018).
MSC:  68N18 03B40 68R05
PDFBibTeX XMLCite
\textit{M. Bendkowski} and \textit{P. Lescanne}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 11, 16 p. (2018; Zbl 1462.68020)
Full Text: DOI
Ghica, Dan R.; Alyahya, Khulood

On the learnability of programming language semantics. (English) Zbl 1433.68077

Bartoletti, Massimo (ed.) et al., Proceedings of the 10th interaction and concurrency experience workshop, ICE’17, Neuchâtel, Switzerland, June 21–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 261, 57-75 (2017).
MSC:  68N15 68Q55 68T05
PDFBibTeX XMLCite
\textit{D. R. Ghica} and \textit{K. Alyahya}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 261, 57--75 (2017; Zbl 1433.68077)
Full Text: arXiv Link
Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao

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
PDFBibTeX XMLCite
\textit{L. Lampropoulos} et al., in: 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). 114--129 (2017; Zbl 1380.68096)
Full Text: DOI arXiv
Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique

A formal, resource consumption-preserving translation of actors to Haskell. (English) Zbl 1485.68049

Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 21-37 (2017).
MSC:  68N30 68N18 68Q55
PDFBibTeX XMLCite
\textit{E. Albert} et al., Lect. Notes Comput. Sci. 10184, 21--37 (2017; Zbl 1485.68049)
Full Text: DOI arXiv
Reynolds, Andrew; Blanchette, Jasmin Christian; Cruanes, Simon; Tinelli, Cesare

Model finding for recursive functions in SMT. (English) Zbl 1475.68448

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 133-151 (2016).
MSC:  68V15 03B35 68Q60
PDFBibTeX XMLCite
\textit{A. Reynolds} et al., Lect. Notes Comput. Sci. 9706, 133--151 (2016; Zbl 1475.68448)
Full Text: DOI HAL
Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen

Hipster: integrating theory exploration in a proof assistant. (English) Zbl 1304.68157

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 108-122 (2014).
MSC:  68T15
PDFBibTeX XMLCite
\textit{M. Johansson} et al., Lect. Notes Comput. Sci. 8543, 108--122 (2014; Zbl 1304.68157)
Full Text: DOI arXiv
Koopman, Pieter; Achten, Peter; Plasmeijer, Rinus

Model based testing with logical properties versus state machines. (English) Zbl 1348.68033

Gill, Andy (ed.) et al., Implementation and application of functional languages. 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3–5, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34406-0/pbk; 978-3-642-34407-7/ebook). Lecture Notes in Computer Science 7257, 116-133 (2012).
MSC:  68N18 68Q60 68Q65
PDFBibTeX XMLCite
\textit{P. Koopman} et al., Lect. Notes Comput. Sci. 7257, 116--133 (2012; Zbl 1348.68033)
Full Text: DOI
Bulwahn, Lukas

The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof. (English) Zbl 1383.68071

Hawblitzel, Chris (ed.) et al., Certified programs and proofs. Second international conference, CPP 2012, Kyoto, Japan, December 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-35307-9/pbk). Lecture Notes in Computer Science 7679, 92-108 (2012).
MSC:  68T15
PDFBibTeX XMLCite
\textit{L. Bulwahn}, Lect. Notes Comput. Sci. 7679, 92--108 (2012; Zbl 1383.68071)
Full Text: DOI
Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan

Zeno: an automated prover for properties of recursive data structures. (English) Zbl 1352.68216

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 407-421 (2012).
MSC:  68T15 68P05 68T20
PDFBibTeX XMLCite
\textit{W. Sonnex} et al., Lect. Notes Comput. Sci. 7214, 407--421 (2012; Zbl 1352.68216)
Full Text: DOI
Bulwahn, Lukas

Smart testing of functional programs in Isabelle. (English) Zbl 1352.68039

Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 153-167 (2012).
MSC:  68N18 68T15
PDFBibTeX XMLCite
\textit{L. Bulwahn}, Lect. Notes Comput. Sci. 7180, 153--167 (2012; Zbl 1352.68039)
Full Text: DOI
Chamarthi, Harsh Raju; Dillinger, Peter C.; Kaufmann, Matt; Manolios, Panagiotis

Integrating testing and interactive theorem proving. (English) Zbl 07895637

Hardin, David (ed.) et al., Proceedings of the 10th international workshop on the ACL2 theorem prover and its applications, Austin, Texas, USA, November 3–4, 2011. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 70, 4-19 (2011).
MSC:  68V15
PDFBibTeX XMLCite
\textit{H. R. Chamarthi} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 70, 4--19 (2011; Zbl 07895637)
Full Text: DOI arXiv Link
Bulwahn, Lukas

Smart test data generators via logic programming. (English) Zbl 1245.68168

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 139-150, electronic only (2011).
MSC:  68T15 68N30 68N17 68N18
PDFBibTeX XMLCite
\textit{L. Bulwahn}, LIPIcs -- Leibniz Int. Proc. Inform. 11, 139--150 (2011; Zbl 1245.68168)
Full Text: DOI Link
Seidel, Daniel; Voigtländer, Janis

Automatically generating counterexamples to naive free theorems. (English) Zbl 1284.68200

Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 175-190 (2010).
MSC:  68N30 68N17
PDFBibTeX XMLCite
\textit{D. Seidel} and \textit{J. Voigtländer}, Lect. Notes Comput. Sci. 6009, 175--190 (2010; Zbl 1284.68200)
Full Text: DOI
Claessen, Koen; Palka, Michal; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, Ulf

Finding race conditions in Erlang with quickcheck and PULSE. (English) Zbl 1302.68078

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 149-160 (2009).
MSC:  68N19
PDFBibTeX XMLCite
\textit{K. Claessen} et al., in: Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP '09, Edinburgh, UK, August 31 -- September 2, 2009. New York, NY: Association for Computing Machinery (ACM). 149--160 (2009; Zbl 1302.68078)
Full Text: DOI Link
Jeuring, Johan; Leather, Sean; Pedro Magalhães, José; Rodriguez Yakushev, Alexey

Libraries for generic programming in Haskell. (English) Zbl 1263.68037

Koopman, Pieter (ed.) et al., Advanced functional programming. 6th international school, AFP 2008, Heijen, The Netherlands, May 2008. Revised lectures. Berlin: Springer (ISBN 978-3-642-04651-3/pbk). Lecture Notes in Computer Science 5832, 165-229 (2009).
MSC:  68N18
PDFBibTeX XMLCite
\textit{J. Jeuring} et al., Lect. Notes Comput. Sci. 5832, 165--229 (2009; Zbl 1263.68037)
Full Text: DOI
Gibbons, Hugh

Definite descriptions and Dijkstra’s odd powers of odd integers problem. (English) Zbl 1336.68030

Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 83-98 (2009).
MSC:  68N18 68N17 68Q60 68T15
PDFBibTeX XMLCite
\textit{H. Gibbons}, Electron. Notes Theor. Comput. Sci. 225, 83--98 (2008; Zbl 1336.68030)
Full Text: DOI
Haiyan, Qiao

Testing and proving distributed algorithms in constructive type theory. (English) Zbl 1196.68047

Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 79-94 (2007).
MSC:  68N30 68N18 68W15
PDFBibTeX XMLCite
\textit{Q. Haiyan}, Lect. Notes Comput. Sci. 4454, 79--94 (2007; Zbl 1196.68047)
Full Text: DOI
Koopman, Pieter; Plasmeijer, Rinus

Fully automatic testing with functions as specifications. (English) Zbl 1156.68333

Horváth, Zoltán (ed.), Central European functional programming school. First summer school, CEFP 2005, Budapest, Hungary, July 4–15, 2005. Revised selected lectures. Berlin: Springer (ISBN 978-3-540-46843-1/pbk). Lecture Notes in Computer Science 4164, 35-61 (2006).
MSC:  68N18
PDFBibTeX XMLCite
\textit{P. Koopman} and \textit{R. Plasmeijer}, Lect. Notes Comput. Sci. 4164, 35--61 (2006; Zbl 1156.68333)
Full Text: DOI
Lämmel, Ralf; Schulte, Wolfram

Controllable combinatorial coverage in grammar-based testing. (English) Zbl 1185.68256

Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 19-38 (2006).
MSC:  68N99 68Q42
PDFBibTeX XMLCite
\textit{R. Lämmel} and \textit{W. Schulte}, Lect. Notes Comput. Sci. 3964, 19--38 (2006; Zbl 1185.68256)
Full Text: DOI
Lämmel, Ralf; Jones, Simon Peyton

Scrap your boilerplate with class: extensible generic functions. (English) Zbl 1302.68062

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 204-215 (2005).
MSC:  68N18
PDFBibTeX XMLCite
\textit{R. Lämmel} and \textit{S. P. Jones}, in: Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP '05, Tallinn, Estonia, September 26--28, 2005. New York, NY: Association for Computing Machinery (ACM). 204--215 (2005; Zbl 1302.68062)
Full Text: DOI
Brucker, Achim D.; Wolff, Burkhart

Symbolic test case generation for primitive recursive functions. (English) Zbl 1081.68672

Grabowski, Jens (ed.) et al., Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25109-X/pbk). Lecture Notes in Computer Science 3395, 16-32 (2005).
MSC:  68T15 68N30
PDFBibTeX XMLCite
\textit{A. D. Brucker} and \textit{B. Wolff}, Lect. Notes Comput. Sci. 3395, 16--32 (2005; Zbl 1081.68672)
Full Text: DOI
Lämmel, Ralf; Jones, Simon Peyton

Scrap more boilerplate: reflection, zips, and generalised casts. (English) Zbl 1323.68130

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 244-255 (2004).
MSC:  68N18 68N19
PDFBibTeX XMLCite
\textit{R. Lämmel} and \textit{S. P. Jones}, in: Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP '04, Uppsala, Snowbird, UT, USA, September 19--21, 2004. New York, NY: Association for Computing Machinery (ACM). 244--255 (2004; Zbl 1323.68130)
Full Text: DOI
Danielsson, Nils Anders; Jansson, Patrik

Chasing bottoms. A case study in program verification in the presence of partial and infinite values. (English) Zbl 1106.68339

Kozen, Dexter (ed.), Mathematics of program construction. 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12–14, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22380-0/pbk). Lecture Notes in Computer Science 3125, 85-109 (2004).
MSC:  68N30 68N18 68Q60
PDFBibTeX XMLCite
\textit{N. A. Danielsson} and \textit{P. Jansson}, Lect. Notes Comput. Sci. 3125, 85--109 (2004; Zbl 1106.68339)
Full Text: DOI
Claessen, Koen; Runciman, Colin; Chitil, Olaf; Hughes, John; Wallace, Malcolm

Testing and tracing lazy functional programs using QuickCheck and Hat. (English) Zbl 1278.68059

Jeuring, Johan (ed.) et al., Advanced functional programming. 4th international school, AFP 2002, Oxford, UK, August 19–24, 2002. Revised lectures. Berlin: Springer (ISBN 3-540-40132-6/pbk). Lect. Notes Comput. Sci. 2638, 59-99 (2003).
MSC:  68N18
PDFBibTeX XMLCite
\textit{K. Claessen} et al., Lect. Notes Comput. Sci. 2638, 59--99 (2003; Zbl 1278.68059)
Full Text: DOI
Cachera, David; Pichardie, David

Embedding of systems of affine recurrence equations in Coq. (English) Zbl 1279.68286

Basin, David (ed.) et al., Theorem proving in higher order logics. 16th international conference, TPHOLs 2003, Rome, Italy, September 8–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40664-6/pbk). Lect. Notes Comput. Sci. 2758, 155-170 (2003).
MSC:  68T15
PDFBibTeX XMLCite
\textit{D. Cachera} and \textit{D. Pichardie}, Lect. Notes Comput. Sci. 2758, 155--170 (2003; Zbl 1279.68286)
Full Text: DOI
Okasaki, Chris

An overview of Edison. (English) Zbl 1262.68029

Hutton, Graham (ed.), 2000 ACM SIGPLAN Haskell workshop (satellite event of PLI 2000), Montreal, Canada, September 17, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 41, No. 1, 60-73 (2001).
MSC:  68N18 68P05
PDFBibTeX XMLCite
\textit{C. Okasaki}, Electron. Notes Theor. Comput. Sci. 41, No. 1, 60--73 (2001; Zbl 1262.68029)
Full Text: DOI
Gibbons, Jeremy; Hutton, Graham; Altenkirch, Thorsten

When is a function a fold or an unfold? (English) Zbl 1260.68096

Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 146-160 (2001).
MSC:  68N30 68Q65
PDFBibTeX XMLCite
\textit{J. Gibbons} et al., Electron. Notes Theor. Comput. Sci. 44, No. 1, 146--160 (2001; Zbl 1260.68096)
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software