Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Gary T. Leavens, Professor, EECS, University of Central Florida OVERVIEW OF RESEARCH AND TEACHING Research on the semantics and design of object-oriented programming languages, such as MultiJava (see http://www.MultiJava.org/). and formal methods, including the design and semantics of the behavioral interface specification language JML (see http://www.jmlspecs.org/). Teaching the design and semantic aspects of programming languages, object-oriented analysis and design, and (sometimes) introductory programming and data structures. CONTACT INFORMATION e-mail: leavens@eecs.ucf.edu also gleavens@mail.ucf.edu, leavensg@acm.org, leavens@ieee.org USMail: University of Central Florida School of EECS - Bldg. 116, University of Central Florida 4000 Central Florida Blvd., Orlando, FL 32816-2362 USA phone: +1-407-823-4758 fax: +1-407-823-5419 URL: http://www.eecs.ucf.edu/~leavens/index.html SCHEDULE "Summer" schedule starting January 7, 2008 all times in the eastern time zone (USA): module schedule. % this is a lambda Prolog module accumulate day, time. type at day -> time -> time -> string -> string -> o. % first time is start at f (am 11 00) (am 11 50) "Neeraj Khanolkar" "210 HEC (Bldg. 116)". at t (am 11 00) (am 11 50) "Faraz Hussain" "210 HEC (Bldg. 116)". at t (pm 3 30) (pm 4 20) "Ghaith Haddad" "210 HEC (Bldg. 116)". at r (am 11 00) (am 11 50) "Steve Shaner" "210 HEC (Bldg. 116)". at r (pm 1 30) (pm 2 20) "Kristina Boysen" "210 HEC (Bldg. 116)". at m Start End What Where :- at m_w_f Start End What Where ; at m_w Start End What Where ; at m___f Start End What Where. at t Start End What Where :- at t_r Start End What Where. at w Start End What Where :- at m_w_f Start End What Where ; at m_w Start End What Where. at r Start End What Where :- at t_r Start End What Where. at f Start End What Where :- at m_w_f Start End What Where ; at m___f Start End What Where. Last updated: $Date: 2008/07/18 21:00:55 $ (and for those for whom this scrolled by too fast...) Gary T. Leavens, Professor, EECS, University of Central Florida