6740 search results - page 543 / 1348 » Using Classification as a Programming Language |
115
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
124
Voted
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Little is known about the formation of people’s first perceptions about computers and computer code, yet it is likely that these impressions have a lasting effect on peoples’ ...
134
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
127
click to vote
HIPS
1998
IEEE
15 years 9 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
153
click to vote
ESOP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...