DotNet_Basics at a Glance
Java Lab Manual
Inheritance
Joint work with Mike Barnett, Robert DeLine, Manuel Fahndrich, and Wolfram Schulte Verifying invariants in object-oriented programs K. Rustan M. Leino.
Technologies for finding errors in object-oriented software K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 3 Summer school on Formal Models.
© Amir Kirsh Object Oriented Programming with Java Written by Amir Kirsh, Edited by Liron Blecher.
Made with love, by Zachary Langley Applets The Graphics Presentation.
Functional programming basics
SCJP, Clase 8: Inner Classes
TKO - Awesomeness using TypeScript with knockout.js
Mind your language(s), A Discussion about Languages and Security
Basics of Java Concurrency
