6174 search results - page 357 / 1235 » The language of social software |
163
click to vote
ISOTAS
1993
15 years 11 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
172
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Creating a software product line from a legacy application is a difficult task. We propose a tool that helps automating tedious tasks of refactoring legacy applications into featu...
166
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
194
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
172
Voted
CC
2006
Springer
15 years 8 months ago
2006
Springer
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...