5377 search results - page 382 / 1076 » Programming Languages For Interactive Computing |
230
click to vote
ICCL
1992
IEEE
15 years 11 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
150
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
180
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
220
click to vote
COST
2009
Springer
16 years 1 months ago
2009
Springer
This paper reviews interactive methods for improving the phonetic competence of subjects in the case of second language learning as well as in the case of speech therapy for subjec...
160
click to vote
ECAL
2005
Springer
16 years 11 days ago
2005
Springer
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...