24 pages matching evaluated in this book
Results 1-3 of 24
What people are saying - Write a review
We haven't found any reviews in the usual places.
activation record ALGOL 60 algorithm allows alternative arithmetic array assert assignment basic begin binary bit pattern block instance bytes catenation character compiler condition constant coroutine corresponding declared defined definition denotes described in Section digits E. W. Dijkstra element end loop entry equivalent evaluated example execution Exercise Figure finite automaton flowchart formal FOrtran function goto program grammar handler handling hardware implementation initial instruction integer iteration left-recursive machine main program means mechanism memory method notation null one's complement operations package parallel parameters Pascal pass-by-reference PL/I postcondition problem procedure process_1 programming languages proof rule queue range recursive call reference regular expression regular languages represented result run-time Schema self-embedding simple SimuLa 67 simulation specification stack statement sequence static string structure subprograms subroutine suspend symbol task technique terminate tion two's complement variable wait