Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40995
Title: Formal verification of concurrent and distributed constraint-based java programs
Authors: Ramirez, R.
Santosa, A.E. 
Issue Date: 2005
Source: Ramirez, R.,Santosa, A.E. (2005). Formal verification of concurrent and distributed constraint-based java programs. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 76-84. ScholarBank@NUS Repository.
Abstract: The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. This paper describes (1) a powerful mechanism for elegantly synchronizing concurrent and distributed computations which supports a declarative model of concurrency that avoids explicitly suspending and resuming computations, (2) its implementation (for both uniprocessors and distributed systems) as an extension to the Java programming language, and (3) how model-based verification methods can be directly applied to programs in the resulting language. © 2005 IEEE.
Source Title: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
URI: http://scholarbank.nus.edu.sg/handle/10635/40995
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

56
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.