3713 search results - page 232 / 743 » Constructing a Calculus of Programs |
106
click to vote
FAC
2000
15 years 3 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
126
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
137
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
114
click to vote
DCOSS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
117
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...