4880 search results - page 187 / 976 » Manuals as Structured Programs |
247
click to vote
Book
"This is a textbook for a first computer science course for students majoring in computer science, as well as mathematics and the physical and social sciences"
133
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
124
Voted
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
125
Voted
ISCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.