The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
LUSTRE: a declarative language for real-time programming
The work
| Authors | P. Caspi; D. Pilaud; N. Halbwachs; J. A. Plaice |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1987 |
| Citekey | caspi1987lustre |
Where it appeared
| Published in | Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 |
|---|---|
| Publisher | ACM Press |
| Pages | 178--188 |
Identifiers
| DOI | 10.1145/41625.41641 |
|---|
Access
| Landing page | https://doi.org/10.1145/41625.41641 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-25 03:27 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{caspi1987lustre,
title = {LUSTRE: a declarative language for real-time programming},
author = {P. Caspi and D. Pilaud and N. Halbwachs and J. A. Plaice},
year = {1987},
booktitle = {Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87},
publisher = {ACM Press},
pages = {178--188},
doi = {10.1145/41625.41641},
}
This record lives at https://refs.drheap.org/caspi1987lustre/ and will keep doing so.