2000 search results - page 312 / 400 » Program Transformation and Proof Transformation |
141
Voted
ACMSE
2005
ACM
15 years 5 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
138
Voted
AI
2007
Springer
15 years 3 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
117
click to vote
TCC
2007
Springer
15 years 9 months ago
2007
Springer
An obfuscator is a compiler that transforms any program (which we will view in this work as a boolean circuit) into an obfuscated program (also a circuit) that has the same input-...
126
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
184
Voted
POPL
1994
ACM
15 years 7 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...