Sciweavers

246 search results - page 32 / 50
» How Do Program Understanding Tools Affect How Programmers Un...
Sort
View
OTM
2005
Springer
15 years 7 months ago
An XML-Based Cross-Language Framework
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
Arno Puder
PEPM
2010
ACM
15 years 11 months ago
Clone detection and elimination for Haskell
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
Christopher Brown, Simon Thompson
POPL
2005
ACM
16 years 2 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
POPL
2012
ACM
13 years 9 months ago
A type system for borrowing permissions
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kev...
TLT
2008
90views more  TLT 2008»
15 years 2 months ago
Group Scribbles to Support Knowledge Building in Jigsaw Method
The jigsaw method empowers students to build their own knowledge through successive engagement through interactions in original group discussions and in expert group discussions. H...
Chee-Kit Looi, Chiu-Pin Lin, Kuo-Ping Liu