Select this to skip to main content [CSUSB] >> [CNS] >> [Comp Sci Dept] >> [R J Botting] >> [CSci620] >> 19 [Source]
[Index] [Schedule] [Syllabi] [Text] [Labs] [Projects] [Resources] [Search] [Grading]
Notes: [01] [02] [03] [04] [05] [06] [07] [08] [09] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
Thu May 27 14:19:46 PDT 2004

Contents


    CSci620 Programing Languages -- 19 -- Presentations

      Previous

      [ 18.html ]

      Preparation

      [ projects.html ]

      Topics -- Java

        Li-Chuan Fang <lichuan_fang@yahoo.com>. "A Comparison of VBSCRIPT, JAVASCRIPT, and JSCRIPT." focus on JAVASCRIPT.

        Tai-jung Lin <tlin410@yahoo.com> "Enumerated Types in Java" Paul A. Cairns 1999

        Chuan-Ting Chou < citychou@yahoo.com> "Axiomatic Semantics for Javalight" by David von Oheimb.

        Hau Yu <foolishyu@hotmail.com> "Concurrency of Java" Bruce Eckel [ TIJ3.htm ]

        TzuHsiao Yin [mailto:fufu@cm1.ethome.net.tw] "Traps in Java" Journal of Systems and Software, Volume 72, Issue 1, June 2004, Pages 33-47 Jien-Tsai Chan , Wuu Yang and Jing-Wei Huang

        Ching-ting Huang <huangc@csusb.edu> "Specifying Multithreaded Java Semantics for Program Verification" Abhik Roychoudhury and Tulika Mitra. [ http://citeseer.nj.nec.com/cs/ ]

      . . . . . . . . . ( end of section Topics -- Java) <<Contents | Index>>

      Next

      More presentations: [ 20.html ]

      Laboratory

      A chance to program in Prolog [ lab19.html ]

    . . . . . . . . . ( end of section CSci620 Programing Languages -- 19 -- Presentations) <<Contents | Index>>

    Glossary

  1. BNF::="Backus-Naur Form", for syntax and grammar, developed by Backus and Naur.
  2. EBNF::="Extended " BNF.
  3. HTML::= "HyperText Markup Language", used on the WWW.
  4. HTML_page::syntax= "<HTML>" head body.
  5. Java::="An " OO " Language from Sun".
  6. LISP::= "LISt Processing Language".
  7. LRM::="Language Reference Manual".
  8. OO::="Object-Oriented".
  9. Prolog::="Programming in Logic".
  10. TBA::="To Be Announced".
  11. UML::="Unified Modeling Language".
  12. URL::=Universal_Resource_Locator,
  13. Universal_Resource_Locator::syntax= protocol ":" location, where
    Net
    1. protocol::= "http" | "ftp" | "mailto" | ... ,
    2. location::= O( "//" host) O(pathname).

    (End of Net)
  14. WWW::= See http://www.csci.csusb.edu/dick/cs620/, index to web site for this class.
  15. XBNF::="eXtreme" BNF, developed by the teacher from EBNF, designed to ASCII input of syntax, semantics, and other formal specifications.


Formulae and Definitions in Alphabetical Order