2625 search results - page 323 / 525 » The development of the Emerald programming language |
147
click to vote
JOT
2006
15 years 6 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
195
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
156
click to vote
ADAEUROPE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
186
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...
199
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...