Process annotations and process types
نویسندگان
چکیده
In a concurrent functional language processes are functions that are executed concurrently. Using special annotations based on lazy copying arbitrary dependencies between these functions can be used to specify arbitrary networks of processes. The communication and synchronization between the processes is realized using the lazy evaluation principle without any additional communication primitves. Communication takes place when a process demands a value that is being calculated by another process. A type system is proposed that enables the programmer to specify higher order functions as process skeletons for frequently occurring process structures.
منابع مشابه
The Effects of Multimedia Annotations on Iranian EFL Learners’ L2 Vocabulary Learning
In our modern technological world, Computer-Assisted Language learning (CALL) is a new realm towards learning a language in general, and learning L2 vocabulary in particular. It is assumed that the use of multimedia annotations promotes language learners’ vocabulary acquisition. Therefore, this study set out to investigate the effects of different multimedia annotations (still picture annotatio...
متن کاملAutomating and Validating Program Annotations
Program annotations help to catch errors, improve program understanding, and specify invariants. Adding annotations, however, is often a manual, laborious, tedious, and error prone process especially when programs are large. We offer a novel approach for automating a part of this process. Developers first specify an initial set of annotations for a few variables and types. Our LEearning ANnnota...
متن کاملThematic Organization in MA TEFL Students' Argumentative, Cause and Effect, and Process Types of Writing
It is generally recognized that many second language learners have difficulties with cohesion in academic texts. Writing seems to be the most difficult subject for many students. To produce good writing, it is necessary to know how to organize Theme and Rheme in a text. Thematic structure as an important feature in textual metafunction plays a significant role in promoting the textual coherenc...
متن کاملModern wound dressings and their application
Introdution: Wound healing is a complex and dynamic process, which requires to be prepared a suitable environment to promote healing process. Wound dressing is one of the most important external factors affecting the wound healing process. With the advancement in technology, more than 1000 types of modern wound dressings have been developed. Wound dressings are either based on natural materials...
متن کاملEFL Learners' Sensitivity to Linguistic and Discourse Factors in the Process of Anaphoric Resolution
The readers' ability to integrate current information with given information has been considered as an important component of reading comprehension process. One aspect of this integration process involves anaphoric resolution. The purpose of this study is to investigate the process of anaphoric resolution, focusing on inferential rigidity of different types of anaphoric ties. Ninety EFL learner...
متن کامل