4211 search results - page 506 / 843 » Types as Abstract Interpretations |
219
click to vote
AUSAI
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
219
Voted
BIRTHDAY
2003
Springer
16 years 20 days ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
235
Voted
EWSPT
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
217
Voted
TPHOL
2002
IEEE
16 years 10 days ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
199
click to vote
ICALP
2010
Springer
16 years 7 days ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...