Apinis, Kalmer; Vene, Varmo; Vojdani, Vesal Demand-driven interprocedural analysis for map-based abstract domains. (English) Zbl 1400.68054 J. Log. Algebr. Methods Program. 100, 57-70 (2018). MSC: 68N30 68T20 PDFBibTeX XMLCite \textit{K. Apinis} et al., J. Log. Algebr. Methods Program. 100, 57--70 (2018; Zbl 1400.68054) Full Text: DOI
Uustalu, Tarmo; Vene, Varmo The recursion scheme from the cofree recursive comonad. (English) Zbl 1291.68149 Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 135-157 (2011). MSC: 68N30 18C15 18C20 68N18 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Electron. Notes Theor. Comput. Sci. 229, No. 5, 135--157 (2011; Zbl 1291.68149) Full Text: DOI
Vojdani, V.; Vene, V. Goblint: path-sensitive data race analysis. (English) Zbl 1199.68107 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 30, 141-155 (2009). MSC: 68P15 PDFBibTeX XMLCite \textit{V. Vojdani} and \textit{V. Vene}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 30, 141--155 (2009; Zbl 1199.68107)
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo Corecursive algebras: a study of general structured corecursion. (English) Zbl 1266.68083 Oliveira, Marcel Vinícius Medeiros (ed.) et al., Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-10451-0/pbk). Lecture Notes in Computer Science 5902, 84-100 (2009). MSC: 68N18 18C20 PDFBibTeX XMLCite \textit{V. Capretta} et al., Lect. Notes Comput. Sci. 5902, 84--100 (2009; Zbl 1266.68083) Full Text: DOI
Uustalu, Tarmo; Vene, Varmo Comonadic notions of computation. (English) Zbl 1279.68088 Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 263-284 (2008). MSC: 68Q05 03B40 18C20 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 263--284 (2008; Zbl 1279.68088) Full Text: DOI
Kabanov, Jevgeni; Vene, Varmo Recursion schemes for dynamic programming. (English) Zbl 1235.68055 Uustalu, Tarmo (ed.), Mathematics of program construction. 8th international conference, MPC 2006, Kuressaare, Estonia, July 3–5, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35631-8/pbk). Lecture Notes in Computer Science 4014, 235-252 (2006). MSC: 68N30 68Q65 68W05 PDFBibTeX XMLCite \textit{J. Kabanov} and \textit{V. Vene}, Lect. Notes Comput. Sci. 4014, 235--252 (2006; Zbl 1235.68055) Full Text: DOI
Uustalu, Tarmo; Vene, Varmo The essence of dataflow programming. (English) Zbl 1156.68378 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, 135-167 (2006). MSC: 68Q05 68N30 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Lect. Notes Comput. Sci. 4164, 135--167 (2006; Zbl 1156.68378) Full Text: DOI
Johnson, Michael (ed.); Vene, Varmo (ed.) Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. (English) Zbl 1107.68013 Lecture Notes in Computer Science 4019. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). xi, 389 p. (2006). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{M. Johnson} (ed.) and \textit{V. Vene} (ed.), Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5--8, 2006. Proceedings. Berlin: Springer (2006; Zbl 1107.68013) Full Text: DOI
Laud, Peeter; Uustalu, Tarmo; Vene, Varmo Type systems equivalent to data-flow analyses for imperative languages. (English) Zbl 1153.68351 Theor. Comput. Sci. 364, No. 3, 292-310 (2006). MSC: 68N15 PDFBibTeX XMLCite \textit{P. Laud} et al., Theor. Comput. Sci. 364, No. 3, 292--310 (2006; Zbl 1153.68351) Full Text: DOI
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo Recursive coalgebras from comonads. (English) Zbl 1110.68068 Inf. Comput. 204, No. 4, 437-468 (2006). MSC: 68Q55 18C15 18C20 PDFBibTeX XMLCite \textit{V. Capretta} et al., Inf. Comput. 204, No. 4, 437--468 (2006; Zbl 1110.68068) Full Text: DOI
Ghani, Neil; Johann, Patricia; Uustalu, Tarmo; Vene, Varmo Monadic augment and generalised short cut fusion. (English) Zbl 1302.68079 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, 294-305 (2005). MSC: 68N19 PDFBibTeX XMLCite \textit{N. Ghani} et al., 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). 294--305 (2005; Zbl 1302.68079) Full Text: DOI
Uustalu, Tarmo; Vene, Varmo The essence of dataflow programming. (English) Zbl 1159.68384 Yi, Kwangkeun (ed.), Programming languages and systems. Third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29735-9/pbk). Lecture Notes in Computer Science 3780, 2-18 (2005). MSC: 68N15 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Lect. Notes Comput. Sci. 3780, 2--18 (2005; Zbl 1159.68384) Full Text: DOI
Laud, Peeter; Vene, Varmo A type system for computationally secure information flow. (English) Zbl 1123.68034 Liśkiewicz, Maciej (ed.) et al., Fundamentals of computation theory. 15th international symposium, FCT 2005, Lübeck, Germany, August 17–20, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28193-2/pbk). Lecture Notes in Computer Science 3623, 365-377 (2005). MSC: 68P25 94A60 94A62 68N30 68Q55 PDFBibTeX XMLCite \textit{P. Laud} and \textit{V. Vene}, Lect. Notes Comput. Sci. 3623, 365--377 (2005; Zbl 1123.68034) Full Text: DOI
Vene, Varmo (ed.); Uustalu, Tarmo (ed.) Advanced functional programming. 5th international school, AFP 2004, Tartu, Estonia, August 14–21, 2004. Revised lectures. (English) Zbl 1086.68009 Lecture Notes in Computer Science 3622. Berlin: Springer (ISBN 3-540-28540-7/pbk). ix, 359 p. (2005). MSC: 68-06 68N18 00B15 PDFBibTeX XMLCite \textit{V. Vene} (ed.) and \textit{T. Uustalu} (ed.), Advanced functional programming. 5th international school, AFP 2004, Tartu, Estonia, August 14--21, 2004. Revised lectures. Berlin: Springer (2005; Zbl 1086.68009) Full Text: DOI
Ghani, Neil; Uustalu, Tarmo; Vene, Varmo Build, augment and destroy, universally. (English) Zbl 1116.68490 Chin, Wei-Ngan (ed.), Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4–6, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23724-0/pbk). Lecture Notes in Computer Science 3302, 327-347 (2004). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{N. Ghani} et al., Lect. Notes Comput. Sci. 3302, 327--347 (2004; Zbl 1116.68490) Full Text: DOI
Seidl, Helmut; Vene, Varmo; Müller-Olm, Markus Global invariants for analysing multi-threaded applications. (English) Zbl 1091.68520 Proc. Est. Acad. Sci., Phys. Math. 52, No. 4, 413-436 (2003). MSC: 68N01 PDFBibTeX XMLCite \textit{H. Seidl} et al., Proc. Est. Acad. Sci., Phys. Math. 52, No. 4, 413--436 (2003; Zbl 1091.68520)
Uustalu, Tarmo; Vene, Varmo Least and greatest fixed points in intuitionistic natural deduction. (English) Zbl 0984.68136 Theor. Comput. Sci. 272, No. 1-2, 315-339 (2002). MSC: 68T15 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Theor. Comput. Sci. 272, No. 1--2, 315--339 (2002; Zbl 0984.68136) Full Text: DOI
Uustalu, Tarmo; Vene, Varmo; Pardo, Alberto Recursion schemes from comonads. (English) Zbl 0994.68018 Nord. J. Comput. 8, No. 3, 366-390 (2001). MSC: 68N01 68N18 PDFBibTeX XMLCite \textit{T. Uustalu} et al., Nord. J. Comput. 8, No. 3, 366--390 (2001; Zbl 0994.68018)
Vene, Varmo Categorical programming with inductive and coinductive types. (English) Zbl 0966.68516 Dissertationes Mathematicae Universitatis Tartuensis. 23. Tartu: Tartu University Press. 114 p. (2000). MSC: 68Q65 68N18 68-02 PDFBibTeX XMLCite \textit{V. Vene}, Categorical programming with inductive and coinductive types. Tartu: Tartu University Press (2000; Zbl 0966.68516)
Uustalu, Tarmo; Vene, Varmo Mendler-style inductive types, categorically. (English) Zbl 0937.68029 Nord. J. Comput. 6, No. 3, 343-361 (1999). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Nord. J. Comput. 6, No. 3, 343--361 (1999; Zbl 0937.68029)
Uustalu, Tarmo; Vene, Varmo Primitive (co)recursion and course-of-value (co) iteration, categorically. (English) Zbl 0935.68011 Informatica, Vilnius 10, No. 1, 5-26 (1999). MSC: 68N18 68P05 68N01 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Informatica, Vilnius 10, No. 1, 5--26 (1999; Zbl 0935.68011)
Vene, Varmo; Uustalu, Tarmo Functional programming with apomorphisms (corecursion). (English) Zbl 0963.68028 Proc. Est. Acad. Sci., Phys. Math. 47, No. 3, 147-161 (1998). MSC: 68N18 68N15 18B99 PDFBibTeX XMLCite \textit{V. Vene} and \textit{T. Uustalu}, Proc. Est. Acad. Sci., Phys. Math. 47, No. 3, 147--161 (1998; Zbl 0963.68028)
Meriste, Merik; Penjam, Jaan; Vene, Varmo Models of attributed automata. (English) Zbl 0904.68134 Informatica, Vilnius 9, No. 1, 85-105 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Meriste} et al., Informatica, Vilnius 9, No. 1, 85--105 (1998; Zbl 0904.68134)