Mu, Shin-Cheng; Chiang, Tsung-Ju Declarative pearl: deriving monadic quicksort. (English) Zbl 07368088 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, 124-138 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S.-C. Mu} and \textit{T.-J. Chiang}, Lect. Notes Comput. Sci. 12073, 124--138 (2020; Zbl 07368088) Full Text: DOI arXiv
Chaudhari, Dipak L.; Damani, Om Assumption propagation through annotated programs. (English) Zbl 1362.68043 Formal Asp. Comput. 29, No. 3, 495-530 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{D. L. Chaudhari} and \textit{O. Damani}, Formal Asp. Comput. 29, No. 3, 495--530 (2017; Zbl 1362.68043) Full Text: DOI
Mu, Shin-Cheng; Chiang, Yu-Hsi; Lyu, Yu-Han 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 \textit{S.-C. Mu} et al., in: 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). 158--167 (2016; Zbl 1361.68043) Full Text: DOI
Chiang, Yu-Hsi; Mu, Shin-Cheng Formal derivation of greedy algorithms from relational specifications: a tutorial. (English) Zbl 1355.68049 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 879-905 (2016). MSC: 68N30 68N15 68T15 PDFBibTeX XMLCite \textit{Y.-H. Chiang} and \textit{S.-C. Mu}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 879--905 (2016; Zbl 1355.68049) Full Text: DOI
Delaware, Benjamin; Pit-Claudel, Clément; Gross, Jason; Chlipala, Adam 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 \textit{B. Delaware} et al., in: 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). 689--700 (2015; Zbl 1346.68175) Full Text: DOI
Chaudhari, Dipak L.; Damani, Om 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 \textit{D. L. Chaudhari} and \textit{O. Damani}, Lect. Notes Comput. Sci. 9527, 244--258 (2015; Zbl 1362.68042) Full Text: DOI
Ward, Martin; Zedan, Hussein Provably correct derivation of algorithms using FermaT. (English) Zbl 1342.68213 Formal Asp. Comput. 26, No. 5, 993-1031 (2014). MSC: 68Q60 68N19 68N30 PDFBibTeX XMLCite \textit{M. Ward} and \textit{H. Zedan}, Formal Asp. Comput. 26, No. 5, 993--1031 (2014; Zbl 1342.68213) Full Text: DOI Link
Bach Poulsen, Casper; Mosses, Peter D. 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). MSC: 68N20 68N17 68Q55 68Q60 PDFBibTeX XMLCite \textit{C. Bach Poulsen} and \textit{P. D. Mosses}, Lect. Notes Comput. Sci. 8901, 220--236 (2014; Zbl 1453.68040) Full Text: DOI
Mu, Shin-Cheng; Oliveira, José Nuno Programming from Galois connections. (English) Zbl 1257.68057 J. Log. Algebr. Program. 81, No. 6, 680-704 (2012). MSC: 68N30 06A15 18B10 PDFBibTeX XMLCite \textit{S.-C. Mu} and \textit{J. N. Oliveira}, J. Log. Algebr. Program. 81, No. 6, 680--704 (2012; Zbl 1257.68057) Full Text: DOI
Mu, Shin-Cheng; Morihata, Akimasa 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 \textit{S.-C. Mu} and \textit{A. Morihata}, in: 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). 385--391 (2011; Zbl 1323.68221) Full Text: DOI
Asai, Kenichi; Kiselyov, Oleg; Shan, Chung-chieh Functional un\(|\)unparsing. (English) Zbl 1256.68029 High.-Order Symb. Comput. 24, No. 4, 311-340 (2011). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{K. Asai} et al., High.-Order Symb. Comput. 24, No. 4, 311--340 (2011; Zbl 1256.68029) Full Text: DOI
Wang, Shuaiqiang; Ma, Jun; Liu, Jiming; Niu, Xiaofei Evolving choice structures for genetic programming. (English) Zbl 1234.68365 Inf. Process. Lett. 110, No. 20, 871-876 (2010). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{S. Wang} et al., Inf. Process. Lett. 110, No. 20, 871--876 (2010; Zbl 1234.68365) Full Text: DOI
Bird, Richard Pearls of functional algorithm design. (English) Zbl 1229.68026 Cambridge: Cambridge University Press (ISBN 978-0-521-51338-8/hbk; 978-0-511-79588-6/ebook). xii, 277 p. (2010). Reviewer: Haim Kilov (Millington) MSC: 68N18 68-02 68N30 68W40 68W05 PDFBibTeX XMLCite \textit{R. Bird}, Pearls of functional algorithm design. Cambridge: Cambridge University Press (2010; Zbl 1229.68026)
Ferreira, João F. 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 \textit{J. F. Ferreira}, Lect. Notes Comput. Sci. 6120, 140--156 (2010; Zbl 1286.11209) Full Text: DOI
Elliott, Conal M. 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 \textit{C. M. Elliott}, 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). 191--202 (2009; Zbl 1302.65062) Full Text: DOI
Danvy, Olivier; Millikin, Kevin On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. (English) Zbl 1186.68122 Inf. Process. Lett. 106, No. 3, 100-109 (2008). MSC: 68N99 PDFBibTeX XMLCite \textit{O. Danvy} and \textit{K. Millikin}, Inf. Process. Lett. 106, No. 3, 100--109 (2008; Zbl 1186.68122) Full Text: DOI
Dongol, Brijesh; Mooij, Arjan J. Streamlining progress-based derivations of concurrent programs. (English) Zbl 1141.68025 Formal Asp. Comput. 20, No. 2, 141-160 (2008). MSC: 68N19 68N30 PDFBibTeX XMLCite \textit{B. Dongol} and \textit{A. J. Mooij}, Formal Asp. Comput. 20, No. 2, 141--160 (2008; Zbl 1141.68025) Full Text: DOI Link
Danvy, Olivier; Rohde, Henning Korsholm On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. (English) Zbl 1185.68281 Inf. Process. Lett. 99, No. 4, 158-162 (2006). MSC: 68P10 68W40 68N15 PDFBibTeX XMLCite \textit{O. Danvy} and \textit{H. K. Rohde}, Inf. Process. Lett. 99, No. 4, 158--162 (2006; Zbl 1185.68281) Full Text: DOI
Danvy, Olivier; Nielsen, Lasse R. CPS transformation of beta-redexes. (English) Zbl 1182.68045 Inf. Process. Lett. 94, No. 5, 217-224 (2005). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Danvy} and \textit{L. R. Nielsen}, Inf. Process. Lett. 94, No. 5, 217--224 (2005; Zbl 1182.68045) Full Text: DOI
Sasano, Isao; Ogawa, Mizuhito; Hu, Zhenjiang 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). MSC: 68N30 68Q60 90C27 90C90 PDFBibTeX XMLCite \textit{I. Sasano} et al., Lect. Notes Comput. Sci. 3722, 562--578 (2005; Zbl 1169.68368) Full Text: DOI
Pettorossi, Alberto; Proietti, Maurizio; Renault, Sophie Derivation of efficient logic programs by specialization and reduction of nondeterminism. (English) Zbl 1103.68034 High.-Order Symb. Comput. 18, No. 1-2, 121-210 (2005). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} et al., High.-Order Symb. Comput. 18, No. 1--2, 121--210 (2005; Zbl 1103.68034) Full Text: DOI
Takahashi, Daisuke An algorithm for multiple-precision floating-point multiplication. (English) Zbl 1073.65043 Appl. Math. Comput. 166, No. 2, 291-298 (2005). MSC: 65G50 65T50 PDFBibTeX XMLCite \textit{D. Takahashi}, Appl. Math. Comput. 166, No. 2, 291--298 (2005; Zbl 1073.65043) Full Text: DOI
Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan A functional correspondence between call-by-need evaluators and lazy abstract machines. (English) Zbl 1178.68249 Inf. Process. Lett. 90, No. 5, 223-232 (2004). MSC: 68Q05 68N18 PDFBibTeX XMLCite \textit{M. S. Ager} et al., Inf. Process. Lett. 90, No. 5, 223--232 (2004; Zbl 1178.68249) Full Text: DOI
Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato Deterministic second-order patterns. (English) Zbl 1178.68140 Inf. Process. Lett. 89, No. 6, 309-314 (2004). MSC: 68N18 PDFBibTeX XMLCite \textit{T. Yokoyama} et al., Inf. Process. Lett. 89, No. 6, 309--314 (2004; Zbl 1178.68140) Full Text: DOI
Yokoyama, Tetsuo; Hu, Zhenjiang; Takeichi, Masato 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 \textit{T. Yokoyama} et al., Lect. Notes Comput. Sci. 3018, 128--142 (2004; Zbl 1099.68591) Full Text: DOI
Kniesel, Günter; Koch, Helge Static composition of refactorings. (English) Zbl 1091.68031 Sci. Comput. Program. 52, No. 1-3, 9-51 (2004). MSC: 68N99 PDFBibTeX XMLCite \textit{G. Kniesel} and \textit{H. Koch}, Sci. Comput. Program. 52, No. 1--3, 9--51 (2004; Zbl 1091.68031) Full Text: DOI
Sintzoff, Michel On the design of correct and optimal dynamical systems and games. (English) Zbl 1205.91034 Inf. Process. Lett. 88, No. 1-2, 59-65 (2003). MSC: 91A25 68N99 PDFBibTeX XMLCite \textit{M. Sintzoff}, Inf. Process. Lett. 88, No. 1--2, 59--65 (2003; Zbl 1205.91034) Full Text: DOI
Hernández, Manuel; Rosenblueth, David A. Disjunctive partial deduction of a right-to-left string-matching algorithm. (English) Zbl 1161.68768 Inf. Process. Lett. 87, No. 5, 235-241 (2003). MSC: 68T10 68P10 PDFBibTeX XMLCite \textit{M. Hernández} and \textit{D. A. Rosenblueth}, Inf. Process. Lett. 87, No. 5, 235--241 (2003; Zbl 1161.68768) Full Text: DOI
Ruggieri, Salvatore On computing the semi-sum of two integers. (English) Zbl 1175.68116 Inf. Process. Lett. 87, No. 2, 67-71 (2003). MSC: 68N99 PDFBibTeX XMLCite \textit{S. Ruggieri}, Inf. Process. Lett. 87, No. 2, 67--71 (2003; Zbl 1175.68116) Full Text: DOI
Pettorossi, Alberto; Proietti, Maurizio The list introduction strategy for the derivation of logic programs. (English) Zbl 1001.68020 Formal Asp. Comput. 13, No. 3-5, 233-251 (2002). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, Formal Asp. Comput. 13, No. 3--5, 233--251 (2002; Zbl 1001.68020) Full Text: DOI
Bulterman, R. W.; van der Sommen, F. W.; Zwaan, G.; Verhoeff, T. On computing a longest path in a tree. (English) Zbl 1032.68671 Inf. Process. Lett. 81, No. 2, 93-96 (2002). MSC: 68R10 68N99 PDFBibTeX XMLCite \textit{R. W. Bulterman} et al., Inf. Process. Lett. 81, No. 2, 93--96 (2002; Zbl 1032.68671) Full Text: DOI
Frühwirth, Thom On the number of rule applications in constraint programs. (English) Zbl 1263.68045 Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 147-166 (2001). MSC: 68N30 PDFBibTeX XMLCite \textit{T. Frühwirth}, Electron. Notes Theor. Comput. Sci. 48, 147--166 (2001; Zbl 1263.68045) Full Text: DOI
Takahashi, Daisuke A fast algorithm for computing large Fibonacci numbers. (English) Zbl 1339.11102 Inf. Process. Lett. 75, No. 6, 243-246 (2000). MSC: 11Y55 11B39 68M07 PDFBibTeX XMLCite \textit{D. Takahashi}, Inf. Process. Lett. 75, No. 6, 243--246 (2000; Zbl 1339.11102) Full Text: DOI Link
Hinze, Ralf 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 \textit{R. Hinze}, in: 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). 186--197 (2000; Zbl 1321.68195) Full Text: DOI
El Ouatouati, A.; Fisette, P.; Johnson, D. A. A fully symbolic model of multibody systems containing flexible plates. (English) Zbl 0970.74029 Nonlinear Dyn. 18, No. 4, 357-382 (1999). Reviewer: E.Heinrich (Konstanz) MSC: 74H10 74H45 70E55 68W30 PDFBibTeX XMLCite \textit{A. El Ouatouati} et al., Nonlinear Dyn. 18, No. 4, 357--382 (1999; Zbl 0970.74029) Full Text: DOI
Bijlsma, A. An application of program derivation techniques to 18th-century mathematics. (English) Zbl 0906.11059 Jeuring, Johan (ed.), Mathematics of program construction. 4th international conference, MPC ’98, Marstrand, Sweden, June 15–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1422, 44-51 (1998). Reviewer: H.J.Godwin (Egham) MSC: 11Y99 68Q60 11P32 PDFBibTeX XMLCite \textit{A. Bijlsma}, Lect. Notes Comput. Sci. 1422, 44--51 (1998; Zbl 0906.11059)
Buhăceanu, D. S.; Feijen, W. H. J. Formal derivation of an algorithm for distributed phase synchronization. (English) Zbl 0900.68158 Inf. Process. Lett. 60, No. 4, 207-213 (1997). MSC: 68N99 PDFBibTeX XMLCite \textit{D. S. Buhăceanu} and \textit{W. H. J. Feijen}, Inf. Process. Lett. 60, No. 4, 207--213 (1997; Zbl 0900.68158) Full Text: DOI
Bird, Richard S.; Ravelo, Jesús N. On computing representatives. (English) Zbl 1336.68272 Inf. Process. Lett. 63, No. 1, 1-7 (1997). MSC: 68W05 68N30 PDFBibTeX XMLCite \textit{R. S. Bird} and \textit{J. N. Ravelo}, Inf. Process. Lett. 63, No. 1, 1--7 (1997; Zbl 1336.68272) Full Text: DOI
Kornerup, Jacob Odd-even sort in powerlists. (English) Zbl 0925.68119 Inf. Process. Lett. 61, No. 1, 15-24 (1997). MSC: 68P10 68N99 PDFBibTeX XMLCite \textit{J. Kornerup}, Inf. Process. Lett. 61, No. 1, 15--24 (1997; Zbl 0925.68119) Full Text: DOI
Sere, K. Procedures and atomicity refinement. (English) Zbl 0875.68275 Inf. Process. Lett. 60, No. 2, 67-74 (1996). MSC: 68N99 68M10 PDFBibTeX XMLCite \textit{K. Sere}, Inf. Process. Lett. 60, No. 2, 67--74 (1996; Zbl 0875.68275) Full Text: DOI
Billington, David; Dromey, R. Geoff The co-invariant generator: An aid in deriving loop bodies. (English) Zbl 0843.68066 Formal Asp. Comput. 8, No. 1, 108-126 (1996). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Billington} and \textit{R. G. Dromey}, Formal Asp. Comput. 8, No. 1, 108--126 (1996; Zbl 0843.68066) Full Text: DOI
Leino, K. Rustan M. Constructing a program with exceptions. (English) Zbl 0875.68200 Inf. Process. Lett. 53, No. 3, 159-163 (1995). MSC: 68N01 68Q55 PDFBibTeX XMLCite \textit{K. R. M. Leino}, Inf. Process. Lett. 53, No. 3, 159--163 (1995; Zbl 0875.68200) Full Text: DOI
Kornerup, Jacob Mapping a functional notation for parallel programs onto hypercubes. (English) Zbl 0875.68405 Inf. Process. Lett. 53, No. 3, 153-158 (1995). MSC: 68Q10 68M07 68Q60 68W15 PDFBibTeX XMLCite \textit{J. Kornerup}, Inf. Process. Lett. 53, No. 3, 153--158 (1995; Zbl 0875.68405) Full Text: DOI
The Eindhoven Tuesday Afternoon Club Constructing the Galois adjoint. (English) Zbl 0998.93509 Inf. Process. Lett. 53, No. 3, 137-139 (1995). MSC: 93B35 06A15 PDFBibTeX XMLCite \textit{The Eindhoven Tuesday Afternoon Club}, Inf. Process. Lett. 53, No. 3, 137--139 (1995; Zbl 0998.93509) Full Text: DOI
Mathematics of Program Construction Group Fixed-point calculus. (English) Zbl 0875.68201 Inf. Process. Lett. 53, No. 3, 131-136 (1995). MSC: 68N01 PDFBibTeX XMLCite \textit{Mathematics of Program Construction Group}, Inf. Process. Lett. 53, No. 3, 131--136 (1995; Zbl 0875.68201) Full Text: DOI
Berger, Ulrich; Schwichtenberg, Helmut 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 \textit{U. Berger} and \textit{H. Schwichtenberg}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 1--45 (1995; Zbl 0856.03010)
Morgan, Carroll (ed.); Vickers, Trevor (ed.) On the refinement calculus. (English) Zbl 0818.68023 Formal Approaches to Computing and Information Technology (FACIT). Berlin: Springer-Verlag. xi, 159 p. (1994). MSC: 68-06 00B15 68Q60 PDFBibTeX XMLCite \textit{C. Morgan} (ed.) and \textit{T. Vickers} (ed.), On the refinement calculus. Berlin: Springer-Verlag (1994; Zbl 0818.68023)
Hoogendijk, Paul F. (Relational) programming laws in the Boom hierarchy of types. (English) Zbl 0797.68025 Bird, Richard S. (ed.) et al., Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 669, 163-190 (1993). MSC: 68N01 68P05 PDFBibTeX XMLCite \textit{P. F. Hoogendijk}, Lect. Notes Comput. Sci. 669, 163--190 (1993; Zbl 0797.68025)
Srinivas, Yellamraju V. A sheaf-theoretic approach to pattern matching and related problems. (English) Zbl 0783.68088 Theor. Comput. Sci. 112, No. 1, 53-97 (1993). MSC: 68Q99 68W10 68Q60 PDFBibTeX XMLCite \textit{Y. V. Srinivas}, Theor. Comput. Sci. 112, No. 1, 53--97 (1993; Zbl 0783.68088) Full Text: DOI
Lu, Jianguo; Xu, Jiafu Analogical program derivation based on type theory. (English) Zbl 0770.68091 Theor. Comput. Sci. 113, No. 2, 259-272 (1993). MSC: 68Q60 03B15 PDFBibTeX XMLCite \textit{J. Lu} and \textit{J. Xu}, Theor. Comput. Sci. 113, No. 2, 259--272 (1993; Zbl 0770.68091) Full Text: DOI
van de Snepscheut, Jan L. A. A LISP programming exercise. (English) Zbl 0780.68011 Inf. Process. Lett. 42, No. 2, 103-108 (1992). MSC: 68N01 PDFBibTeX XMLCite \textit{J. L. A. van de Snepscheut}, Inf. Process. Lett. 42, No. 2, 103--108 (1992; Zbl 0780.68011) Full Text: DOI
Singh, Ambuj K. Towards an understanding of unbounded variables in asynchronous systems. (English) Zbl 0780.68037 Inf. Process. Lett. 42, No. 1, 7-17 (1992). MSC: 68Q10 68Q60 PDFBibTeX XMLCite \textit{A. K. Singh}, Inf. Process. Lett. 42, No. 1, 7--17 (1992; Zbl 0780.68037) Full Text: DOI
Whaley, Tom Alternative developments of cyclic-permutation algorithms. (English) Zbl 0779.68060 Inf. Process. Lett. 41, No. 5, 239-241 (1992). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. Whaley}, Inf. Process. Lett. 41, No. 5, 239--241 (1992; Zbl 0779.68060) Full Text: DOI
Méry, Dominique The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\). (English) Zbl 0747.68037 Theor. Comput. Sci. 94, No. 2, 311-334 (1992). MSC: 68Q60 68N01 68Q10 PDFBibTeX XMLCite \textit{D. Méry}, Theor. Comput. Sci. 94, No. 2, 311--334 (1992; Zbl 0747.68037) Full Text: DOI
Galmiche, Didier Program development in constructive type theory. (English) Zbl 0760.68012 Theor. Comput. Sci. 94, No. 2, 237-259 (1992). MSC: 68N01 03B15 PDFBibTeX XMLCite \textit{D. Galmiche}, Theor. Comput. Sci. 94, No. 2, 237--259 (1992; Zbl 0760.68012) Full Text: DOI
Möller, B. (ed.) 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). Reviewer: S.Miura (Okazaki / Aichi) MSC: 68-06 68Q60 68N01 68Q65 PDFBibTeX XMLCite \textit{B. Möller} (ed.), Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. Amsterdam etc.: North-Holland (1991; Zbl 0744.68025)
Denvy, Olivier Semantics-directed compilation of nonlinear patterns. (English) Zbl 0722.68026 Inf. Process. Lett. 37, No. 6, 315-322 (1991). MSC: 68N20 PDFBibTeX XMLCite \textit{O. Denvy}, Inf. Process. Lett. 37, No. 6, 315--322 (1991; Zbl 0722.68026) Full Text: DOI
Rönn, Stefan On the logarithmic evaluation of recurrence relations. (English) Zbl 0743.68095 Inf. Process. Lett. 40, No. 4, 197-199 (1991). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Rönn}, Inf. Process. Lett. 40, No. 4, 197--199 (1991; Zbl 0743.68095) Full Text: DOI
Hesselink, Wim H. Repetitions, known or unknown? (English) Zbl 0751.68035 Inf. Process. Lett. 40, No. 1, 51-57 (1991). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{W. H. Hesselink}, Inf. Process. Lett. 40, No. 1, 51--57 (1991; Zbl 0751.68035) Full Text: DOI
Bijlsma, A. Derivation of logic programs by functional methods. (English) Zbl 0751.68013 Inf. Process. Lett. 39, No. 6, 325-332 (1991). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{A. Bijlsma}, Inf. Process. Lett. 39, No. 6, 325--332 (1991; Zbl 0751.68013) Full Text: DOI Link
Carrington, D. A.; Robinson, K. A. Computer assistance for random refinement. (English) Zbl 0765.68117 Computer-aided verification, Proc. 2nd Int. Conf., CAV ’90, New Brunswick/NJ (USA), Lect. Notes Comput. Sci. 531, 312-321 (1991). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. A. Carrington} and \textit{K. A. Robinson}, Lect. Notes Comput. Sci. 531, 312--321 (1991; Zbl 0765.68117)
Mullin, Lenore M. Restifo 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 \textit{L. M. R. Mullin}, in: Arrays, functional languages and parallel systems. 1st international workshop, held 12-15 June 1990 in Montréal, Québec, Canada. Proceedings. Dordrecht: Kluwer Academic Publishers Group. 185--200 (1991; Zbl 0767.68076)
Morgan, Carroll Programming from specifications. (English) Zbl 0697.68018 International Series in Computer Science. New York etc.: Prentice Hall. XI, 255 p. (1990). Reviewer: G.Grigas MSC: 68N01 68-01 PDFBibTeX XMLCite \textit{C. Morgan}, Programming from specifications. New York etc.: Prentice Hall (1990; Zbl 0697.68018)
Loyens, L. D. J. C.; van de Vorst, J. G. G. Two small parallel programming exercises. (English) Zbl 0715.68058 Sci. Comput. Program. 15, No. 2-3, 159-169 (1990). MSC: 68Q60 68W15 PDFBibTeX XMLCite \textit{L. D. J. C. Loyens} and \textit{J. G. G. van de Vorst}, Sci. Comput. Program. 15, No. 2--3, 159--169 (1990; Zbl 0715.68058) Full Text: DOI
Chen, Wei; Udding, Jan Tijmen Program inversion: More than fun! (English) Zbl 0715.68055 Sci. Comput. Program. 15, No. 1, 1-13 (1990). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{W. Chen} and \textit{J. T. Udding}, Sci. Comput. Program. 15, No. 1, 1--13 (1990; Zbl 0715.68055) Full Text: DOI
Banâtre, Jean-Pierre; Le Métayer, Daniel The gamma model and its discipline of programming. (English) Zbl 0715.68054 Sci. Comput. Program. 15, No. 1, 55-77 (1990). MSC: 68Q60 68N01 68Q05 PDFBibTeX XMLCite \textit{J.-P. Banâtre} and \textit{D. Le Métayer}, Sci. Comput. Program. 15, No. 1, 55--77 (1990; Zbl 0715.68054) Full Text: DOI
Kaldewaij, Anne; Zwaan, Gerard A systolic design for acceptors of regular languages. (English) Zbl 0715.68048 Sci. Comput. Program. 15, No. 2-3, 171-183 (1990). MSC: 68Q45 68Q05 68Q60 68Q10 PDFBibTeX XMLCite \textit{A. Kaldewaij} and \textit{G. Zwaan}, Sci. Comput. Program. 15, No. 2--3, 171--183 (1990; Zbl 0715.68048) Full Text: DOI
van den Eijnde, J. P. H. W. Left-bottom and right-top segments. (English) Zbl 0715.68006 Sci. Comput. Program. 15, No. 1, 79-94 (1990). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{J. P. H. W. van den Eijnde}, Sci. Comput. Program. 15, No. 1, 79--94 (1990; Zbl 0715.68006) Full Text: DOI
Kaldewaij, Anne; Rem, Martin The derivation of systolic computations. (English) Zbl 0709.68020 Sci. Comput. Program. 14, No. 2-3, 229-242 (1990). Reviewer: J.Vyskoc MSC: 68W15 68Q60 PDFBibTeX XMLCite \textit{A. Kaldewaij} and \textit{M. Rem}, Sci. Comput. Program. 14, No. 2--3, 229--242 (1990; Zbl 0709.68020) Full Text: DOI
Huttelmaier, H. Peter; Epstein, Marcelo A large displacement finite element for multilayered plates. (English) Zbl 0708.73075 Finite Elem. Anal. Des. 6, No. 3, 189-196 (1990). MSC: 74S05 74B20 74K20 74E30 PDFBibTeX XMLCite \textit{H. P. Huttelmaier} and \textit{M. Epstein}, Finite Elem. Anal. Des. 6, No. 3, 189--196 (1990; Zbl 0708.73075) Full Text: DOI
Kaldewaij, Anne; Schoenmakers, Berry Searching by elimination. (English) Zbl 0708.68037 Sci. Comput. Program. 14, No. 2-3, 243-254 (1990). Reviewer: M.Zimand MSC: 68Q60 68N01 68P10 PDFBibTeX XMLCite \textit{A. Kaldewaij} and \textit{B. Schoenmakers}, Sci. Comput. Program. 14, No. 2--3, 243--254 (1990; Zbl 0708.68037) Full Text: DOI
Hoogerwoord, Rob R. A calculational derivation of the CASOP algorithm. (English) Zbl 0706.68074 Inf. Process. Lett. 36, No. 6, 297-299 (1990). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{R. R. Hoogerwoord}, Inf. Process. Lett. 36, No. 6, 297--299 (1990; Zbl 0706.68074) Full Text: DOI
Smith, Douglas R.; Lowry, Michael R. Algorithm theories and design tactics. (English) Zbl 0705.68077 Sci. Comput. Program. 14, No. 2-3, 305-321 (1990). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{D. R. Smith} and \textit{M. R. Lowry}, Sci. Comput. Program. 14, No. 2--3, 305--321 (1990; Zbl 0705.68077) Full Text: DOI
Back, R. J. R.; Sere, K. Stepwise refinement of parallel algorithms. (English) Zbl 0705.68057 Sci. Comput. Program. 13, No. 2-3, 133-180 (1990). MSC: 68W15 68Q60 68N01 PDFBibTeX XMLCite \textit{R. J. R. Back} and \textit{K. Sere}, Sci. Comput. Program. 13, No. 2--3, 133--180 (1990; Zbl 0705.68057) Full Text: DOI
Kurki-Suonio, Reino Towards languages that support program derivation, or control modularity considered harmful. (English) Zbl 0705.68027 Acta Cybern. 9, No. 3, 179-192 (1990). MSC: 68N15 68Q60 68N99 PDFBibTeX XMLCite \textit{R. Kurki-Suonio}, Acta Cybern. 9, No. 3, 179--192 (1990; Zbl 0705.68027)
Takeichi, Masato; Akama, Yohji Deriving a functional Knuth-Morris-Pratt algorithm by transformation. (English) Zbl 0764.68097 J. Inf. Process. 13, No. 4, 522-528 (1990). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{M. Takeichi} and \textit{Y. Akama}, J. Inf. Process. 13, No. 4, 522--528 (1990; Zbl 0764.68097)
Dijkstra, Edsger W. (ed.) Formal development of programs and proofs. (English) Zbl 0734.68063 Reading, MA etc: Addison-Wesley Publishing Company. XIV, 242 p. (1990). MSC: 68Q60 68-06 68N01 PDFBibTeX XMLCite \textit{E. W. Dijkstra} (ed.), Formal development of programs and proofs. Reading, MA etc: Addison-Wesley Publishing Company (1990; Zbl 0734.68063)
Dromey, R. Geoff Program derivation. The development of programs from specifications. (English) Zbl 0781.68084 Bonn etc.: Addison-Wesley Publishing Company. XVI, 630 p. (1989). Reviewer: H.Zeitler (München) MSC: 68Q60 68-01 PDFBibTeX XMLCite \textit{R. G. Dromey}, Program derivation. The development of programs from specifications. Bonn etc.: Addison-Wesley Publishing Company (1989; Zbl 0781.68084)
Harandi, Mehdi T.; Bhansali, Sanjay Program derivation using analogy. (English) Zbl 0708.68036 IJCAI-89, Proc. Int. Conf., Detroit, MI/USA 1989, 389-394 (1989). Reviewer: N.Curteanu MSC: 68Q60 68T20 68T05 PDFBibTeX XML
Jifeng, He Process simulation and refinement. (English) Zbl 0696.68099 Formal Aspects Comput. 1, No. 3, 229-241 (1989). MSC: 68U20 68N25 68Q60 PDFBibTeX XMLCite \textit{H. Jifeng}, Formal Asp. Comput. 1, No. 3, 229--241 (1989; Zbl 0696.68099) Full Text: DOI
Pnueli, Amir; Rosner, Roni On the synthesis of an asynchronous reactive module. (English) Zbl 0686.68015 Automata, languages and programming, Proc. 16th Int. Colloq., Stresa/Italy 1989, Lect. Notes Comput. Sci. 372, 652-671 (1989). MSC: 68Q60 68N25 03B45 68Q25 PDFBibTeX XML
Pettorossi, Alberto; Skowron, Andrzej The power of the lambda abstraction strategy for program derivation. (English) Zbl 0682.68014 J. Inf. Process. Cybern. 25, No. 5-6, 263-281 (1989). Reviewer: S.Miura MSC: 68N01 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{A. Skowron}, J. Inf. Process. Cybern. 25, No. 5--6, 263--281 (1989; Zbl 0682.68014)
Cai, Jiazhen; Paige, Robert Program derivation by fixed point computation. (English) Zbl 0681.68020 Sci. Comput. Program. 11, No. 3, 197-261 (1989). MSC: 68Q60 68N01 68W99 68P05 03D60 PDFBibTeX XMLCite \textit{J. Cai} and \textit{R. Paige}, Sci. Comput. Program. 11, No. 3, 197--261 (1989; Zbl 0681.68020) Full Text: DOI
van der Woude, Jaap Playing with patterns, searching for strings. (English) Zbl 0679.68018 Sci. Comput. Program. 12, No. 3, 177-190 (1989). MSC: 68N01 68P10 68Q60 PDFBibTeX XMLCite \textit{J. van der Woude}, Sci. Comput. Program. 12, No. 3, 177--190 (1989; Zbl 0679.68018) Full Text: DOI
Bird, R. S.; Gibbons, J.; Jones, G. Formal derivation of a pattern matching algorithm. (English) Zbl 0679.68011 Sci. Comput. Program. 12, No. 2, 93-104 (1989). Reviewer: L.Brim MSC: 68N01 68Q60 68W99 PDFBibTeX XMLCite \textit{R. S. Bird} et al., Sci. Comput. Program. 12, No. 2, 93--104 (1989; Zbl 0679.68011) Full Text: DOI
van Gasteren, Antonetta Johanna Maria On the shape of mathematical arguments. (English) Zbl 0672.03041 Eindhoven (Netherlands): Technische Univ. Eindhoven, Thesis. ii, 183 p. (1988). Reviewer: G.Tseytlin MSC: 03F99 03B35 68Q60 03-02 68-02 68T15 PDFBibTeX XML
Alblas, Henk One-pass transformations of attributed program trees. (English) Zbl 0598.68013 Acta Inf. 24, 299-352 (1987). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{H. Alblas}, Acta Inf. 24, 299--352 (1987; Zbl 0598.68013) Full Text: DOI
Smith, Douglas R. Top-down synthesis of divide-and-conquer algorithms. (English) Zbl 0573.68053 Artif. Intell. 27, 43-96 (1985). MSC: 68T20 68N99 68P10 PDFBibTeX XMLCite \textit{D. R. Smith}, Artif. Intell. 27, 43--96 (1985; Zbl 0573.68053) Full Text: DOI
Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M. Derivation of a termination detection algorithm for distributed computations. (English) Zbl 0566.68025 Control flow and data flow: concepts of distributed programming, Proc. NATO Adv. Study Inst., Marktoberdorf/Ger. 1984, NATO ASI Ser., Ser. F 14, 507-512 (1985). MSC: 68N25 PDFBibTeX XML
Kowalski, R. The relation between logic programming and logic specification. (English) Zbl 0549.68018 Philos. Trans. R. Soc. Lond., A 312, 345-361 (1984). MSC: 68Q65 68Q60 68T99 68W99 03B10 68N01 PDFBibTeX XMLCite \textit{R. Kowalski}, Philos. Trans. R. Soc. Lond., Ser. A 312, 345--361 (1984; Zbl 0549.68018) Full Text: DOI
Reif, John H.; Scherlis, William L. Deriving efficient graph algorithms. (English) Zbl 0548.68066 Logics of programs, Workshop, Pittsburgh/PA 1983, Lect. Notes Comput. Sci. 164, 421-441 (1984). MSC: 68R10 68Q25 68N99 68W99 PDFBibTeX XML
Turski, W. M. On programming by iterations. (English) Zbl 0532.68010 IEEE Trans. Software Eng. 10, 175-178 (1984). MSC: 68N01 PDFBibTeX XMLCite \textit{W. M. Turski}, IEEE Trans. Softw. Eng. 10, 175--178 (1984; Zbl 0532.68010) Full Text: DOI
Sintzoff, Michel Issues in the methodical design of concurrent programs. (English) Zbl 0518.68017 Computer program synthesis methodologies, Proc. NATO Adv. Study Inst., Bonas/France 1981, NATO ASI Ser., Ser. C 95, 51-78 (1983). MSC: 68Q60 68N25 PDFBibTeX XML
Barzdin’, Ya. M. Some rules of the inductive inference and their application. (Russian) Zbl 0516.68015 Semiotika Inf. 19, 59-89 (1982). MSC: 68Q60 68W99 68T15 PDFBibTeX XMLCite \textit{Ya. M. Barzdin'}, Semiotika Inf. 19, 59--89 (1982; Zbl 0516.68015)
Eriksson, Agneta; Johansson, Anna-Lena Computer-based synthesis of logic programs. (English) Zbl 0496.68064 Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 105-115 (1982). MSC: 68T99 68N99 68T15 PDFBibTeX XML
Niwinski, Damian Fixed-point semantics for algebraic (tree) grammars (extended abstract). (English) Zbl 0488.68053 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 384-396 (1982). MSC: 68Q55 68Q45 68Q60 PDFBibTeX XML
Courcelle, Bruno; Franchi-Zannettacci, Paul Attribute grammars and recursive program schemes. I. II. (English) Zbl 0481.68068 Theor. Comput. Sci. 17, 163-191, 235-257 (1982). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{B. Courcelle} and \textit{P. Franchi-Zannettacci}, Theor. Comput. Sci. 17, 163--191, 235--257 (1982; Zbl 0481.68068) Full Text: DOI
Manna, Zohar; Waldinger, Richard Deductive synthesis of the unification algorithm. (English) Zbl 0472.68054 Sci. Comput. Program. 1, 5-48 (1981). MSC: 68T15 68N01 68W99 PDFBibTeX XMLCite \textit{Z. Manna} and \textit{R. Waldinger}, Sci. Comput. Program. 1, 5--48 (1981; Zbl 0472.68054) Full Text: DOI
Alblas, Henk A characterization of attribute evaluation in passes. (English) Zbl 0454.68088 Acta Inf. 16, 427-464 (1981). MSC: 68Q45 68Q60 68Q55 PDFBibTeX XMLCite \textit{H. Alblas}, Acta Inf. 16, 427--464 (1981; Zbl 0454.68088) Full Text: DOI
Varga, L. Synthesis of abstract algorithms. (English) Zbl 0461.68014 Acta Cybern. 5, 59-76 (1980). MSC: 68Q60 68N01 68P05 PDFBibTeX XMLCite \textit{L. Varga}, Acta Cybern. 5, 59--76 (1980; Zbl 0461.68014)