Abstract
The notion of a general block structured programming language and the “most recent” evaluation strategy for such a language are formalized and their relationship investigated. Sufficient conditions for “most recent” correctness are obtained.
- 1 Berry, D., "Block structure: retention or deletion?", Third ACM Symposium on Theory of Computing, 1971. Google ScholarDigital Library
- 2 Church, A., The calculi of lambda-conversion, Princeton, 1941. Google ScholarDigital Library
- 3 Dijkstra, E., "recursive programming", in Programming systems and languages, S. Rosen, McGraw-Hill, New York, 1967.Google Scholar
- 4 Henhapl, W., and Jones, G., The block concept and some possible implementations, with proofs of equivalence, IBM Laboratory Vienna, TR 25. 104,1970.Google Scholar
- 5 IBM System/360 Operating System PL/I(F) Language Reference Manual, 1969.Google Scholar
- 6 Johnston, J., "The contour model of block structured processes", ACM Symposium on Data Structures in Programming Languages, 1971.Google ScholarDigital Library
- 7 Lucas, P., and Walk, K., "On the formal description of PL/I", Annual Review in Automatic Programming 6, part 3, 105-182, 1969.Google ScholarCross Ref
- 8 Naur, P., et al., "Revised report on the algorithmic language ALGOL 60", Communications of the ACM 6, no. 1, 1963. Google ScholarDigital Library
- 9 Wegner, P., Programming languages, information structures and machine organization, McGraw-Hill, New York, 1968. Google ScholarDigital Library
- 10 Wegner, P., "Three computer cultures-computer technology, computer mathematics and computer science", Advances in Computers 10, 7-78,1970.Google ScholarCross Ref
Index Terms
- The “most recent” error: Its causes and correction
Recommendations
The “most recent” error: Its causes and correction
Proceedings of ACM conference on Proving assertions about programsThe notion of a general block structured programming language and the “most recent” evaluation strategy for such a language are formalized and their relationship investigated. Sufficient conditions for “most recent” correctness are obtained.
The “most recent” error: Its causes and correction
Proceedings of ACM conference on Proving assertions about programsThe notion of a general block structured programming language and the “most recent” evaluation strategy for such a language are formalized and their relationship investigated. Sufficient conditions for “most recent” correctness are obtained.
A report of recent progress in transformation-based error-driven learning
HLT '94: Proceedings of the workshop on Human Language TechnologyMost recent research in trainable part of speech taggers has explored stochastic tagging. While these taggers obtain high accuracy, linguistic information is captured indirectly, typically in tens of thousands of lexical and contextual probabilities. In ...
Comments