|
|
 |
|
|
| Advanced Topics in Programming Languages: Java Puzzlers,... |
 |
Google Tech Talks
July 23, 2007
ABSTRACT
Java Puzzlers, Episode VI: The
Phantom-Reference Menace/Attack of the
Clone/Revenge of the Shift.
Josh Bloch and special guest star Bill Pugh
present yet another installment in the
continuing saga of Java Puzzlers, consisting
of eight more programming puzzles for your
entertainment and enlightenment. The game
show format keeps you on your toes while the
puzzles teach you about the subtleties of the
Java programming language and its core
libraries. Anyone with a working knowledge of
the language will be able to understand the
puzzles, but even the most seasoned veterans
will be challenged. The lessons you take from
this session are directly applicable to...
Tags : google howto advanced topics programming |
|
Affichage : 38549
Durée : 4433 s |
| Developing iPhone Applications using Java |
 |
Google Tech Talks
October 14, 2008
ABSTRACT
Apple's iPhone has resulted in significant
interest from users and developers alike.
Apple's SDK for the iPhone is based on
Objective-C as the development language as
well as Cocoa for the GUI.
Unfortunately Apple's license agreement for
the iPhone SDK prohibits the porting of the
Java virtual machine to the iPhone. In this
presentation we introduce an Open Source
Java-to-Objective-C cross-compiler as well as
a Java-based implementation of the Cocoa
library. With the help of these tools, iPhone
applications can be written in pure Java.
Using the Java version of Cocoa, it is
possible to run a Java-based iPhone
application as a Java desktop/applet
application that can be cross-compiled to run
natively on the iPhone. The talk will discuss
the challenges of the Java-to-Objective-C
cross-compiler as well as the Java-based
version of Cocoa. Details are available at
http://www.xmlvm.org/
Speaker: Arno Puder
Arno Puder is an Associate Professor at the
San Francisco State University. Prior to his
current position, he worked for AT Labs
Research. His interests include middleware,
ubiquitous computing, and applications for
sensor networks. He is one of the founders of
the Open Source CORBA implementation called
MICO.
Tags : google techtalks techtalk engedu talk talks googletechtalks education |
|
Affichage : 13204
Durée : 3665 s |
| Nullness Analysis for Java |
 |
Google Tech Talks
September 17, 2008
ABSTRACT
Attempts to dereference null result in an
exception or a segmentation fault. Hence it
is important to know those program points
where this might occur and prove the others
(or the entire program) safe. Nullness
analysis of computer programs checks or
infers non-null annotations for variables and
object fields. Most nullness analyses
currently use run-time checks or are simply
syntactical (as in Eclipse and Idea) or
incorrect or only verify manual annotations.
We use abstract interpretation to build and
prove correct a static nullness analysis for
Java bytecode which infers non-null
annotations. It is based on Boolean formulas,
implemented with binary decision diagrams.
Our experiments show it faster and more
precise than the correct nullness analysis by
Hubert, Jensen and Pichardie. We deal with
static fields and exceptions, which is not
the case of most other analyses. The result
is theoretically clean and the implementation
strong and scalable.
Speaker: Prof. Fausto Spoto
Fausto Spoto is associate professor at the
University of Verona, Italy. He took a PhD in
computer science from the University of Pisa,
where he started working at the static
analysis of computer programs. His current
interests are related to the analysis of Java
and Java bytecode programs.
He wrote a tool, Julia, which analyzes Java
bytecode programs by using abstract
interpretation and presents the results to
the user, for verification as well as for
code optimisation.
Tags : google techtalks techtalk engedu talk talks googletechtalks education |
|
Affichage : 3739
Durée : 3209 s |
|
|
|
|
|
|
|
|
|
|
 |
| |
|
