×

Found 109 Documents (Results 1–100)

Queueing and glueing for optimal partitioning (functional pearl). (English) Zbl 1361.68043

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). 158-167 (2016).
MSC:  68N18 68P05
PDFBibTeX XMLCite
Full Text: DOI

Fiat: deductive synthesis of abstract data types in a proof assistant. (English) Zbl 1346.68175

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 689-700 (2015).
MSC:  68T15 68N18 68Q60 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Combining top-down and bottom-up techniques in program derivation. (English) Zbl 1362.68042

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 244-258 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Generating specialized interpreters for modular structural operational semantics. (English) Zbl 1453.68040

Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 220-236 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Generalising and dualising the third list-homomorphism theorem: functional pearl. (English) Zbl 1323.68221

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 385-391 (2011).
MSC:  68N30 68N18 68P05
PDFBibTeX XMLCite
Full Text: DOI

Designing an algorithmic proof of the two-squares theorem. (English) Zbl 1286.11209

Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 140-156 (2010).
MSC:  11Y16
PDFBibTeX XMLCite
Full Text: DOI

Beautiful differentiation. (English) Zbl 1302.65062

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, 191-202 (2009).
MSC:  65D25
PDFBibTeX XMLCite
Full Text: DOI

Maximum marking problems with accumulative weight functions. (English) Zbl 1169.68368

Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 562-578 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Deterministic higher-order patterns for program transformation. (English) Zbl 1099.68591

Bruynooghe, Maurice (ed.), Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25–27, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22174-3/pbk). Lecture Notes in Computer Science 3018, 128-142 (2004).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Deriving backtracking monad transformers. (English) Zbl 1321.68195

Proceedings of the 5th ACM SIGPLAN international conference on functional programming, ICFP ’00, Montréal, Canada, September 18–21, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-202-6). ACM SIGPLAN Notices 35, No. 9, 186-197 (2000).
MSC:  68N30 68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Program development by proof transformation. (English) Zbl 0856.03010

Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 1-45 (1995).
Reviewer: Li Xiang (Guiyang)
MSC:  03B35 68T15 03B60 68N17
PDFBibTeX XMLCite

Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. (English) Zbl 0744.68025

Amsterdam etc.: North-Holland. X, 515 p. (1991).
PDFBibTeX XMLCite

Psi, the indexing function: A basis for FFP with arrays. (English) Zbl 0767.68076

Arrays, functional languages and parallel systems, Proc. 1st Int. Workshop, Montréal, Québec/Canada 1990, 185-200 (1991).
MSC:  68Q60 68N01 68N15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software