933 search results - page 91 / 187 » Multi-paradigm Declarative Languages |
171
click to vote
IIE
2007
15 years 4 months ago
2007
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
259
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
184
click to vote
KR
1991
Springer
15 years 7 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
133
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
251
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...