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

0 Bookmarks
 · 
45 Views
  • 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.
    08/2002;
  • 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
  • Source
    [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.
    Electr. Notes Theor. Comput. Sci. 01/2002; 75:41-60.

Full-text (3 Sources)

View
0 Downloads
Available from
Sep 11, 2014