Logical programming for the telegram analysis problem

Computer Languages - Tập 12 - Trang 9-20 - 1987
Koji Torii1, Yuji Sugiyama1, Mamoru Fujii2, Tadao Kasami1, Yoshitomi Morisawa3
1Faculty of Engineering Science, Osaka University, 1-1, Machikaneyama-cho, Toyonaka-shi, Osaka-fu 560, Japan
2Computation Center, Osaka University, 5-1, Mihogaoka, Ibaraki-shi, Osaka-fu 567, Japan
3Nippon UNIVAC Kaisha Ltd, 17-51, Akasaka 2-chome, Minato-ku, Tokyo 107, Japan

Tài liệu tham khảo

Henderson, 1972, An experiment in structured programming, BIT, 12, 38, 10.1007/BF01932672 Jackson, 1975 Jones, 1980, Software Development: A Rigorous Approach, 325 Ledgard, 1973, The case for structured programming, BIT, 12, 45 Mckeag, 1980, An experiment in parallel program design, Software Pract. Exper., 10, 687, 10.1002/spe.4380100902 Noonan, 1975, Structured programming and formal specification, IEEE Trans. Softw. Engng, SE-1, 421, 10.1109/TSE.1975.6312875 Pereira, 1978 Pereira, 1980, Definite clause grammars for language analysis, Artif. Intell., 13, 231, 10.1016/0004-3702(80)90003-X Torii, 1984, A functional programming and logical programming for the telegram analysis problem, 463 Knuth, 1968, Semantics of context-free languages, Math. Syst. Theory, 2, 127, 10.1007/BF01692511
Thông tin
Thông tin xuất bản

Computer Languages

Tập 12

9-20

Thông tin tác giả