Formal Semantics for Lips

ISBN-13: 9783846591093 / Angielski / Miękka / 2011 / 148 str.

Amala Rajan

Opis

LIPS Abstract Machine (LAM) is a very simple and easy to understand abstract machine. Will surely recommend this to the industry! - Balamurugan Shanmugam, QA Team Head The thesis is simple to read and easy to understand. The Structural Operational Semantics (SOS) to describe the asynchronous message passing of LIPS reads so simple and can be learnt svery quickly. I feel this is an excellent work for researchers who would like to work on asynchronous communicating systems - Jasmine Santiago, Software Consultant, Caterpillar Inc, USA The author provides formal semantics for Language for Implementing Parallel/distributed Systems (LIPS), which is a well known point-to-point asynchronous message passing language that combines dataflow computing techniques with the use of guarded processes, and with advantages such as being simple, portable, handling communication efficiently as well as avoiding deadlock and livelock problems. Furthermore, by implementing Asynchronous Message Passing System (AMPS) in the LIPS compiler, the author manages to avoid the use of buffers for asynchronous communication - Dr. Ever, Lecturer in the School of Engg. and Information Sciences, Middlesex University,UK

O autorze

Dr. Amala Rajan has been working in the academic and research industry for the past 21 years. She served in various institutions in the UAE, United Kingdom, Malaysia, and India. Dr. Rajan is an active researcher and carried out many major funded research projects and published in reputed journals in formal semantics, software engineering etc.