Singular and Plural Functions for Functional Logic Programming
Functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CS's) as programs in order to define non-strict non-determi-nistic functions. Two semantic alternatives have been usually considered for parameter passing with this kind of functions: call-time ch...
Zapisane w:
| Główni autorzy: | , |
|---|---|
| Format: | Artykuł |
| Wydane: |
2012
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://arxiv.org/abs/1203.2431 http://arxiv.org/abs/1203.2431 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|