3572 search results - page 421 / 715 » Nominal Logic Programming |
114
click to vote
ALP
1990
Springer
15 years 9 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
131
click to vote
LOBJET
2008
15 years 5 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
127
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
274
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
250
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...