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

Source: CiteSeer


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


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.
    Electronic Notes in Theoretical Computer Science 01/2002; 75:41-60. DOI:10.1016/S1571-0661(04)80778-3
  • 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.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We describe a reference implementation of a multi-threaded run-time system for a core programming language based on a process calculus. The core language features processes running in parallel and communicating through asynchronous messages as the fundamental ab- stractions. The programming style is fully declarative, focusing on the interaction patterns between processes. The parallelism, implicit in the syntax of the programs, is eectively extracted by the language compiler and explored by the run-time system.
    Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings; 01/2003
Show more