Výsledky vyhľadávania - "compositional programming"

Compositional Relational Programming with Name Projection and Compositional Synthesis

Autori: Paçacı, Görkem McKeever, Steve Hamfelt, Andreas

Zdroj: Perspectives of System Informatics Lecture Notes in Computer Science. :306-321

Predmety: Logic programming, program synthesis, relational programming, programming languages, compositional programming, meta-programming, meta-interpreter, Information Systems, Informationssystem

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-337285
https://uu.diva-portal.org/smash/get/diva2:1168847/FULLTEXT01.pdf

Compositional C++: Compositional parallel programming

Autori: Chandy, K. Mani Kesselman, Carl

Zdroj: Lecture Notes in Computer Science ISBN: 9783540575023

Predmety: Parallel processing, object-oriented programming, compositional programming, Parallel processing, object-oriented programming, C++, compositional programming, 7. Clean energy, C++

Prístupová URL adresa: https://authors.library.caltech.edu/26756/2/92-13.pdf
https://link.springer.com/chapter/10.1007/3-540-57502-2_44
https://link.springer.com/content/pdf/10.1007%2F3-540-57502-2_44.pdf
https://rd.springer.com/chapter/10.1007/3-540-57502-2_44
https://dblp.uni-trier.de/db/conf/lcpc/lcpc1992.html#ChandyK92

Compositional C++: Compositional Parallel Programming

Autori: Chandy, K. Mani Kesselman, Carl

Predmety: Parallel processing, object-oriented programming, C++, compositional programming

Relation: https://authors.library.caltech.edu/communities/caltechauthors/; https://doi.org/10.7907/Z94F1NX8; eprintid:26756

Dostupnosť: https://doi.org/10.7907/Z94F1NX8

General Terms

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utexas.edu/ftp/pub/techreports/tr06-33.pdf.

Predmety: Design, Languages, Verification. Keywords compositional programming, program synthesis, SAT solvers, features

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2546

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2546
http://www.cs.utexas.edu/ftp/pub/techreports/tr06-33.pdf

Safe composition of product lines

Autori: Sahil Thaker Don Batory David Kitchin a ďalší

Prispievatelia: Sahil Thaker Don Batory David Kitchin a ďalší

Zdroj: http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf.

Predmety: Design, Languages, Verification. Keywords compositional programming, product lines, SAT solvers, features

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2252; http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2252
http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf

Building Blocks for Embedded Control Systems

Autori: Jan F. Broenink Gerald Hilderink André W. P. Bakkers a ďalší

Prispievatelia: Jan F. Broenink Gerald Hilderink André W. P. Bakkers a ďalší

Zdroj: http://www.ce.utwente.nl/rtweb/publications/2000/pdf-files/049r2000.pdf.

Predmety: Building Blocks, Compositional Programming, Control

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.1935

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.1935
http://www.ce.utwente.nl/rtweb/publications/2000/pdf-files/049r2000.pdf

General principles of compositional programming in the production of program systems

Autori: Messikh, I. G. Shtrik, A. A.

Predmety: General topics in the theory of software, compositional programming

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/6451