4835 search results - page 526 / 967 » Refactoring Functional Programs |
212
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
179
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
200
click to vote
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
194
click to vote
LFP
1992
15 years 8 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
177
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...