1446 search results - page 119 / 290 » Hardware Software Co-Design Using Functional Languages |
122
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
131
click to vote
INFORMATICALT
2002
15 years 4 months ago
2002
Abstract. We present an analysis of the separation of concerns in multi-language design and multilanguage specifications. The basis for our analysis is the paradigm of the multi-di...
160
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
130
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
153
click to vote
ERLANG
2004
ACM
15 years 10 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...