5415 search results - page 729 / 1083 » The Implementation of Functional Programming Languages |
174
click to vote
ECOOP
2007
Springer
16 years 29 days ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
165
click to vote
EMSOFT
2007
Springer
16 years 28 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
184
click to vote
LADS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
167
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
168
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...