3736 search results - page 399 / 748 » Hand-Writing Program Generator Generators |
175
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
214
click to vote
FIDJI
2003
Springer
16 years 21 hour ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
215
click to vote
SCP
1998
15 years 6 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
273
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
244
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...