1061 search results - page 170 / 213 » A general definition of malware |
194
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
171
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
208
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
210
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
203
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...