2004 search results - page 111 / 401 » Interaction nets: programming language design and implementa... |
143
click to vote
SIGPLAN
2002
15 years 4 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
180
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
145
Voted
DBPL
1989
Springer
15 years 9 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
121
click to vote
MEDINFO
2007
15 years 6 months ago
2007
The openEHR foundation has developed an innovative design for interoperable and future-proof Electronic Health Record (EHR) systems based on a dual model approach with a stable re...
134
click to vote
DASIP
2010
14 years 12 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...