3796 search results - page 528 / 760 » Presentations by Programmers for Programmers |
118
click to vote
DLS
2007
15 years 6 months ago
2007
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
151
Voted
HASKELL
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
126
Voted
ICECCS
2007
IEEE
15 years 6 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
95
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Signature-matching Intrusion Detection Systems can experience significant decreases in performance when the load on the IDS-host increases. We propose a solution that off-loads so...
131
Voted
ALGOSENSORS
2006
Springer
15 years 6 months ago
2006
Springer
Programming Wireless Networks of Embedded Systems (WNES) is notoriously difficult and tedious. To simplify WNES programming, we propose Declarative Resource Naming (DRN) to progra...