3307 search results - page 507 / 662 » The meaning of concurrent programs |
206
Voted
ASE
2007
15 years 7 months ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
224
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Visualization of sequence annotation is a common feature in many bioinformatics tools. For many applications it is desirable to restrict the display of such annotation...
210
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
189
click to vote
ENTCS
2006
15 years 7 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
238
click to vote
ENTCS
2002
15 years 6 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...