Optimizing Abstract Abstract Machines

The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently going from a naive analyzer derived under the AAM approach, to an efficient and correct implementation. The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally less precise results.Comment: Proceedings of the International Conference on Functional Programming 2013 (ICFP 2013). Boston, Massachusetts. September, 201

POLITENESS STRATEGY OF DIRECTIVE SPEECH ACTS IN BETAWINESE SHORT- STORIES SEBELAS COLEN DI MALAM LEBARAN : SETANGKLE CERITA BETAWI

Directive speech acts intent to make other people to do something. The speaker tries to get another person to take action. Keith Allan (1986) puts directive speech acts into six categories; requestives, questions, reqirements, prohibitive, permissive and advisories. This study attempts to seek directive speech acts in the compilation of Betawinese short stories Sebelas Colen di Malam Lebaran: Setangkle Cerita Betawi written by Chairil Gibran Ramadhan, and classifies them based on the six types of directive speech acts proposed by Allan (1986). Since directive speech acts show the relationship between the speaker and the hearer, it is of interest to reveal the politeness strategy as it is used to show awareness of another person’s face related to social distance or closeness. This study is expected to provide findings of how Betawinese as potrayed in the characters of short stories Sebelas Colen di Malam Lebaran: Setangkle Cerite Betawi choose the politeness strategy to deliver their directive speech acts. Four strategies of politeness proposed by Brown and Levinson (1987) will be used in this study. Qualitative method will be applied to determine the type of directive speech acts and the type of politeness strategy

Towards high-level execution primitives for and-parallelism: preliminary results

Most implementations of parallel logic programming rely on complex low-level machinery which is arguably difflcult to implement and modify. We explore an alternative approach aimed at taming that complexity by raising core parts of the implementation to the source language level for the particular case of and-parallelism. Therefore, we handle a signiflcant portion of the parallel implementation mechanism at the Prolog level with the help of a comparatively small number of concurrency-related primitives which take care of lower-level tasks such as locking, thread management, stack set management, etc. The approach does not eliminate altogether modiflcations to the abstract machine, but it does greatly simplify them and it also facilitates experimenting with different alternatives. We show how this approach allows implementing both restricted and unrestricted (i.e., non fork-join) parallelism. Preliminary experiments show that the amount of performance sacriflced is reasonable, although granularity control is required in some cases. Also, we observe that the availability of unrestricted parallelism contributes to better observed speedups

INTRODUCING JAVANESE WEBLOGS ENHANCES PARTICIPATION TOWARDS JAVANESE DISCOURSE

Weblogs have powerful effects on the society, millions of people read blogs daily. English is the main language used, but indigenous languages including Javanese are also used to blog. Javanese blogs need to be introduced especially to young generations to maintain the existence of this old language as they tend not to use it in school and at home. The method used in this study is descriptive, the data are mainly taken from internet. By visiting the suggested blogs, readers will realize that Javanese still exists and needs to be maintained by participating themselves in any of these Javanese blogs