144 search results - page 12 / 29 » How Expressions Can Code for Automata |
117
Voted
SP
2008
IEEE
15 years 8 days ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
170
click to vote
POPL
2002
ACM
16 years 21 days ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
WCRE
2003
IEEE
15 years 5 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
100
Voted
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
131
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...