8109 search results - page 436 / 1622 » A Model of Component-Based Programming |
251
Voted
PLPV
2012
ACM
14 years 3 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
226
click to vote
JOT
2008
15 years 7 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
280
Voted
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
182
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
185
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...