741 search results - page 1 / 149 » Steps towards C C: A Language for Interactions |
CONCURRENCY
2010
13 years 5 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
ENTCS
2002
13 years 5 months ago
2002
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
SPAA
2009
ACM
14 years 5 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
UML is gaining increased attention as a system design language, as indicated by current standardization activities such as the SysML initiative and the UML for SoC Forum. Moreover...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM