2000 search results - page 152 / 400 » Program Transformation and Proof Transformation |
125
Voted
ICMLA
2010
15 years 1 months ago
2010
Abstract--We study how to effectively integrate reinforcement learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic...
139
Voted
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
144
Voted
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
129
Voted
IEEEPACT
1999
IEEE
15 years 8 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
170
Voted
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...