Sciweavers

1932 search results - page 112 / 387
» Molecule-oriented programming in Java
Sort
View
124
Voted
XSYM
2004
Springer
89views Database» more  XSYM 2004»
15 years 6 months ago
A Runtime System for XML Transformations in Java
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
Aske Simon Christensen, Christian Kirkegaard, Ande...
APLAS
2008
ACM
15 years 2 months ago
Reasoning about Java's Reentrant Locks
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
Christian Haack, Marieke Huisman, Clément H...
111
Voted
ICSM
2005
IEEE
15 years 6 months ago
Appletizing: Running Legacy Java Code Remotely from a Web Browser
Adding distributed capabilities to existing programs has come to the forefront of software evolution. As a standard Java distributed technology, applets offer the advantages of be...
Eli Tilevich, Yannis Smaragdakis, Marcus Handte
114
Voted
ICSM
2002
IEEE
15 years 5 months ago
A Technique for Dynamic Updating of Java Software
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
Alessandro Orso, Anup Rao, Mary Jean Harrold
JOT
2007
109views more  JOT 2007»
15 years 14 days ago
Introductory Game Programming Instruction with OOP - What is required, How is it addressed, and Which language wins?
: This paper analyzes three popular programming languages (Adobe/Macromedia Flash, Java and Visual Basic.net), used to teach introductory 2D game programming courses. Presented in ...
Lakshmi Prayaga