# Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.

1 Page

### cover

Course: CS 200504, Fall 2009
School: Cal Poly Pomona
Rating:

#### Document Preview

Programming Language Semantics &lt;a href=&quot;/keyword/computer-science/&quot; &gt;computer science&lt;/a&gt; 541 Fall 2005 Lecture Notes Craig A. Rich California State Polytechnic University, Pomona

Register Now

#### Unformatted Document Excerpt

Coursehero >> California >> Cal Poly Pomona >> CS 200504

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Programming Language Semantics <a href="/keyword/computer-science/" >computer science</a> 541 Fall 2005 Lecture Notes Craig A. Rich California State Polytechnic University, Pomona
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Cal Poly Pomona - PHY - 235
Experiment 1 Electron Diraction and the Frank-Hertz Experiment In this laboratory session we will examine two dierent types of experiments pertaining to quantum mechanical properties of electrons: electron diraction and the Frank-Hertz experiment. Th
Cal Poly Pomona - PHY - 132
Phy132 First Homework Assignment Due Monday April 6 Figures for the questions can be found the the last page of the assignment Question 1. Determine the absolute pressure at the bottom of a lake, which is 100 meters deep. Express your answer in units
Cal Poly Pomona - PHY - 132
Third Problem Set Phy132 Due Monday February 2 (Ground Hog Day) Problem 1. The amplitude of a spring moving in simple harmonic motion is doubled. Determine the change in its: a) Total energy b) Maximum speed c) Maximum acceleration d) Period Problem
Cal Poly Pomona - PHY - 402
tv it 5#3VSUiyxisqpigeca W 94 T Y # I v r h fdb v % 6 T W T Y i3iV&amp;) 5#3VUSUiyxdsqpigeca W 94 T # I v z r h fdb v e m db } h p p } m h y { z e y w m p v db iweessqpH~sigqyg|sgixt)qswwutsr d k d k p p m n m d k j d i h r h f
Cal Poly Pomona - PHY - 401
tv h wdpd hx dd h p iimfWHffxxifi ei fpdx e re p g x g r h g ed e p dp ie v v r h g ed c s p x c v r h ged jfxWGWHGihpi4fisijWWpi4mt14Wwt&amp;sqpiWf`c vi p dp e H1qrmp piqgmf4jihdWHi8iWCpi4fksqizdzdivssqpi4m`14xwisqpiWf`c h dd e e x g h
Cal Poly Pomona - PHY - 401
su qcx iicb g l e i e qc i jv i q ix TvfHvfdh&amp;1hffQvpcdrh}5md g i m cb i e j xb i j e j n i j v xb i q c u Y ! W 4 s i x a u q g e cb hhfdvhfQhpidffHf1piforpvfff}`vV&amp;) &amp;5#y9 3Vv @vf3}rpihfdXa u c e g xi q x j i c c e x q c ix gi g x i
Cal Poly Pomona - PHY - 132
Cal Poly Pomona - PHY - 401
University of Illinois, Urbana Champaign - CS - 498
Security TunnelingCyber Security Spring 2006Reading Material IPSec and SSL are covered in Bishop's Computer Security Art and Science RFC's ultimate source for both IPSec overview http:/www.alliancedatacom.com/IPsecoverview.asp SSL/TLS overvie
University of Illinois, Urbana Champaign - CS - 461
Access Control in PracticeCS461/ECE422 Fall 20081Reading Computer Security Chapter 152Outline Evolution of OS Object Access Control Access control lists Capabilities3In the Beginning. The program owned the machine Access all powe
Cal Poly Pomona - CIS - 101
Using SimNet in CIS 101 (S08) Student InstructionsFirst Time Setup (One Time ONLY)1. To install SimNet software: a. Insert the CD-ROM and follow the installation wizard. b. When prompted for the schools SimNet home page, enter csupomona.simnetente
Cal Poly Pomona - CIS - 406
Preiser-Houy et al.The Adoption and Integration of Web Technologies in K-6 EducationThe Adoption and Integration of Web Technologies in K-6 EducationLara Preiser-Houy Cal Poly University, Pomona lpreiser@csupomona.edu Carlos J. Navarrete Cal Pol
Cal Poly Pomona - GBA - 673
Towards a Knowledge Management Ecology in a Deregulated Electric Utility EnvironmentRobert Thomas, Southern California Edison Lara Preiser-Houy, Cal Poly Pomona UniversityISOneWorld 2005 April 1st, 2005 Las Vegas, Nevada2Presentation AgendaI
Cal Poly Pomona - GBA - 673
GBA673 Information Systems SeminarDr. PreiserDiscussion Questions for VeriFone Case1. 2.Analyze VeriFones business strategy and competitive environment. What are the key attributes of the VeriFone organizational structure? Are they sustainable
Cal Poly Pomona - GBA - 673
GBA673InformationSystemsSeminarDr.Preiser DiscussionQuestionsfor INTERNETSECURITIES,INC.: BUILDINGANORGANIZATIONIN INTERNETTIME1. EvaluatetheISIbusinessmodel.Howdothefoundersandinvestors hopetomakemoneyinthefuture? Howsuccessfuldoyouexpectthe firm
Cal Poly Pomona - GBA - 673
GBA673InformationSystemsSeminarDr.Preiser DiscussionQuestionsforCase15SUBMARINO.COM: THE CHALLENGES OF B2C COMMERCE IN LATIN AMERIAN1. DescribeSubmarinosbusinessmodelandstrategy. 2. ComparethebusinessmodelsofSubmarinoandAmazon.com(inearly 2001).
Cal Poly Pomona - GBA - 673
GBA673InformationSystemsSeminarDr.Preiser DiscussionQuestionsforXEROX: OUTSOURCING GLOBAL INFORMATION TECHNOLOGY RESOURCES1. DiscussthecriticalfactorsoftheXeroxcorporateenvironmentthat shapedtheoutsourcingissues. 2. Identifykeycharacteristicsofth
Cal Poly Pomona - GBA - 673
Cal Poly Pomona - CIS - 305
NORMALIZATION EXERCISE KEY Dr. PreiserProblem domain: database should keep track of the building and auto owners. Assumption: Database should keep track of the ownership history for buildings, but not for autos Exercise: normalize each data structur
University of Illinois, Urbana Champaign - BAV - 207
UNIVERSITY INVESTMENT GROUPFebruary 21, 2003 FinancialsBLACKROCK INC.BuyDaily Closing PricesStock Data Price (52 weeks) Symbol/Exchange Beta Current market cap Fully diluted shares Average daily volume Book Value/Share\$33.55-\$47.60 BLK/NYSE
University of Illinois, Urbana Champaign - CHEM - 102
University of Illinois, Urbana Champaign - CHEM - 102
University of Illinois, Urbana Champaign - MATH - 0161
Hypercohomology Spectra and Thomason's Descent TheoremStephen A. Mitchell Revised October 1996Dedicated to the memory of Bob Thomason The celebrated Lichtenbaum-Quillen conjectures predict that for a sufficiently nice scheme and given prime , the
University of Illinois, Urbana Champaign - ACCY - 312
CHAPTER 9 CORPORATIONS: ORGANIZATION, CAPITAL STRUCTURE, AND OPERATING RULES SOLUTIONS TO PROBLEM MATERIALS Status: Present Edition Unchanged Unchanged Unchanged Modified Unchanged Unchanged Unchanged Unchanged Unchanged New Unchanged Unchanged Uncha
University of Illinois, Urbana Champaign - MATH - 221
Thursday, 2nd October, 2008Merit Workshop Warmup questions (10 minutes, max!) ln(a) + ln(b) vs. ln(a + b). 1. What is eln(ab) ? 2. What is eln(a)+ln(b) = eln(a) eln(b) ? 3. What is eln(a+b) ? 4. If ef (x) = eg(x) , then f (x) = g(x). Using this an
University of Illinois, Urbana Champaign - MATH - 220
Avoiding some common derivative mistakesMath 220 U1 - October 2, 2007 In each of the &quot;solutions&quot; to the following problems there's at least one mistake. Find the mistake and fix it by correctly solving the problem. 1. Find the derivative of f (x) =
University of Illinois, Urbana Champaign - MATH - 220
Logarithmic dierentiation and implicit dierentiationMath 220 U1 September 27, 2007Work the following problems together with your group and on your own. Do the BONUS questions after you have nished the other questionsthey are not required. This wo
University of Illinois, Urbana Champaign - MATH - 220
Here are some comments on the questions I graded on exam 1 and on a few recurring mistakes I noticed.Composition of functionsWhat is (f g h)(x)? f (x) = 1 , x+1 g(x) = x + ln x, h(x) = x2 - 1.You start with whatever is furthest to the right -
University of Illinois, Urbana Champaign - MATH - 231
Merit Worksheet #26, 3/31/08What you need to have memorizedStarting on the quiz this Friday, I'll expect you to have memorized the Maclaurin series for ex , sin x, and cos x, and the Taylor series about x = 1 for ln x. You should also know the inte
University of Illinois, Urbana Champaign - ECE - 313
ECE 413FALL 2005 November 15, 2005SOLUTION TO TEST II AND SOME STATISTICSProblem 1 The correct choices are: F, F, F, T, F, T, F, T, T, T. (ii) FX (b) has a jump at b = 1 of height 1 . 2 (iii) This is equal to 1 P (X (iv) This is equal to (vi)
University of Illinois, Urbana Champaign - ECE - 313
ECE/CS 313 Assigned: 8/28/02Problem Set # 1Fall 2002 Due: 9/4/02Calculus tune upAssigned reading: Review a calculus book! Also read Ross Chapter 1.11.4, Chapter 2.12.5. Noncredit exercises: Chapter 1, problems 1-5,7,9; Theoretical exercises 4,
University of Illinois, Urbana Champaign - ECE - 313
University of Illinois ECE 413: Problem Set 1Spring 2007 Due 1/24/07 at beginning of classCalculus tune upAssigned reading: Review a calculus book for help with this problem set. Read the following material to help you keep up with the lectures:
University of Illinois, Urbana Champaign - ECE - 313
ECE 413Solutions to Problem Set #1Spring 20071. Geometric series (a) Since x = 1, the equation to be proved is equivalent to the equation we get by multiplying both sides by (1 - x). So it is sufficient to prove that (1 - x)(1 + x + x2 + . . .
University of Illinois, Urbana Champaign - ECE - 313
ECE/CS 313: Probability with Engineering Applications Problem Set 1 SolutionsFall 20021. Geometric series (a) Since x = 1, the equation to be proved is equivalent to the equation we get by multiplying both sides by (1 - x). So it is sufficient to
University of Illinois, Urbana Champaign - ECE - 313
University Set #11: Problems and Solutions ECE 313 of Illinois Page 1 of 4 Fall 2001 Assigned: Wednesday, October 31, 2001 Due: Wednesday, November 7, 2001 Reading: Ross, Chapter 5 and Chapter 6 Noncredit Exercises: Ross, Chapter 5: Problems 15-38; C
University of Illinois, Urbana Champaign - ECE - 313
University of Illinois 1. (a) (c) (d) (g) (h) (i) (j) 2.(a)Problem Set #2: Solutions Page 1 of 4ECE 313 Summer 2003E, F, and G are events dened on a sample space Only E occurs: EFcGc. Note that the expression E means that E occurs without exclu
University of Illinois, Urbana Champaign - ECE - 313
University of Illinois1. (a) x P{X &gt; b} = 1 FX (b).Solutions to Second Hour Exam If FX (a) &lt; F X (b), then a &lt; b.ECE 313 Fall 2001(b)2.3.(a) If a &lt; b, then FX (a) &lt; F X (b). F X (u) = 1/2 for some u, &lt; u &lt; . The first two properties
University of Illinois, Urbana Champaign - CS - 173
CS173: Discrete Mathematical Structures Spring 2006 Homework #5 Due 02/19/061. For this problem, please log in to compass and answer the 5 true/false questions contained in Quiz 1. 2. Consider the four following functions: f (x) = ln e (ln e (x) , g
University of Illinois, Urbana Champaign - CS - 498
CS 498 Expressive Grammars for Natural Language Processing: Theory and applicationsLecture 24Julia Hockenmaier juliahmr@cs.uiuc.edu 3324 Siebel CenterFinal projects (term papers) Due date: Friday, Dec 7 (email me a PDF) Goal: - Give a literatu
University of Illinois, Urbana Champaign - CS - 418
More GPU Programming TricksWilliam Baker CS 418 Fall 2005Lecture Overview Less GLSL specific syntax than last time High level look at some useful algorithms A few cool effects you might want to try1Animation Last time it was briefly men
University of Illinois, Urbana Champaign - MATH - 241
Math 241 CD6, Fall 2008 - Merit Worksheet 8September 18, 2008 1. List 3 uses of the gradient discussed in this class. 2. Let f (x, y, z) = x2 + y 2 + z 2 . (a) Compute f (x).(b) Consider the surface f (0, 0, 1) x, y, z 1 = 0. What is this surfac
University of Illinois, Urbana Champaign - ESSAYS - 563
Phase Transitions in Relaxor FerroelectricsMatthew Delgado December 13, 2005Abstract This paper covers the properties of relaxor ferroelectrics and considers the transition from the paraelectric state to the relaxor state comparing experimental dat
University of Illinois, Urbana Champaign - ASTRO - 404
November 14, 2008 (Friday)Lecture 33Chap 13. Main-Sequence and Post-Main-Sequence Evolution For the sun, a 1-M star, Free-fall timescale 103-104 yr Kelvin-Helmholtz timescale 107 yr Nuclear timescale (H-burning) 1010 yr Stars spend most of their
University of Illinois, Urbana Champaign - ASTRO - 100
sr s h e pp g psp t u mps p sr tRxrg D%eqs%Rjt!%htgytD( xrXtFRX(e s h g n s r s g u p s gr p h h e ur h h hpe s g u x@g%&quot;trR%qp%pxpg ItrRp%F(w p u u g s g u u e hr sre u g sg up xtrh%qprtg33 qg%pqsItuRt'pIt@I%Xr r
University of Illinois, Urbana Champaign - ASTRO - 404
Astronomy 404: Stellar AstrophysicsFall 2008MWF 1-1:50pm, 134 Astronomy Bldg. http:/www.astro.uiuc.edu/chu/astro404 Course Description: Introduction to astrophysical problems, with emphasis on underlying physical principles; includes the nature of
University of Illinois, Urbana Champaign - ASTRO - 306
vzxgyuvsjekihuksp~ dshsv(yphxpq9f ypxw }yup 7vspvh yuzihsps ihp qushh (p p p h p g u g w v~ r g ) p h g h p r igh w xg sp(fyusvgh i9 Hsw \$sXpv v g qcyih Spu quk h qpqgihhsy yh xvqgShp c7pmg gHhtqu ihz qu hSuyuyp)iv uv
University of Illinois, Urbana Champaign - ASTRO - 404
November 12, 2008 (Wednesday)Lecture 32Chap 12. Pre-Main-Sequence Evolution Kelvin-Helmholtz timescale 1/2 |U| tKH = - ~ 107 yr for 1 solar mass star L tff = [3 / (32 G 0 )]1/2 ~ 5000 yr for 0 = 2 10-13 kg m-3 tKH &gt; tff ; protostars evolve much
University of Illinois, Urbana Champaign - ASTRO - 100
wCF 9C 2 6 V8F G 2G VC u 2G rCF 9C C2 C6 4G6C h BC4 R CF 9C C2 VG64FC h2 C t x cTATqT5Cy@S8@T|pcqVEv%cpcETAE77AWI7TvDEWG q2TEqT7c7WUTv7%) w 9 R4G RF C P 9G 9 R4G R 9 R 4 9C P 9C hC C6 4G6C h BC4 X a P 2 GF R CF 9C C2 VG64FC 2 C t4 4G t cq8WfS4EU
University of Illinois, Urbana Champaign - ASTRO - 306
u mx ax xnmwx &quot;&amp; m0 mm 4mm}mm% } s { sss { s } u r r } ts } r t y } } } } } } rys { s mu mP mds zsmmm%)%mmzuBr 1z0&amp;&quot;Br o z f u r} } } r t y } rs s } t m }4 Bmmhs u m 4mD)z 5 u nm4sr dms 4 zsBm
University of Illinois, Urbana Champaign - ASTRO - 306
te fe h o r w r h rt h e i h e r w h t hn o qrkprggg!g(ng(kyfnvHstqpqihpsegx q}Hrgqnwnurq{)uw( i h e r r r w e ne rgqnswigqshpg(kshsnu}rqhygui(hhyt urgqnwinu}7frftsrfq(hnu(hruhwfprgh i h e r w e w r p r t r w f e w r t te gg7 ht r
University of Illinois, Urbana Champaign - ASTRO - 405
Mars and the Earth share many similar orbital characteristics, e.g., at the closest approachto the Sun during the summer months in the southern hemispheres, spin axis tilt 25 , etc. (a) Estimate the ratio of the average temperatures on Mars when it
University of Illinois, Urbana Champaign - ASTRO - 405
1Interstellar Medium What is Diuse Matter?The interstellar medium (ISM) is diuse matter, which has much lower densities than dense matter. The densities of the diuse matter, or the ISM, are so low that collisions among particles are infrequent an
University of Illinois, Urbana Champaign - ASTRO - 306
p i i x h u y w u x { t vvqx)pyf5vq Hxf uvkvuUsvjtqekwusHvvvvuqvevvj xyHf nu y ( kx7vAqp{ xuUkxvHqjy xAkt qvxw v iv%ux jt ev uqqxx vvijH kuyv !ih \$juj kHju Cy qjut Hqp kxvGh }r u v u v q v {q u t \$ S l x u t t x S
University of Illinois, Urbana Champaign - ASTRO - 404
1Maxwell-Boltzmann Velocity Distribution2
University of Illinois, Urbana Champaign - ASTRO - 100
| h f q {lkga y uk | h }jh f }j n d } akck8~saedlgujkrkyl{ag y | h u8j 1 f } j y v}Qjk | |d } )e{~okjk ~y y | d j eokW y | k ~ | f lgv}B| m ky | f vuvqvfg} f y lgv}B| k |
University of Illinois, Urbana Champaign - ASTRO - 404
November 21, 2008 (Friday) Chap 14. Stellar PulsationLecture 36Mira B Mira A Eddingtons Thermodynamic Heat Engine A pulsating star contains layers of gases that do PdV work as they expand and contract throughout the pulsation cycle. PdV &gt; 0 =&gt; p
University of Illinois, Urbana Champaign - ASTRO - 100
5 i V V gg5b h x i 3d g i x 5 i id h RQ hQ5 3d r i5 g i 9qcsCb)CQaipscca54CgvtqV9TildltSCTca5U9ua)st4gCVstadvCV V idQ V i VQd q5 n 5 3d X e5 i x 5 5 X dQ V VTb d iQ x V 5 h5 x r h bh RQ V gg5b h x 5 3 1 )CQp9W9CT)t4ApWcvCV9CTAgrp9v9feqV)r9CQCi
University of Illinois, Urbana Champaign - PE - 350
CHAPTER 5Running the Dell DiagnosticsUnlike many diagnostic programs, the Dell Diagnostics help you check the system's hardware without any additional equipment and without destroying any data. By using the diagnostics, you can have confidence in
University of Illinois, Urbana Champaign - PE - 350
CHAPTER 4Finding Software SolutionsBecause most systems have several application programs installed in addition to the operating system, isolating a software problem sometimes is confusing. Software errors can look like hardware malfunctions at f
University of Illinois, Urbana Champaign - PE - 1400
This guide is intended for anyone who wants to upgrade or troubleshoot a Dell PowerEdge 1400 computer system. Before calling Dell for technical assistance, follow the recommended procedure(s) in this guide to solve most hardware and software prob
University of Illinois, Urbana Champaign - PE - 350
APPENDIX BI/O Ports and ConnectorsThis section provides specific information about the input/output (I/O) ports and connectors on the back panel of the system.I/O Ports and ConnectorsThe I/O ports and connectors on the back panel of the system