Advanced search
1 file | 415.05 KB Add to list

Functional declarative language design and predicate calculus: A practical approach

Author
Organization

Downloads

  • 2439.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 415.05 KB

Citation

Please use this url to cite or link to this publication:

MLA
Boute, Raymond. “Functional Declarative Language Design and Predicate Calculus: A Practical Approach.” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 27, no. 5, ASSOC COMPUTING MACHINERY, 2005, pp. 988–1047, doi:1854/4354.
APA
Boute, R. (2005). Functional declarative language design and predicate calculus: A practical approach. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 27(5), 988–1047. https://doi.org/1854/4354
Chicago author-date
Boute, Raymond. 2005. “Functional Declarative Language Design and Predicate Calculus: A Practical Approach.” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 27 (5): 988–1047. https://doi.org/1854/4354.
Chicago author-date (all authors)
Boute, Raymond. 2005. “Functional Declarative Language Design and Predicate Calculus: A Practical Approach.” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 27 (5): 988–1047. doi:1854/4354.
Vancouver
1.
Boute R. Functional declarative language design and predicate calculus: A practical approach. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. 2005;27(5):988–1047.
IEEE
[1]
R. Boute, “Functional declarative language design and predicate calculus: A practical approach,” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 27, no. 5, pp. 988–1047, 2005.
@article{327805,
  author       = {{Boute, Raymond}},
  issn         = {{0164-0925}},
  journal      = {{ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS}},
  language     = {{eng}},
  number       = {{5}},
  pages        = {{988--1047}},
  publisher    = {{ASSOC COMPUTING MACHINERY}},
  title        = {{Functional declarative language design and predicate calculus: A practical approach}},
  url          = {{http://doi.org/1854/4354}},
  volume       = {{27}},
  year         = {{2005}},
}

Altmetric
View in Altmetric
Web of Science
Times cited: