4743 search results - page 228 / 949 » The PlusCal Algorithm Language |
PLDI
1998
ACM
15 years 7 months ago
1998
ACM
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
120
Voted
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
145
click to vote
PLDI
1993
ACM
15 years 7 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
135
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
119
click to vote
CICLING
2004
Springer
15 years 7 months ago
2004
Springer
The compound nouns are freely composed in Korean, since it is possible to concatenate independent nouns without a postposition. Therefore, the systems that handle compound nouns su...