3595 search results - page 198 / 719 » Roles of Program Extension |
150
Voted
ENTCS
2007
15 years 5 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
154
Voted
ENTCS
2002
15 years 4 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...
147
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
149
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
136
click to vote
CBMS
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the heterogeneity of healthcare software systems, data from each system is often incompatible inhibiting interoperability. To enable the sharing and exchange of healthcare i...