COMP 111 Reading Guide
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Sound Invariant Checking Using Type Modifiers and Object Capabilities
Sound Invariant Checking Using Type Modifiers and Object Capabilities. Isaac Oscar Gariano Victoria University of Wellington [email protected] Marco Servetto Victoria University of Wellington [email protected] Alex Potanin Victoria University of Wellington [email protected] Abstract In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Invariants are specified simply as methods whose execution is statically guaranteed to be deterministic and not access any externally mutable state. We automatically call such invariant methods only when objects are created or the state they refer to may have been mutated. Our design restricts the range of expressible invariants but improves upon the usability and performance of our system compared to prior work. In addition, we soundly support mutation, dynamic dispatch, exceptions, and non determinism, while requiring only a modest amount of annotation. We present a case study showing that our system requires a lower annotation burden compared to Spec#, and performs orders of magnitude less runtime invariant checks compared to the widely used ‘visible state semantics’ protocols of D, Eiffel. We also formalise our approach and prove that such pre existing type modifier and object capability support is sufficient to ensure its soundness. 2012 ACM Subject Classification Theory of computation → Invariants, Theory of computation → Program verification, Software and its engineering → Object oriented languages Keywords and phrases type modifiers, object capabilities, runtime verification, class invariants Digital Object Identifier 10.4230/LIPIcs.CVIT.2016.23 1 Introduction Object oriented programming languages provide great flexibility through subtyping and arXiv:1902.10231v1 [cs.PL] 26 Feb 2019 dynamic dispatch: they allow code to be adapted and specialised to behave differently in different contexts. -
Method Proxy-Based AOP in Scala
Vol. 0, No. 0, Z Method Proxy-Based AOP in Scala Daniel Spiewak and Tian Zhao University of Wisconsin – Milwaukee, fdspiewak,[email protected] This paper describes a fully-functional Aspect-Oriented Programming framework in Scala – a statically typed programming language with object-oriented and func- tional features. This framework is implemented as internal domain-specific lan- guages with syntax that is both intuitive and expressive. The implementation also enforces some static type safety in aspect definitions. 1 INTRODUCTION Aspect-Oriented Programming (AOP) implementations such as AspectJ provide language extensions of pointcuts and advices to insert code of crosscutting concerns into the base program through bytecode transformation. In this paper, we describe a framework to implement an AOP extension to the Scala language [13] using higher-order functions as AOP proxies 1. This framework allows programmers to specify pointcuts and aspects using a Domain Specific Language (DSL) [5] embedded within Scala. Our technique uses Scala’s higher-order functions to intercept method calls with minimal syntactic overhead imposed on the base program. This framework allows developers to define pointcuts by specifying class types and method signatures. The framework also allows access to context variables, while aspects can insert advice code before or after the advised body. The rest of the paper is organized as follows: In Section2, we present the main idea using an example. Section3 explains the syntax of pointcuts and advices. Section4 ex- plains the implementation details. We discuss the benefits and tradeoffs of our framework in Section5. and related works are in Section6. 2 EXAMPLE AOP enables developers to write code that is modularized to a point beyond the capabil- ities of vanilla object-oriented design. -
Metadefender Core V4.13.1
MetaDefender Core v4.13.1 © 2018 OPSWAT, Inc. All rights reserved. OPSWAT®, MetadefenderTM and the OPSWAT logo are trademarks of OPSWAT, Inc. All other trademarks, trade names, service marks, service names, and images mentioned and/or used herein belong to their respective owners. Table of Contents About This Guide 13 Key Features of Metadefender Core 14 1. Quick Start with Metadefender Core 15 1.1. Installation 15 Operating system invariant initial steps 15 Basic setup 16 1.1.1. Configuration wizard 16 1.2. License Activation 21 1.3. Scan Files with Metadefender Core 21 2. Installing or Upgrading Metadefender Core 22 2.1. Recommended System Requirements 22 System Requirements For Server 22 Browser Requirements for the Metadefender Core Management Console 24 2.2. Installing Metadefender 25 Installation 25 Installation notes 25 2.2.1. Installing Metadefender Core using command line 26 2.2.2. Installing Metadefender Core using the Install Wizard 27 2.3. Upgrading MetaDefender Core 27 Upgrading from MetaDefender Core 3.x 27 Upgrading from MetaDefender Core 4.x 28 2.4. Metadefender Core Licensing 28 2.4.1. Activating Metadefender Licenses 28 2.4.2. Checking Your Metadefender Core License 35 2.5. Performance and Load Estimation 36 What to know before reading the results: Some factors that affect performance 36 How test results are calculated 37 Test Reports 37 Performance Report - Multi-Scanning On Linux 37 Performance Report - Multi-Scanning On Windows 41 2.6. Special installation options 46 Use RAMDISK for the tempdirectory 46 3. Configuring Metadefender Core 50 3.1. Management Console 50 3.2. -
Blue, Bluej and Greenfoot
Kent Academic Repository Full text document (pdf) Citation for published version Kölling, Michael (2016) Lessons from the Design of Three Educational Programming Environments: Blue, BlueJ and Greenfoot. International Journal of People-Oriented Programming, 4 (1). pp. 5-32. ISSN 2156-1796. DOI https://doi.org/10.4018/IJPOP.2015010102 Link to record in KAR http://kar.kent.ac.uk/56662/ Document Version Publisher pdf Copyright & reuse Content in the Kent Academic Repository is made available for research purposes. Unless otherwise stated all content is protected by copyright and in the absence of an open licence (eg Creative Commons), permissions for further reuse of content should be sought from the publisher, author or other copyright holder. Versions of research The version in the Kent Academic Repository may differ from the final published version. Users are advised to check http://kar.kent.ac.uk for the status of the paper. Users should always cite the published version of record. Enquiries For any further enquiries regarding the licence status of this document, please contact: [email protected] If you believe this document infringes copyright then please contact the KAR admin team with the take-down information provided at http://kar.kent.ac.uk/contact.html International Journal of People-Oriented Programming January-June 2015, Vol. 4, No. 1 Table of Contents SIKONL C I T L V PF EP iv Steve Goschnick, Swinburne University of Technology, Melbourne, Australia Leon Sterling, Swinburne University of Technology, Melbourne, Australia -
AP Computer Science Basic OOP — Implementing Classes
AP Computer Science Basic OOP — Implementing Classes ORIENTATION Object-oriented programming (OOP) refers to the organization of data into classes, categories that represent a given type of “object.” An object can be a model of a real-life thing like a car, a six-sided die, or a person, or it can be a representation of something more abstract like a point in space, a menu item, or a digital clipboard. An object that belongs to a given class is called an instance of that class, and any instance of a class keeps track of its state using instance variables, or attributes. The object is created when its constructor is called, and can be interacted with by calling its methods, which may access data (accessor methods, or “getters”) or alter the object’s data (mutator methods, or “setters”). There are two important theoretical concepts in OOP: abstraction and encapsulation. Objects and the classes they belong to act as abstractions of the things they represent: a Java class called Person isn’t actually a person, of course, but a simplified representation of a person in terms of a limited number of qualities (name and age, perhaps). Other details such as hair color, nationality, and gender identity aren’t included in our abstraction of a person. Encapsulation refers to the way that a class and its methods hide away the details of a process. Someone using a QuadraticFormula class can call the hasSolutions() method to find out whether their equation has solutions without knowing what a discriminant is. The programmer and the class she has written have hidden that information away in a metaphorical “black box.” Basic OOP consists primarily of implementing classes: writing the JavaDocs, class header, constructors, attributes, and methods for an object as specified. -
Java Ide's One-On-One*
DR. J VS. THE BIRD: JAVA IDE'S ONE-ON-ONE* Michael Olan Computer Science and Information Systems Richard Stockton College Pomona, NJ 08240 609-652-4587 [email protected] ABSTRACT An important decision facing instructors of introductory programming courses is the choice of supporting software development tools. Usually this involves selecting an integrated development environment (IDE). BlueJ has received widespread adoption for first year courses that use the Java programming language; however, DrJava is emerging as an alternative. This paper features a comparison of the pedagogical approaches used by BlueJ and DrJava as a guideline for selecting the tool best suited to the teaching style used in the introductory course. 1. INTRODUCTION The choice was simple when text editors and the command line were the only tools for developing programs. That changed with the introduction of integrated development environments (IDE's), and campuses nationwide adopted Borland's Turbo Pascal. Languages also have changed. Pascal was designed as a teaching language, but now academic programs use advanced languages designed for professional software engineers. Making these complex languages accessible to beginning students requires a careful selection of the development environment. This discussion will only include Java, currently the dominant language choice for introductory courses. Let us first consider several levels of tool support in the introductory course sequence: 1) Minimal: A text editor and the command line. 2) Simple IDE: Just the basics, no bells and whistles. 3) Professional IDE: Powerful and feature filled. ___________________________________________ * Copyright © 2004 by the Consortium for Computing Sciences in Colleges. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the CCSC copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Consortium for Computing Sciences in Colleges. -
Objects First with Java™ a Practical Introduction Using Bluej
Objects First with Java™ A Practical Introduction Using BlueJ David J. Barnes and Michael Kölling University of Kent Sixth Edition Boston Columbus Indianapolis New York San Francisco Hoboken Amsterdam Cape Town Dubai London Madrid Milan Munich Paris Montreal Toronto Delhi Mexico City Sao Paulo Sydney Hong Kong Seoul Singapore Taipei Tokyo A01_BARN7367_06_SE_FM.indd 1 10/03/16 4:08 pm Contents Foreword xiv Preface xv List of Projects Discussed in Detail in This Book xxv Acknowledgments xxviii Part 1 Foundations of Object Orientation 1 Chapter 1 Objects and Classes 3 1.1 Objects and classes 3 1.2 Creating objects 4 1.3 Calling methods 5 1.4 Parameters 6 1.5 Data types 7 1.6 Multiple instances 8 1.7 State 9 1.8 What is in an object? 10 1.9 Java code 11 1.10 Object interaction 12 1.11 Source code 13 1.12 Another example 15 1.13 Return values 15 1.14 Objects as parameters 16 1.15 Summary 17 Chapter 2 Understanding Class Definitions 21 2.1 Ticket machines 21 2.2 Examining a class definition 23 2.3 The class header 25 2.4 Fields, constructors, and methods 26 2.5 Parameters: receiving data 32 2.6 Assignment 34 A01_BARN7367_06_SE_FM.indd 5 10/03/16 4:08 pm vi | Contents 2.7 Methods 35 2.8 Accessor and mutator methods 36 2.9 Printing from methods 39 2.10 Method summary 42 2.11 Summary of the naïve ticket machine 42 2.12 Reflecting on the design of the ticket machine 43 2.13 Making choices: the conditional statement 45 2.14 A further conditional-statement example 47 2.15 Scope highlighting 48 2.16 Local variables 50 2.17 Fields, parameters, and -
Experiences Using Bluej's Submitter with an Automated Grader
We use BlueJ in our CS1 course Experiences Using BlueJ’s Submitter with an Automated Grader Aggressively objects-first, taught in Java We teach software testing from the very first lab as well Stephen Edwards Virginia Tech We use an automated grading system called Web-CAT Dept. of Computer Science [email protected] Web-CAT accepts submissions via HTTP http://people.cs.vt.edu/~edwards/ http://web-cat.sourceforge.net/ Stephen Edwards BlueJ Day: Experiences Using BlueJ’s Submitter Virginia Tech Web-CAT is a flexible, customizable grading Our strategy for managing submission system that supports test-based assignments definitions has evolved over time Submission.defs format allows BlueJ to include definitions We require students to write tests for everything from a URL, so they can be loaded from anywhere CS1CS1 Our grading system runs student tests on their code, and Sub. DynamicallyHTML Sub. DynamicallyHTML CS2 defs orGenerated! PHP CS2 Performs static analysis (checkstyle, PMD) defs orGenerated! PHP CS3CS3 Tracks code coverage (Clover) First, we used a single web-hosted definitions file Then we let each instructor write their own, and used a Supports “by hand” feedback too top-level file to include them all together Then we modified Web-CAT to dynamically generate Provides feedback in one, integrated HTML report submission.defs for the assignments it knows about Stephen Edwards BlueJ Day: Experiences Using BlueJ’s Submitter Virginia Tech Stephen Edwards BlueJ Day: Experiences Using BlueJ’s Submitter Virginia Tech Student -
Bluej Manual
BlueJ COMPANION MANUAL To accompany Big Java 2e and Java Concepts 4e by Cay Horstmann BRUCE QUIG, Deakin University Based on the BlueJ Tutorial by Michael Kölling John Wiley & Sons, Inc. SENIOR ACQUISITIONS EDITOR Bill Zobrist EDITORIAL ASSISTANT Bridget Morrisey PRODUCTION EDITOR Marsheela Evans MARKETING DEVELOPMENT MANAGER Phyllis Cerys . Book printed and bound by________________. The cover was printed by__________________. This book is printed on acid free paper. ∞ Copyright 2005 John Wiley & Sons, Inc. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, scanning or otherwise, except as permitted under Sections 107 or 108 of the 1976 United States Copyright Act, without either the prior written permission of the Publisher, or authorization through payment of the appropriate per-copy fee to the Copyright Clearance Center, Inc. 222 Rosewood Drive, Danvers, MA 01923, (978) 750-8400, fax (978)646-8600. Requests to the Publisher for permission should be addressed to the Permissions Department, John Wiley & Sons, Inc., 111 River Street, Hoboken, NJ 07030, (201) 748-6011, fax (201) 748-6008. To order books or for customer service please, call 1-800-CALL WILEY (225-5945). ISBN 0-471-73712-7 Printed in the United States of America 10 9 8 7 6 5 4 3 2 1 Contents 1 About BlueJ 1 About this manual 2 Scope and audience 2 Feedback 2 2 Installation 3 Installation on Windows 3 Installation on Macintosh 4 Installation on Linux/Unix and other Systems 4 Installation problems 4 3 Getting started – using classes 5 Starting BlueJ 5 Creating the project directory 5 Exploring System classes 5 Creating Library objects 7 Execution 8 4 Writing your own classes 11 Opening an existing project 11 Editing a class 12 Compilation 13 Help with compiler errors 14 Creating objects 14 Adding a Driver class 16 5 Doing a bit more.. -
The Bluej Environment Reference Manual
The BlueJ Environment Reference Manual Version 2.0 for BlueJ Version 2.0 Kasper Fisker Michael Kölling Mærsk Mc-Kinney Moller Institute University of Southern Denmark HOW DO I ... ? – INTRODUCTION ........................................................................................................ 1 ABOUT THIS DOCUMENT................................................................................................................................. 1 RELATED DOCUMENTS.................................................................................................................................... 1 REPORT AN ERROR.......................................................................................................................................... 1 USING THE CONTEXT MENU........................................................................................................................... 1 1 PROJECTS.......................................................................................................................................... 2 1.1 CREATE A NEW PROJECT................................................................................................................... 2 1.2 OPEN A PROJECT ............................................................................................................................... 2 1.3 FIND OUT WHAT A PROJECT DOES .................................................................................................... 2 1.4 COPY A PROJECT .............................................................................................................................. -
Learn Objective–C on The
CYAN YELLOW SPOT MATTE MAGENTA BLACK PANTONE 123 C BOOKS FOR PROFESSIONALS BY PROFESSIONALS® Companion eBook Available Learn Objective-CLearn • Learn the native programming language for Mac OS X, Everything You Need to Know as well as the iPhone! to Become an Objective-C Guru • Get up and running quickly with Objective-C. We don’t waste time teaching you basic programming; instead, we focus on what makes Objective-C di!erent and cool. • Learn about sophisticated programming concepts, including object-oriented programming, the Open-Closed Principle, refactoring, key-value coding, and predicates. n this book, you’ll !nd a full exploration of the Objective-C programming Ilanguage, the primary language for creating Mac OS X and iPhone applica- tions. There are goodies here for everyone, whether you’re just starting out as a Mac developer or a grizzled programmer coming from another language. You’ll discover all of the object-oriented purity and Smalltalk heritage coolness of Objective-C—such as instantiation, protocols for multiple inheritance, dynamic typing, and message forwarding. Along the way, you’ll meet Xcode, the Mac development environment, and you’ll learn about Apple’s Cocoa toolkit. on the Nearly everyone wants to be able to develop for Mac OS X or the iPhone these days, and it’s no wonder. The Mac is a fun and powerful platform, and Objective-C is a wonderful language for writing code. You can have a great time programming the Mac in Objective-C. We do, and want you to join us! Mark Dalrymple is a longtime Mac and Unix programmer who has Mac code running all over the world. -
Integrated Development Environments
Integrated Development Environments Steven J Zeil February 13, 2013 Contents 1 The Components of an IDE 2 2 IDE Examples 3 3 Eclipse 5 1 Integrated Development Environments IDEs Integrated Develop Environments (IDEs) are software packages that attempt to provide comprehen- sive support for programming • and possible other software development activities .................................... 1 The Components of an IDE The Components of an IDE (minimal) What’s the minimum that we expect in an IDE? • editor • build – maybe no more than compiler invocation – with error messages captured/interpreted/walked by editor • run/execute • debugger .................................... The Components of an IDE (optional) What would we like to see in an IDE? • syntax highlighting & aid in editor • documentation (API) look-up • flexible/configurable build • packaging/deployment options .................................... CS7952 Integrated Development Environments The Components of an IDE (deluxe) What makes us giddy in an IDE? • smart feedback in the editor – learns API of new code – suggestions • coding aids in editor – templates – common refactoring (transformations) • documentation generation • test integration • integration with version ctrl .................................... 2 IDE Examples emacs The *nix swiss army knife of editors, emacs has long functioned as a basic IDE: • syntax-highlighting editor • build support (invokes *nix make) – parses error messages from compilers & other tools • debugger interface • works directly with many version control systems .................................... References, if you are unfamiliar with this: • Compiling in emacs • emacs Debugging mode (CS252) CS7953 Integrated Development Environments emacs Strengths and Weaknesses • highly portable • supports virtually any language you would have a compiler for • even in windowed mode, leans toward keyboard rather than mouse – (not sure if that’s a pro or a con) • outdated interface • high learning curve ...................................