Tarmo

Results: 95



#Item
21

Type Systems Equivalent to Data-Flow Analyses for Imperative Languages ? Peeter Laud a,∗ Tarmo Uustalu b Varmo Vene a,b a Dept. of Computer Science, University of Tartu, J. Liivi 2, EETartu,

Add to Reading List

Source URL: cs.ioc.ee

Language: English - Date: 2006-05-25 15:57:38
    22

    ByteCodeType Systems for Optimizing Stack-based Code Ando Saabas and Tarmo Uustalu1 Institute of Cybernetics, Tallinn University of Technology,

    Add to Reading List

    Source URL: cs.ioc.ee

    Language: English - Date: 2007-02-08 05:26:12
      23

      Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology

      Add to Reading List

      Source URL: cs.ioc.ee

      Language: English - Date: 2010-08-19 14:05:01
        24

        Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 9/6/05, appeared: © J.UCS Signals and Comonads Tarmo Uustalu (Institute of Cybernetics at Tallinn University

        Add to Reading List

        Source URL: cs.ioc.ee

        Language: English - Date: 2005-11-11 08:56:35
          25

          SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology

          Add to Reading List

          Source URL: cs.ioc.ee

          Language: English - Date: 2005-09-22 14:37:02
            26

            Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia Received 17 March 2007; acce

            Add to Reading List

            Source URL: cs.ioc.ee

            Language: English - Date: 2008-07-04 08:22:56
              27

              Chapter 10 Comonadic functional attribute evaluation Tarmo Uustalu1 and Varmo Vene2 Abstract: We have previously demonstrated that dataflow computation is comonadic. Here we argue that attribute evaluation has a lot in

              Add to Reading List

              Source URL: cs.ioc.ee

              Language: English - Date: 2006-10-28 07:39:11
                28

                Categorical Views on Computations on Trees (Extended Abstract) Ichiro Hasuo1 , Bart Jacobs1 , and Tarmo Uustalu2 1 Institute of Computing and Information Sciences, Radboud University Nijmegen,

                Add to Reading List

                Source URL: cs.ioc.ee

                Language: English - Date: 2007-08-31 03:45:00
                  29

                  A CATEGORICAL OUTLOOK ON CELLULAR AUTOMATA SILVIO CAPOBIANCO AND TARMO UUSTALU Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia E-mail address: {silvio,tarmo}@cs.ioc.

                  Add to Reading List

                  Source URL: cs.ioc.ee

                  Language: English - Date: 2010-11-18 05:04:42
                    30

                    Proof Optimization for Partial Redundancy EliminationI Ando Saabasa , Tarmo Uustalua,1 a Institute of Cybernetics, Tallinn University of Technology,

                    Add to Reading List

                    Source URL: cs.ioc.ee

                    Language: English - Date: 2009-05-11 04:02:03
                      UPDATE