This paper presents KOOL, a concurrent, dynamic, objectoriented language defined in rewriting logic. KOOL has been designed as an experimental language, with a focus on making the language easy to extend. This is done by taking advantage of the flexibility provided by rewriting logic, which allows for the rapid prototyping of new language features. An example of this process is illustrated by s...

Value We used the following juices, listed in roughly decreasing order of preference (associated colors in parenthesis): high-sugar lemon Kool-Aid (dark yellow), grape juice (bright green), fruit punch (magenta), apple juice (diluted to 1/2 with water, dark green), cranberry juice (diluted to 1/3 or 1/4 with water, pink), water (white), milk (red), peppermint tea (bright blue), tea (light brown...

This paper documents KOOL, a dynamic, object-oriented language designed using the K framework. The KOOL language includes many features available in mainstream object-oriented languages, including such features as runtime type inspection and exceptions. Since the language is currently changing, this should be seen as a snapshot of the language at this point in time.

Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different designs for the same language feature can cause drastic differences in analysis performance. This paper describes some of these design decisions in the context of KOOL, a concurrent, dynamic, object-oriented language. Also de...

A new modular approach to the design and discovery of fluorophores and sensors built on a DNA backbone is described. Fluorescent designer nucleosides are synthesized into short oligomers; their close interactions results in highly efficient reporters with properties not seen in standard fluorophores. Applications in sensing of molecules, ions, and enzymes in water and in the vapor phase are des...

based on the historical data, marhashi has been one of the eventful regions of iran during the second and third millennium b. c. it has been also one of the important confederates of ancient elam during the most of its life time. the mesopotamia texts cited to its name beside the name of ancient elam. the goal of this research is to determine the position of marhashi region through study and ex...

This paper introduces a framework for the rapid prototyping of object oriented programming languages. This framework is based on specifying the semantics of a language using term rewriting and a continuation-based representation of control. The notation used, called K, has been developed specifically for programming languages to overcome limitations in more general rewriting notation, and provi...