5904 search results - page 845 / 1181 » Requirements for a Composition Language |
158
click to vote
SCAM
2006
IEEE
16 years 23 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
236
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
160
click to vote
APLAS
2006
ACM
16 years 22 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
154
click to vote
MOMM
2006
ACM
16 years 22 days ago
2006
ACM
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
166
Voted
SAC
2006
ACM
16 years 21 days ago
2006
ACM
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...