OC(ID:1104/oc:001)

Parallel logic language 

for "Oh see!"

Parallel logic language.


People:
Related languages
OC => DOC   Evolution of
References:
  • Hirata, Masahiro "Self-Description of Oc and its Applications", Proc 2nd Natl Conf Japan Soc Soft Sci Tech, pp.153-156 (1984). view details
  • Hirata, Masahiro "Plan of Verification System based on Parallel Programming Language Oc" view details Abstract: We are planning a new verification system of parallel programs. It is based on the equivalence transformation. In the system, specifications and programs are written in the language Oc. In this paper, we explain the basic concept of our system. That is dual aspect of Oc. One is as a specification language and the other is as a programming language.

          in IPSJ SIGNotes Programming Language No.009 - 008 view details
  • Hirata, Masahiro "Parallel List Processing Language Oc and Its Self-Description" pp41-64 view details
          in Computer Software 4(3) 1987 view details
  • Shapiro, E., "The Family of Concurrent Logic Programming Languages", ACMComp Surveys, 21(3):413-510 (Sep 1989). view details
          in Computer Software 4(3) 1987 view details