SyncGen: An aspect-oriented framework for synchronization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2988, Issue , 2004, Pages 158-162

  Deng, Xianghua ^a   Dwyer, Matthew ^a   Hatcliff, John ^a   Mizuno, Masaaki ^a  

^a Department of Computing and Information Sciences ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); COMPLEX NETWORKS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; CONTROL SYSTEM SYNTHESIS; FORMAL LOGIC; HIGH LEVEL LANGUAGES; MESSAGE PASSING; SPECIFICATIONS; TELECOMMUNICATION NETWORKS; TRANSLATION (LANGUAGES);

ASPECT-ORIENTED FRAMEWORKS; CONTROLLER AREA NETWORK; HIGH LEVEL SPECIFICATION; KANSAS STATE UNIVERSITY; LANGUAGE INDEPENDENTS; REAL-WORLD PROBLEM; SPECIFICATION PATTERNS; SYNTHESIZING COMPLEX;

SYNCHRONIZATION;

EID: 35048843305     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24730-2_13     Document Type: Article

References (6)

1. G. R. Andrews. Concurrent Programming: Principles and Practice. Addison-Wesley, 1991.
2. G. R. Andrews. Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, 2000.
3. X. Deng, M. Dwyer, J. Hatcliff, and M. Mizuno. Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. In ICSE, 2002.
4. S. Hartley. Concurrent Programming - The Java Programming Language. Oxford University Press, 1998.
5. M. Mizuno. A structured approach for developing concurrent programs in Java. Information Processing Letters, 69(5):233-238, Mar. 1999.
6. X.Deng, M. Dwyer, J. Hatcliff, and M. Mizuno. SyncGen. |http://syncgen.projects.cis.ksu.edu|, 2002.