2 search results - page 1 / 1 » Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k... |
CC
1994
Springer
13 years 9 months ago
1994
Springer
ICSE
1993
IEEE-ACM
13 years 8 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...