1901 search results - page 110 / 381 » Predicting Program Properties from |
128
Voted
CC
2008
Springer
15 years 4 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
153
Voted
TSE
1998
15 years 2 months ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...
140
Voted
TOG
2012
13 years 5 months ago
2012
This paper investigates “Schelling points” on 3D meshes, feature points selected by people in a pure coordination game due to their salience. To collect data for this investig...
106
Voted
SIGSOFT
2010
ACM
15 years 20 days ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
126
Voted
AFP
1995
Springer
15 years 6 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...