<--- Back to Details
First PageDocument Content
Software / Alice / Carnegie Mellon University / Tutorial / Virtual world / Computer animation / Scratch / 3D modeling / Visual programming languages / Application software / Computing
Date: 2010-04-15 12:33:39
Software
Alice
Carnegie Mellon University
Tutorial
Virtual world
Computer animation
Scratch
3D modeling
Visual programming languages
Application software
Computing

Microsoft PowerPoint - pinata.pptx

Add to Reading List

Source URL: www.cs.duke.edu

Download Document from Source Website

File Size: 379,02 KB

Share Document on Facebook

Similar Documents

Mathematics / Temporal logic / Mathematical analysis / Mathematical logic / Formal languages / Model theory / Generalized functions / Computation tree logic / Logic in computer science / Linear temporal logic / Interpretation / IP

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

DocID: 1xVOF - View Document

Computer programming / Recursion / Mathematical logic / Software engineering / Computability theory / Theory of computation / Theoretical computer science / -recursive function / Recursive definition / Well-founded relation / Functional programming / Pattern matching

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

DocID: 1xVds - View Document

Software engineering / Declarative programming / Computing / Functional programming / Programming paradigms / Evaluation strategy / Functional reactive programming / Digital signal processing / Formal methods / Arrow / International Conference on Functional Programming / Signal

Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

DocID: 1xVd0 - View Document

Computer security / Security engineering / Prevention / Security / Crime prevention / Cryptography / Information governance / National security / Password / Operating system / Protection ring / Capability-based security

The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of

DocID: 1xVbf - View Document

Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Formal verification / Satisfiability modulo theories / Abstract interpretation / Loop invariant / Logic programming / Model checking / KeY / Software verification

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

DocID: 1xVaE - View Document