DOCSLIB.ORG

Siebel VB Language Reference

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Siebel VB Language Reference Siebel VB Language Reference Version 7.7 March 2004 Siebel Systems, Inc., 2207 Bridgepointe Parkway, San Mateo, CA 94404 Copyright © 2004 Siebel Systems, Inc. All rights reserved. Printed in the United States of America No part of this publication may be stored in a retrieval system, transmitted, or reproduced in any way, including but not limited to photocopy, photographic, magnetic, or other record, without the prior agreement and written permission of Siebel Systems, Inc. Siebel, the Siebel logo, TrickleSync, Universal Agent, and other Siebel names referenced herein are trademarks of Siebel Systems, Inc., and may be registered in certain jurisdictions. Other product names, designations, logos, and symbols may be trademarks or registered trademarks of their respective owners. PRODUCT MODULES AND OPTIONS. This guide contains descriptions of modules that are optional and for which you may not have purchased a license. Siebel’s Sample Database also includes data related to these optional modules. As a result, your software implementation may differ from descriptions in this guide. To find out more about the modules your organization has purchased, see your corporate purchasing agent or your Siebel sales representative. U.S. GOVERNMENT RESTRICTED RIGHTS. Programs, Ancillary Programs and Documentation, delivered subject to the Department of Defense Federal Acquisition Regulation Supplement, are “commercial computer software” as set forth in DFARS 227.7202, Commercial Computer Software and Commercial Computer Software Documentation, and as such, any use, duplication and disclosure of the Programs, Ancillary Programs and Documentation shall be subject to the restrictions contained in the applicable Siebel license agreement. All other use, duplication and disclosure of the Programs, Ancillary Programs and Documentation by the U.S. Government shall be subject to the applicable Siebel license agreement and the restrictions contained in subsection (c) of FAR 52.227-19, Commercial Computer Software - Restricted Rights (June 1987), or FAR 52.227-14, Rights in Data—General, including Alternate III (June 1987), as applicable. Contractor/licensor is Siebel Systems, Inc., 2207 Bridgepointe Parkway, San Mateo, CA 94404. Proprietary Information Siebel Systems, Inc. considers information included in this documentation and in Siebel eBusiness Applications Online Help to be Confidential Information. Your access to and use of this Confidential Information are subject to the terms and conditions of: (1) the applicable Siebel Systems software license agreement, which has been executed and with which you agree to comply; and (2) the proprietary and restricted rights notices included in this documentation. Contents Siebel VB Language Reference 1 Chapter 1: What’s New in This Release Chapter 2: Siebel VB Overview Supported Uses of Siebel VB 17 Typographic Conventions 18 Chapter 3: Quick Reference: VB Statements and Functions Arrays in VB 19 VB Compiler Directives 20 Control Flow in VB 20 VB Date and Time Functions 21 Declarations in VB 22 VB Environment Control 23 VB Error Handling 24 VB File Functions: Disk and Folder Control 25 VB File Functions: File Control 25 VB File Functions: File Input/Output 26 VB Math Functions: Financial Functions 27 VB Math Functions: Numeric Functions 27 VB Math Functions: Trigonometric Functions 28 Objects in VB 29 ODBC Functions in VB 29 VB Strings: String Functions 30 VB Strings: String Conversions 31 Variants in VB 32 Siebel VB Language Reference Version 7.7 ■ 3 Contents Chapter 4: VB Language Overview VB Programming Hints 33 Conventions Used by Siebel VB 36 Arguments in VB 36 Named Arguments 37 Siebel VB Comments 37 VB Data Types 38 Arrays in VB 38 Numbers 39 Records 39 Strings 40 Type Characters 40 Data Type Conversions in VB 40 Dynamic Arrays in VB 41 VB Variant Data Type 42 VB Expressions 43 Numeric Operators 43 String Operators 43 Comparison Operators (Numeric and String) 44 Logical Operators 44 Object Handling in VB 44 Creating an Object Variable to Access the Object 45 Using Methods and Properties to Act on Objects 46 Error Handling in VB 46 Trapping Errors Returned by Siebel VB 46 Option 1: Trap Errors Within Body of Code 47 Option 2: Trap Errors Using an Error Handler 47 Trapping User-Defined, Non-Siebel VB Errors 48 Trapping Errors Generated by Siebel VB Methods 49 Siebel VB and Unicode 49 Chapter 5: VB Language Reference Abs Function 51 ActivateField Method 52 ActivateMultipleFields Method 52 ActiveBusObject Method 52 4 ■ Siebel VB Language Reference Version 7.7 Contents ActiveViewName Method 52 AddChild Method 52 Application_Close Event 53 Application_InvokeMethod Event 53 Application_Navigate Event 53 Application_PreInvokeMethod Event 53 Application_PreNavigate Event 53 Application_Start Event 53 Asc Function 53 Associate Method 54 Atn Function 54 BusComp Method 55 BusComp_Associate Event 55 BusComp_ChangeRecord Event 56 BusComp_CopyRecord Event 56 BusComp_DeleteRecord Event 56 BusComp_InvokeMethod Event 56 BusComp_NewRecord Event 56 BusComp_PreAssociate Event 56 BusComp_PreCopyRecord Event 56 BusComp_PreDeleteRecord Event 57 BusComp_PreGetFieldValue Event 57 BusComp_PreInvokeMethod Event 57 BusComp_PreNewRecord Event 57 BusComp_PreQuery Event 57 BusComp_PreSetFieldValue Event 57 BusComp_PreWriteRecord Event 57 BusComp_Query Event 58 BusComp_SetFieldValue Event 58 BusComp_WriteRecord Event 58 BusObject Method 58 Siebel VB Language Reference Version 7.7 ■ 5 Contents Call Statement 58 CCur Function 60 CDbl Function 61 ChDir Statement 62 ChDrive Statement 63 Chr Function 64 CInt Function 66 ClearToQuery Method 67 Clipboard Methods 67 CLng Function 68 Close Statement 69 Const Statement 70 Copy Method 71 Cos Function 71 CreateObject Function 72 CSng Function 74 CStr Function 75 CurDir Function 77 CurrencyCode Method 78 CVar Function 78 CVDate Function 79 Date Function 80 Date Statement 81 DateSerial Function 82 DateValue Function 83 Day Function 84 DeactivateFields Method 85 Declare Statement 85 Deftype Statement 88 DeleteRecord Method 89 Dim Statement 89 6 ■ Siebel VB Language Reference Version 7.7 Contents Dir Function 93 Do...Loop Statement 95 Environ Function 96 Eof Function 97 Erase Statement 98 Erl Function 100 Err Function 101 Err Statement 102 Error Function 103 Error Statement 104 ExecuteQuery Method 105 ExecuteQuery2 Method 105 Exit Statement 105 Exp Function 106 FileAttr Function 107 FileCopy Statement 109 FileDateTime Function 110 FileLen Function 110 FirstRecord Method 111 Fix Function 111 For...Next Statement 112 Format Function 114 FreeFile Function 121 Function...End Function Statement 122 FV Function 124 Get Statement 126 GetAssocBusComp Method 128 GetAttr Function 128 GetBusComp Method 129 GetBusObject Method 129 GetChild Method 129 Siebel VB Language Reference Version 7.7 ■ 7 Contents GetChildCount Method 129 GetFieldValue Method 129 GetFirstProperty Method 129 GetFormattedFieldValue Method 129 GetMultipleFieldValues Method 130 GetMVGBusComp Method 130 GetNamedSearch Method 130 GetNextProperty Method 130 GetObject Function 130 GetPicklistBusComp Method 132 GetProfileAttr Method 132 GetProperty Method 132 GetPropertyCount Method 132 GetSearchExpr Method 133 GetSearchSpec Method 133 GetService Method 133 GetSharedGlobal Method 133 GetType Method 133 GetUserProperty Method 133 GetValue Method 133 GetViewMode Method 133 Global Statement 134 GoTo Statement 137 GotoView Method 139 Hex Function 139 Hour Function 140 If...Then...Else Statement 141 Input Function 142 Input Statement 143 InsertChildAt Method 144 InStr Function 144 8 ■ Siebel VB Language Reference Version 7.7 Contents Int Function 146 InvokeMethod Method 148 IPmt Function 148 IRR Function 149 Is Operator 150 IsDate Function 151 IsEmpty Function 152 IsMissing Function 153 IsNull Function 154 IsNumeric Function 155 Kill Statement 156 LastRecord Method 157 LBound Function 158 LCase Function 159 Left Function 160 Len Function 161 Let (Assignment Statement) 162 Like Operator 163 Line Input Statement 164 Loc Function 166 Lock Statement 167 Lof Function 169 Log Function 170 LoginId Method 171 LoginName Method 171 LookupMessage Method 171 Lset Statement 171 LTrim Function 172 Me Object 173 Mid Function 174 Mid Statement 175 Siebel VB Language Reference Version 7.7 ■ 9 Contents Minute Function 177 MkDir Statement 178 Month Function 179 Name Method 180 Name Statement 181 New Operator 182 NewPropertySet Method 183 NewRecord Method 183 NextRecord Method 183 Nothing Function 183 Now Function 184 NPV Function 185 Null Function 186 Object Class 187 Oct Function 189 On...GoTo Statement 190 On Error Statement 190 Open Statement 192 Option Base Statement 194 Option Compare Statement 196 Option Explicit Statement 197 ParentBusComp Method 198 Pick Method 198 Pmt Function 198 PositionId Method 200 PositionName Method 200 PostChanges Method 200 PPmt Function 200 PreviousRecord Method 201 Print Statement 201 PropertyExists Method 202 10 ■ Siebel VB Language Reference Version 7.7 Contents Put Statement 203 PV Function 204 RaiseError Method 206 RaiseErrorText Method 206 Randomize Statement 206 Rate Function 207 ReDim Statement 208 RefineQuery Method 210 Rem Statement 210 RemoveChild() Method 211 RemoveProperty Method 212 Reset Method 212 Reset Statement 212 Resume Statement 213 Right Function 214 RmDir Statement 215 Rnd Function 216 Rset Statement 218 RTrim Function 219 Second Function 219 Seek Function 221 Seek Statement 222 Select Case Statement 224 SendKeys Statement 225 Service_InvokeMethod Event 228 Service_PreInvokeMethod Event 228 Set Statement
Load more

