Sciweavers

433 search results - page 8 / 87
» A history of the history of programming languages
Sort
View
CONCUR
2010
Springer
15 years 23 days ago
Reasoning about Optimistic Concurrency Using a Program Logic for History
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
118
Voted
SCM
1998
15 years 1 months ago
Version Sensitive Editing: Change History as a Programming Tool
Software Version Control Systems (VCSs) are used to store the versions of program source code created throughout the software development cycle. The traditional purpose of such sys...
David L. Atkins
KBSE
2008
IEEE
15 years 6 months ago
How Program History Can Improve Code Completion
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
Romain Robbes, Michele Lanza
70
Voted
ASE
2010
86views more  ASE 2010»
14 years 11 months ago
Improving code completion with program history
Romain Robbes, Michele Lanza
IEICET
2006
44views more  IEICET 2006»
14 years 11 months ago
Supporting Refactoring Activities Using Histories of Program Modification
Shinpei Hayashi, Motoshi Saeki, Masahito Kurihara