5415 search results - page 138 / 1083 » The Implementation of Functional Programming Languages |
105
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
122
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
107
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
131
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
125
Voted
POPL
2010
ACM
16 years 3 days ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...