Recommended publications
  • Presentation on Ocaml Internals
    OCaml Internals Implementation of an ML descendant Theophile Ranquet Ecole Pour l’Informatique et les Techniques Avancées SRS 2014 [email protected] November 14, 2013 2 of 113 Table of Contents Variants and subtyping System F Variants Type oddities worth noting Polymorphic variants Cyclic types Subtyping Weak types Implementation details α ! β Compilers Functional programming Values Why functional programming ? Allocation and garbage Combinatory logic : SKI collection The Curry-Howard Compiling correspondence Type inference OCaml and recursion 3 of 113 Variants A tagged union (also called variant, disjoint union, sum type, or algebraic data type) holds a value which may be one of several types, but only one at a time. This is very similar to the logical disjunction, in intuitionistic logic (by the Curry-Howard correspondance). 4 of 113 Variants are very convenient to represent data structures, and implement algorithms on these : 1 d a t a t y p e tree= Leaf 2 | Node of(int ∗ t r e e ∗ t r e e) 3 4 Node(5, Node(1,Leaf,Leaf), Node(3, Leaf, Node(4, Leaf, Leaf))) 5 1 3 4 1 fun countNodes(Leaf)=0 2 | countNodes(Node(int,left,right)) = 3 1 + countNodes(left)+ countNodes(right) 5 of 113 1 t y p e basic_color= 2 | Black| Red| Green| Yellow 3 | Blue| Magenta| Cyan| White 4 t y p e weight= Regular| Bold 5 t y p e color= 6 | Basic of basic_color ∗ w e i g h t 7 | RGB of int ∗ i n t ∗ i n t 8 | Gray of int 9 1 l e t color_to_int= function 2 | Basic(basic_color,weight) −> 3 l e t base= match weight with Bold −> 8 | Regular −> 0 in 4 base+ basic_color_to_int basic_color 5 | RGB(r,g,b) −> 16 +b+g ∗ 6 +r ∗ 36 6 | Grayi −> 232 +i 7 6 of 113 The limit of variants Say we want to handle a color representation with an alpha channel, but just for color_to_int (this implies we do not want to redefine our color type, this would be a hassle elsewhere).
    [Show full text]
  • Programming-With-Actuate-Basic.Pdf
    Programming with Actuate Basic This documentation has been created for software version 11.0.5. It is also valid for subsequent software versions as long as no new document version is shipped with the product or is published at https://knowledge.opentext.com. Open Text Corporation 275 Frank Tompa Drive, Waterloo, Ontario, Canada, N2L 0A1 Tel: +1-519-888-7111 Toll Free Canada/USA: 1-800-499-6544 International: +800-4996-5440 Fax: +1-519-888-0677 Support: https://support.opentext.com For more information, visit https://www.opentext.com Copyright © 2017 Actuate. All Rights Reserved. Trademarks owned by Actuate “OpenText” is a trademark of Open Text. Disclaimer No Warranties and Limitation of Liability Every effort has been made to ensure the accuracy of the features and techniques presented in this publication. However, Open Text Corporation and its affiliates accept no responsibility and offer no warranty whether expressed or implied, for the accuracy of this publication. Document No. 170215-2-130331 February 15, 2017 Contents About Programming with Actuate Basic. .xi Part 1 Working with Actuate Basic Chapter 1 Introducing Actuate Basic . 3 About Actuate Basic . 4 Programming with Actuate Basic . 4 Understanding code elements . 5 About statements . 5 About expressions . 6 About operators . 7 Using an arithmetic operator . 7 Using a comparison operator . 8 Using logical operators . 8 Using the concatenation operator . 9 Adhering to coding conventions . 9 Commenting code . 10 Breaking up a long statement . 10 Adhering to naming rules . 10 Using the code examples . .11 Chapter 2 Understanding variables and data types . 13 About variables . 14 Declaring a variable .
    [Show full text]
  • Generic Programming in OCAML
    Generic Programming in OCAML Florent Balestrieri Michel Mauny ENSTA-ParisTech, Université Paris-Saclay Inria Paris [email protected] [email protected] We present a library for generic programming in OCAML, adapting some techniques borrowed from other functional languages. The library makes use of three recent additions to OCAML: generalised abstract datatypes are essential to reflect types, extensible variants allow this reflection to be open for new additions, and extension points provide syntactic sugar and generate boiler plate code that simplify the use of the library. The building blocks of the library can be used to support many approachesto generic programmingthrough the concept of view. Generic traversals are implemented on top of the library and provide powerful combinators to write concise definitions of recursive functions over complex tree types. Our case study is a type-safe deserialisation function that respects type abstraction. 1 Introduction Typed functional programming languages come with rich type systems guaranteeing strong safety prop- erties for the programs. However, the restrictions imposed by types, necessary to banish wrong programs, may prevent us from generalizing over some particular programming patterns, thus leading to boilerplate code and duplicated logic. Generic programming allows us to recover the loss of flexibility by adding an extra expressive layer to the language. The purpose of this article is to describe the user interface and explain the implementation of a generic programming library1 for the language OCAML. We illustrate its usefulness with an implementation of a type-safe deserialisation function. 1.1 A Motivating Example Algebraic datatypes are very suitable for capturing structured data, in particular trees.
    [Show full text]
  • 2 Defining Variables
    2 Defining Variables Variables Dim Statement Option Explicit Variable Names Standard Naming Conventions Data Types and Dim Examples Byte Boolean Integer Long Currency Single Double Date String (for variable-length strings) String * length (for fixed-length strings) Object Variant user-defined type object type AutoComplete Indenting Code Indenting several lines of code Removing an indent TypeName Function Arrays Option Base Statement Array Examples Objective: Understand variables and Data Types; AutoComplete; indent code; Option Explicit and Option Base statements 2-2 Crystal's Introduction to Programming With Excel : Variables Variables When you are writing programs, you want to be able to keep track of values in code so you can use them later. For instance, let's say you want to write a program to ask the user their name. You can create a variable to hold the name and prompt the user for its value. "Declaring variables" means that you are going to tell Excel what variables you are going to use and (optionally, but suggested) what type of data those variables are going to have. To declare a variable will be used in the program code, the Dim (dimension) statement is used. Dim Statement Dim [WithEvents] varname[([subscripts])] [As [New] type] [, [WithEvents] varname[([subscripts])] [As [New] type]] . The most common form of the Dim statement is: Dim varname As type The following statement declares a variable named mName as a string, which means a sequence of characters. Dim mUserName As String If you don't declare your variable, Excel will automatically create it the first time you use it in your code.
    [Show full text]
  • Using Vbscript with Indusoft Web Studio
    Using VBScript with InduSoft Web Studio © InduSoft 2006 Table of Contents About VBScript..............................................................................................................................................4 VBScript Limitations in IWS.........................................................................................................................6 The Microsoft Visual Basic Family...............................................................................................................6 Differences between VBScript and VBA ......................................................................................................7 VBScript Hosting Environments ...................................................................................................................8 VBScript Language Overview .......................................................................................................................9 VBScript Functionality ..............................................................................................................................9 VBScript Elements.....................................................................................................................................9 Variable Data Types and Subtypes ..........................................................................................................10 Data Subtype Identification......................................................................................................................10 Data
    [Show full text]
  • Type Systems.Fm
    Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors dur- ing the running of a program. This informal statement motivates the study of type systems, but requires clarification. Its accuracy depends, first of all, on the rather subtle issue of what consti- tutes an execution error, which we will discuss in detail. Even when that is settled, the absence of execution errors is a nontrivial property. When such a property holds for all of the program runs that can be expressed within a programming language, we say that the language is type sound. It turns out that a fair amount of careful analysis is required to avoid false and embar- rassing claims of type soundness for programming languages. As a consequence, the classifica- tion, description, and study of type systems has emerged as a formal discipline. The formalization of type systems requires the development of precise notations and defi- nitions, and the detailed proof of formal properties that give confidence in the appropriateness of the definitions. Sometimes the discipline becomes rather abstract. One should always remem- ber, though, that the basic motivation is pragmatic: the abstractions have arisen out of necessity and can usually be related directly to concrete intuitions. Moreover, formal techniques need not be applied in full in order to be useful and influential. A knowledge of the main principles of type systems can help in avoiding obvious and not so obvious pitfalls, and can inspire regularity and orthogonality in language design. When properly developed, type systems provide conceptual tools with which to judge the adequacy of important aspects of language definitions.
    [Show full text]
  • Explanation of Vbscript for Use in HP Quicktest Professional (QTP) Index
    Explanation of VBScript for use in HP QuickTest Professional (QTP) Index Sec. Contents Page 1 VBScript in QTP 2 2 VBScript Data Type 2 3 VBScript Variable 3 4 VBScript Arrays 4 5 VBScript Constants 4 6 VBScript Functions & Subroutines 7 7 Arguments in Procedures 10 8 VBScript Conditional Statements 11 9 VBScript Looping Statements 13 10 VBScript Classes 17 11 VBScript - Property Let, Property Get, Property Set 20 12 Example of VBScript - Property Let, Property Get, Property Set 23 http://www.softwaretestinggenius.com Page 1 of 23 Explanation of VBScript for use in HP QuickTest Professional (QTP) 1) VBScript in QTP Scripting language for QuickTest Professional (QTP) is VBScript. VBScript (short form of Visual Basic Scripting Edition) is a lively scripting language interpreted via Microsoft's Windows Script Host. VBScript has many powerful functions and provides excellent support for variables, data types, and error handling. Two script engines can interpret VBScript- VBScript.dll, which is invoked by asp.dll is used in web environment and Wscript.exe & Cscript.exe in Windows GUI environment using Windows Script Host (WSH). We typically, use VBScript within WSH to automate systems administration tasks. WSH is the system module that transforms a VBScript file into a Windows executable file. Wscript.exe is used to display output and receive input in Windows GUI format such as dialog and input boxes. Cscript.exe is used in a command-line environment. When VBScript source code is contained in standalone files, they have the file extension .Vbs. 2) VBScript Data Type VBScript has only one data type called a Variant that can store any type of value.
    [Show full text]
  • Basicscript 2.25 Language Reference
    BasicScript 2.25 Language Reference May 2, 1996 Information in this document is subject to change without notice. No part of this document may be reproduced or transmitted in any form or by any means, electronic or mechanical, for any purpose, without the express written permission of Summit Software Company. Copyright © 1992–1996 Summit Software Company. All rights reserved. BasicScript is a registered trademark of Summit Software Company. All other trademarks are the property of their respective holders. iii Contents Introduction ...........................................................................................................................1 Language Summary ..............................................................................................................3 A-Z Reference ......................................................................................................................25 Index ...................................................................................................................................561 Summit Software Confidential Filename: lr.TOC Template: UGtemp.FM5 Page: iii of iv Printed: 5/2/96 iv BasicScript 2.2 Language Reference Summit Software Confidential Filename: lr.TOC Template: UGtemp.FM5 Page: iv of iv Printed: 5/2/96 Introduction This manual provides a complete reference for the BasicScript 2.25 scripting language. It contains the following: • The Language Summary provides you with a list of all functions, statements, and methods in the BasicScript language. These items are
    [Show full text]
  • A Extending Type Inference to Variational Programs
    A Extending Type Inference to Variational Programs SHENG CHEN, MARTIN ERWIG, and ERIC WALKINGSHAW, Oregon State University Through the use of conditional compilation and related tools, many software projects can be used to generate a huge number of related programs. The problem of typing such variational software is very difficult. The brute-force strategy of generating all variants and typing each one individually is (1) usually infeasible for efficiency reasons and (2) produces results that do not map well to the underlying variational program. Recent research has focused mainly on the first problem and addressed only the problem of type checking. In this work we tackle the more general problem of variational type inference. We begin by introducing the variational lambda calculus (VLC) as a formal foundation for research on typing variational programs. We define a type system for VLC in which VLC expressions can have variational types, and a variational type inference algorithm for inferring these types. We show that the type system is correct by proving that the typing of expressions is preserved over the process of variation elimination, which eventually results in a plain lambda calculus expression and its corresponding type. We also consider the extension of VLC with sum types, a necessary feature for supporting variational data types, and demonstrate that the previous theoretical results also hold under this extension. The inference algorithm is an extension of algorithm W . We replace the standard unification algorithm with an equational unification algorithm for variational types. We show that the unification problem is decidable and unitary, and that the type inference algorithm computes principal types.
    [Show full text]
  • Siebel VB Language Reference Version 8.0 December 2006
    Siebel VB Language Reference Version 8.0 December 2006 Copyright © 2005, 2006, Oracle. All rights reserved. The Programs (which include both the software and documentation) contain proprietary information; they are provided under a license agreement containing restrictions on use and disclosure and are also protected by copyright, patent, and other intellectual and industrial property laws. Reverse engineering, disassembly, or decompilation of the Programs, except to the extent required to obtain interoperability with other independently created software or as specified by law, is prohibited. The information contained in this document is subject to change without notice. If you find any problems in the documentation, please report them to us in writing. This document is not warranted to be error- free. Except as may be expressly permitted in your license agreement for these Programs, no part of these Programs may be reproduced or transmitted in any form or by any means, electronic or mechanical, for any purpose. PRODUCT MODULES AND OPTIONS. This guide contains descriptions of modules that are optional and for which you may not have purchased a license. Siebel’s Sample Database also includes data related to these optional modules. As a result, your software implementation may differ from descriptions in this guide. To find out more about the modules your organization has purchased, see your corporate purchasing agent or your Siebel sales representative. If the Programs are delivered to the United States Government or anyone licensing or using the Programs on behalf of the United States Government, the following notice is applicable: U.S. GOVERNMENT RIGHTS. Programs, software, databases, and related documentation and technical data delivered to U.S.
    [Show full text]
  • Dependent Types for Low-Level Programming
    Dependent Types for Low-Level Programming Jeremy Paul Condit Matthew Thomas Harren Zachary Ryan Anderson David Gay George Necula Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2006-129 http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-129.html October 13, 2006 Copyright © 2006, by the author(s). All rights reserved. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission. Acknowledgement Many thanks to Feng Zhou, Ilya Bagrak, Bill McCloskey, Rob Ennals, and Eric Brewer for their contributions to Deputy. This material is based upon work supported by the National Science Foundation under Grant Nos.~CCR-0326577, CCF-0524784, and CNS-0509544, as well as gifts from Intel Corporation. Dependent Types for Low-Level Programming Jeremy Condit Matthew Harren Zachary Anderson David Gay† George C. Necula University of California, Berkeley †Intel Research, Berkeley {jcondit, matth, zra, necula}@cs.berkeley.edu [email protected] Abstract guage, and we propose the use of run-time checks where static We describe the key principles of a flexible dependent type sys- checking is not sufficient. This hybrid type-checking strategy tem for low-level imperative languages. Two major contributions has also been proposed recently by Flanagan [10].
    [Show full text]
  • [ Team Lib ] Lightweight Yet Powerful, Vbscript from Microsoft® Is Used In
    [ Team LiB ] • Table of Contents • Index • Reviews • Reader Reviews • Errata VBScript in a Nutshell, 2nd Edition By Matt Childs, Paul Lomax, Ron Petrusha Publisher: O'Reilly Pub Date: March 2003 ISBN: 0-596-00488-5 Pages: 512 Lightweight yet powerful, VBScript from Microsoft® is used in four main areas: server-side web applications using Active Server Pages (ASP), client-side web scripts using Internet Explorer, code behind Outlook forms, and automating repetitive tasks using Windows Script Host (WSH).VBScript in a Nutshell, Second Edition delivers current and complete documentation for programmers and system administrators who want to develop effective scripts. [ Team LiB ] [ Team LiB ] • Table of Contents • Index • Reviews • Reader Reviews • Errata VBScript in a Nutshell, 2nd Edition By Matt Childs, Paul Lomax, Ron Petrusha Publisher: O'Reilly Pub Date: March 2003 ISBN: 0-596-00488-5 Pages: 512 Copyright Foreword Preface Why This Book? Who Should Read This Book? How This Book Should Be Used How This Book Is Structured Conventions in This Book How To Contact Us Part I: The Basics Chapter 1. Introduction Section 1.1. VBScript's History and Uses Section 1.2. What VBScript Is Used For: Gluing Together Objects Section 1.3. Differences Between VBScript and VBA Chapter 2. Program Structure Section 2.1. Functions and Procedures Section 2.2. Classes Section 2.3. Global Code Section 2.4. Reusable Code Libraries Chapter 3. Data Types and Variables Section 3.1. VBScript Data Types: The Many Faces of the Variant Section 3.2. Variables and Constants Chapter 4. Error Handling and Debugging Section 4.1.
    [Show full text]