Article

Core-TyCO: Appendix to the Language Definition, yielding Version 0.2

08/2001;
Source: CiteSeer

ABSTRACT

is given by the regular expression 0|[1-9]{digit}*, were {digit} is the regular expression [0-9]. Floating point constants are given by the regular expression ({integer} _ {digit}+)([eE][+-]?{digit}+)?. String constants are sequences of character enclosed between quotes ("). The following escape sequences are now supported: \\, \', \\\, \\n, \\t, \\a, \\b, \\f, \\r, \\v. 1 1.3 Grammar Di#erent binds are now longer separated by reserved word and. Comma does not separate method s. Syntactic c

Download full-text

Full-text

Available from: Vasco Vasconcelos, Sep 11, 2014
  • Source
    • "Core to the language is also the conditional construct, and expressions built from channels, base types (integers, booleans, strings, floats), and primitive operations on base types. The remaining constructs are translated at parsing time into the core (two of them are described below; for the full language refer to the language definition [14]). For example, the sequential composition operator is derived. "
    [Show abstract] [Hide abstract]
    ABSTRACT: We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as definition instantiations. We then apply linear channel information to optimize code generation for a multithreaded runtime system. The impact in terms of speed and space is analyzed.
    Full-text · Article · Jan 2002 · Electronic Notes in Theoretical Computer Science
  • Source
    Article: TyCO Gently
    [Show abstract] [Hide abstract]
    ABSTRACT: TyCO stands for "TYped Concurrent Objects". Not that the language includes any form of primitive objects. Instead, a few basic constructors provide for a form of Object-Based Programming (that is, objects but no inheritance) . The language is quite simple. The basic syntax reduces to half-adozen constructors. To help in writing common programming patterns, a few derived constructors are available. This report introduces TyCO by example, rather than explaining the language first and giving examples second.
    Full-text · Article · Aug 2002
  • [Show abstract] [Hide abstract]
    ABSTRACT: We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as definition instantiations. We then apply linear channel information to optimize code generation for a multithreaded runtime system. The impact in terms of speed and space is analyzed.
    No preview · Article · Feb 2003
Show more