113 search results - page 18 / 23 » Logical Forms in the Core Language Engine |
128
click to vote
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
142
click to vote
IJISMD
2010
15 years 18 days ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
119
Voted
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
114
click to vote
SSD
2005
Springer
15 years 8 months ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...
128
Voted
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...