8109 search results - page 287 / 1622 » A Model of Component-Based Programming |
163
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
204
click to vote
PADL
2004
Springer
16 years 5 hour ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
172
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
149
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a language-independent and specificationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
154
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...