7124 search results - page 454 / 1425 » Programming Languages and Operating Systems |
183
click to vote
PPDP
2001
Springer
15 years 12 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
190
Voted
AVI
2000
15 years 8 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
190
click to vote
HOPL
2007
15 years 11 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
198
click to vote
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
246
Voted
POPL
2011
ACM
14 years 10 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...