Piedeleu, Robin; Zanasi, Fabio A finite axiomatisation of finite-state automata using string diagrams. (English) Zbl 07667086 Log. Methods Comput. Sci. 19, No. 1, Paper No. 13, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. Piedeleu} and \textit{F. Zanasi}, Log. Methods Comput. Sci. 19, No. 1, Paper No. 13, 38 p. (2023; Zbl 07667086) Full Text: DOI arXiv
Nagy, Benedek From finite automata to fractal automata – the power of recursion. (English) Zbl 07630824 Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 9th international conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13419, 109-125 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Nagy}, Lect. Notes Comput. Sci. 13419, 109--125 (2022; Zbl 07630824) Full Text: DOI
Piedeleu, Robin; Zanasi, Fabio A string diagrammatic axiomatisation of finite-state automata. (English) Zbl 07410439 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 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. 12650, 469-489 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{R. Piedeleu} and \textit{F. Zanasi}, Lect. Notes Comput. Sci. 12650, 469--489 (2021; Zbl 07410439) Full Text: DOI arXiv
Gil, Joseph (Yossi); Lenz, Keren Simple and safe SQL queries with C++ templates. (English) Zbl 1211.68155 Sci. Comput. Program. 75, No. 7, 573-595 (2010). MSC: 68P15 68N15 68N20 PDFBibTeX XMLCite \textit{J. Gil} and \textit{K. Lenz}, Sci. Comput. Program. 75, No. 7, 573--595 (2010; Zbl 1211.68155) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. A thread calculus with molecular dynamics. (English) Zbl 1197.68046 Inf. Comput. 208, No. 7, 817-844 (2010). MSC: 68Q05 68Q10 68Q55 68Q85 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Inf. Comput. 208, No. 7, 817--844 (2010; Zbl 1197.68046) Full Text: DOI arXiv
Gebala, Robert M.; McNamee, Carole M.; Olsson, Ronald A. Compiler to interpreter: Experiences with a distributed programming language. (English) Zbl 0982.68041 Software. Practice & Experience 31, No. 9, 893-909 (2001). MSC: 68N20 68N15 68U99 PDFBibTeX XMLCite \textit{R. M. Gebala} et al., Softw., Pract. Exper. 31, No. 9, 893--909 (2001; Zbl 0982.68041) Full Text: DOI
Thorup, Mikkel All structured programs have small tree width and good register allocation. (English) Zbl 0924.68023 Inf. Comput. 142, No. 2, 159-181 (1998). Reviewer: A.V.Anisimov (Kyïv) MSC: 68N01 68N15 PDFBibTeX XMLCite \textit{M. Thorup}, Inf. Comput. 142, No. 2, 159--181 (1998; Zbl 0924.68023) Full Text: DOI
Alstrup, Stephen; Lauridsen, Peter W.; Thorup, Mikkel Generalized dominators for structured programs. (English) Zbl 1483.68070 Cousot, Radhia (ed.) et al., Static analysis. Third international symposium, SAS ’96, Aachen, Germany, September 24–26, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1145, 42-51 (1996). MSC: 68N30 68R10 68W05 PDFBibTeX XMLCite \textit{S. Alstrup} et al., Lect. Notes Comput. Sci. 1145, 42--51 (1996; Zbl 1483.68070) Full Text: DOI
Jobling, C. P.; Grant, P. W.; Barker, H. A.; Townsend, P. Object-oriented programming in control system design: A survey. (English) Zbl 0800.93360 Automatica 30, No. 8, 1221-1261 (1994). MSC: 93B51 93C83 PDFBibTeX XMLCite \textit{C. P. Jobling} et al., Automatica 30, No. 8, 1221--1261 (1994; Zbl 0800.93360) Full Text: DOI
Morrison, R.; Atkinson, M. P.; Brown, A. L.; Dearle, A. On the classification of binding mechanisms. (English) Zbl 0695.68027 Inf. Process. Lett. 34, No. 1, 51-55 (1990). MSC: 68N99 68P20 68N25 PDFBibTeX XMLCite \textit{R. Morrison} et al., Inf. Process. Lett. 34, No. 1, 51--55 (1990; Zbl 0695.68027) Full Text: DOI
Fehr, Elfriede Expressive power of typed and type-free programming languages. (English) Zbl 0557.68022 Theor. Comput. Sci. 33, 195-238 (1984). MSC: 68Q60 68N01 03D60 03B40 68Q65 PDFBibTeX XMLCite \textit{E. Fehr}, Theor. Comput. Sci. 33, 195--238 (1984; Zbl 0557.68022) Full Text: DOI
Cioni, Gianna; Kreczmar, Antoni Programmed deallocation without dangling reference. (English) Zbl 0541.68007 Inf. Process. Lett. 18, 179-187 (1984). MSC: 68N25 68N01 68Q25 PDFBibTeX XMLCite \textit{G. Cioni} and \textit{A. Kreczmar}, Inf. Process. Lett. 18, 179--187 (1984; Zbl 0541.68007) Full Text: DOI
Tennent, R. D. Semantics of interference control. (English) Zbl 0553.68004 Theor. Comput. Sci. 27, 297-310 (1983). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{R. D. Tennent}, Theor. Comput. Sci. 27, 297--310 (1983; Zbl 0553.68004) Full Text: DOI
Hughes, J. W.; Powell, M. S. DTL: A language for the design and implementation of concurrent programs as structured networks. (English) Zbl 0519.68030 Softw., Pract. Exper. 13, 1099-1112 (1983). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{J. W. Hughes} and \textit{M. S. Powell}, Softw., Pract. Exper. 13, 1099--1112 (1983; Zbl 0519.68030) Full Text: DOI
Aoe, Junichi; Yamamoto, Yoneo; Shimada, Ryosaku A practical method for reducing sparse matrices with invariant entries. (English) Zbl 0489.68091 Int. J. Comput. Math. 12, 97-111 (1982). MSC: 68P20 68N20 68P05 PDFBibTeX XMLCite \textit{J. Aoe} et al., Int. J. Comput. Math. 12, 97--111 (1982; Zbl 0489.68091) Full Text: DOI
Arnborg, Stefan A simple query language based on set algebra. (English) Zbl 0442.68099 BIT, Nord. Tidskr. Inf.-behandl. 20, 266-278 (1980). MSC: 68P20 PDFBibTeX XMLCite \textit{S. Arnborg}, BIT, Nord. Tidskr. Inf.-behandl. 20, 266--278 (1980; Zbl 0442.68099) Full Text: DOI
Anisimov, A. V. Recursive converters on a memory. (English. Russian original) Zbl 0442.68042 Cybernetics 14, 823-834 (1979); translation from Kibernetika 1978, No. 6, 16-26 (1978). MSC: 68Q05 PDFBibTeX XMLCite \textit{A. V. Anisimov}, Cybernetics 14, 823--834 (1978; Zbl 0442.68042); translation from Kibernetika 1978, No. 6, 16--26 (1978) Full Text: DOI
Tanaka, Kokichi FSTDS system: A fuzzy-set manipulation system. (English) Zbl 0416.68019 Inf. Sci. 14, 115-159 (1978). MSC: 68P05 94-04 94D05 PDFBibTeX XMLCite \textit{K. Tanaka}, Inf. Sci. 14, 115--159 (1978; Zbl 0416.68019) Full Text: DOI
Aiello, L.; Aiello, M.; Weyhrauch, R. W. PASCAL in LCF: Semantics and examples of proof. (English) Zbl 0368.68019 Theor. Comput. Sci. 5(1977), 135-177 (1978). MSC: 68N01 PDFBibTeX XMLCite \textit{L. Aiello} et al., Theor. Comput. Sci. 5, 135--177 (1978; Zbl 0368.68019) Full Text: DOI
Robinet, Bernard; Nozick, Francois Semantique des structures de contrôle. (French) Zbl 0354.68027 RAIRO, Inf. Théor. 11, 63-74 (1977). MSC: 68N01 68Q45 PDFBibTeX XMLCite \textit{B. Robinet} and \textit{F. Nozick}, RAIRO, Inf. Théor. 11, 63--74 (1977; Zbl 0354.68027) Full Text: EuDML
Thorelli, Lars-Erik A fast compactifying garbage collector. (English) Zbl 0345.68019 BIT, Nord. Tidskr. Inf.-behandl. 16, 426-441 (1976). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{L.-E. Thorelli}, BIT, Nord. Tidskr. Inf.-behandl. 16, 426--441 (1976; Zbl 0345.68019) Full Text: DOI
Lucena, Carlos J.; Cowan, Donald D. Toward a system’s environment for computer assisted programming. (English) Zbl 0327.68044 Inf. Process. Lett. 5, 35-40 (1976). MSC: 68N01 PDFBibTeX XMLCite \textit{C. J. Lucena} and \textit{D. D. Cowan}, Inf. Process. Lett. 5, 35--40 (1976; Zbl 0327.68044) Full Text: DOI
Hoare, C. A. R. Recursive data structures. (English) Zbl 0301.68037 Int. J. Comput. Inform. Sci. 4, 105-132 (1975). MSC: 68N01 68W30 PDFBibTeX XMLCite \textit{C. A. R. Hoare}, Int. J. Comput. Inform. Sci. 4, 105--132 (1975; Zbl 0301.68037) Full Text: DOI
Tafvelin, Sven; Wikström, Ake Aspects of compact programs and directly executed languages. (English) Zbl 0301.68006 BIT, Nord. Tidskr. Inf.-behandl. 15, 203-214 (1975). MSC: 68N01 PDFBibTeX XMLCite \textit{S. Tafvelin} and \textit{A. Wikström}, BIT, Nord. Tidskr. Inf.-behandl. 15, 203--214 (1975; Zbl 0301.68006) Full Text: DOI
Shrivastava, Santosh K. Process synchronization in high-level languages. (English) Zbl 0301.68004 Int. J. Comput. Inform. Sci. 4, 151-169 (1975). MSC: 68N01 PDFBibTeX XMLCite \textit{S. K. Shrivastava}, Int. J. Comput. Inform. Sci. 4, 151--169 (1975; Zbl 0301.68004) Full Text: DOI
Arnborg, Stefan A note on the assignment of measurement points for frequency counts in structured programs. (English) Zbl 0288.68012 BIT, Nord. Tidskr. Inf.-behandl. 14, 273-278 (1974). MSC: 68N01 PDFBibTeX XMLCite \textit{S. Arnborg}, BIT, Nord. Tidskr. Inf.-behandl. 14, 273--278 (1974; Zbl 0288.68012) Full Text: DOI
Wile, D. S.; Geschke, C. M. An implementation base for efficient data structuring. (English) Zbl 0293.68031 Int. J. Comput. Inform. Sci. 1, 209-224 (1972). MSC: 68N01 PDFBibTeX XMLCite \textit{D. S. Wile} and \textit{C. M. Geschke}, Int. J. Comput. Inform. Sci. 1, 209--224 (1972; Zbl 0293.68031) Full Text: DOI
Hoare, C. A. R. A note on the for statement. (English) Zbl 0246.68003 BIT, Nord. Tidskr. Inf.-behandl. 12, 334-341 (1972). MSC: 68N01 PDFBibTeX XMLCite \textit{C. A. R. Hoare}, BIT, Nord. Tidskr. Inf.-behandl. 12, 334--341 (1972; Zbl 0246.68003) Full Text: DOI