Suchergebnisse - "Generic Programming"

Associated Effects: Flexible Abstractions for Effectful Programming

Autoren: Matthew Lutze Magnus Madsen

Quelle: Lutze, M & Madsen, M 2024, 'Associated Effects : Flexible Abstractions for Effectful Programming', Proceedings of the ACM on Programming Languages, vol. 8, 163. https://doi.org/10.1145/3656393

Schlagwörter: type functions, ad-hoc polymorphism, effect systems, associated types, associated effects, type classes, generic programming

Zugangs-URL: https://pure.au.dk/portal/en/publications/e82851a3-c39f-4392-8928-294eda5797f6
http://www.scopus.com/inward/record.url?scp=85196850530&partnerID=8YFLogxK
https://doi.org/10.1145/3656393

A Modern C++ Point of View of Programming in Image Processing

Autoren: Roynard, Michaël Carlinet, Edwin Géraud, Thierry

Weitere Verfasser: Roynard, Michaël Carlinet, Edwin Géraud, Thierry

Quelle: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. :164-171

Schlagwörter: Generic Programming, Image processing, [INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV], Modern C++, Performance, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, Image processing Generic Programming Modern C++ Software Performance, 02 engineering and technology, Software

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-03891002v1/document
https://hal.science/hal-03891002v1
https://doi.org/10.1145/3564719.3568692

A Computational Model for the Construction of Knowledge-based Collaborative Learning Distributed Applications

Autoren: Caballé Llobet, Santi

Weitere Verfasser: University/Department: Universitat Oberta de Catalunya. Internet Interdisciplinary Institut (IN3)

Thesis Advisors: Xhafa, Fatos, Daradoumis, Atanasi

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Generic Programming, software reusability, CLPL, computational model, learning process evaluation, group monitoring, awareness and feedback, knowledge management, data interaction analysis, CSCL, Computer-Supported Collaborative Learning, Collaborative learning, software engineering, model-driven development, MDA, service-oriented architectures, SOA, distributed computing, Grid, peer-to-peer, P2P., Ciència de la Computació i Intel·ligència Artificial, Enginyeria Telemàtica, Llenguatges i Sistemes

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.tdx.cat/TDX-0216110-154640
http://hdl.handle.net/10803/9127

Morpheus: A library for efficient runtime switching of sparse matrix storage formats

Autoren: Christodoulos Stylianou Michèle Weiland

Quelle: SoftwareX, Vol 27, Iss , Pp 101775- (2024)

Schlagwörter: Sparse matrix storage formats, Generic programming, Dynamic matrices, Performance portability, Productivity, Computer software, QA76.75-76.765

Dateibeschreibung: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711024001468; https://doaj.org/toc/2352-7110

Zugangs-URL: https://doaj.org/article/9739c5afbac6489e8e7b1c775eab4af7

A completely unique account of enumeration

Autoren: Cas van der Rest Wouter Swierstra

Quelle: Proceedings of the ACM on Programming Languages. 6:411-437

Schlagwörter: datatype generic programming, 0202 electrical engineering, electronic engineering, information engineering, interactive proof assistants, 0102 computer and information sciences, 02 engineering and technology, property-based testing, Agda, 01 natural sciences, dependently typed programming

Zugangs-URL: https://research-portal.uu.nl/en/publications/d627f914-cb1e-47f9-a0a5-6df75e6adc35
https://doi.org/10.1145/3547636
http://resolver.tudelft.nl/uuid:8b970ae1-e3aa-4a61-a5ae-b50d900a1e7a

Practical generic programming over a universe of native datatypes

Autoren: Lucas Escot Jesper Cockx

Quelle: Proceedings of the ACM on Programming Languages. 6:625-649

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, Generic programming, 02 engineering and technology, Dependent types

Zugangs-URL: http://resolver.tudelft.nl/uuid:3fe37bbd-6d36-4765-b03f-69e1b4410d2a

Extensional equality preservation and verified generic programming.

Autoren: BOTTA, NICOLA BREDE, NURIA JANSSON, PATRIK et al.

Quelle: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-24. 24p.

Schlagwörter: *GENERIC programming (Computer science), *FUNCTIONAL programming (Computer science), *DATA structures, *DATA analysis, *PROOF theory

Confederated modular differential equation APIs for accelerated algorithm development and benchmarking

Autoren: Rackauckas, Christopher Nie, Qing

Quelle: Advances in Engineering Software. 132

Schlagwörter: 46 Information and Computing Sciences (for-2020), 4601 Applied Computing (for-2020), Differential equations, Julia, Generic programming, Type-specialization, Polyalgorithms, API Design, 08 Information and Computing Sciences (for), 09 Engineering (for), Applied Mathematics (science-metrix), 40 Engineering (for-2020), 46 Information and computing sciences (for-2020)

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/0tz878vq
https://escholarship.org/content/qt0tz878vq/qt0tz878vq.pdf

Persistent Asynchronous Adaptive Specialization for Generic Array Programming.

Autoren: Grelck, Clemens Wiesinger, Heinrich

Quelle: International Journal of Parallel Programming. Apr2019, Vol. 47 Issue 2, p164-183. 20p.

Schlagwörter: *SOFTWARE engineering, GENERIC programming (Computer science), PARALLEL computers, ASYNCHRONOUS circuits, MULTICORE processors

Gradually typing strategies

Autoren: Smits, J. (author) Visser, Eelco (author)

Quelle: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering. :1-15

Schlagwörter: type preserving, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, gradual types, strategy, 01 natural sciences, generic programming

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3426425.3426928
https://dl.acm.org/doi/10.1145/3426425.3426928
https://www.narcis.nl/publication/RecordID/oai%3Atudelft.nl%3Auuid%3Af53e9398-8fc2-4634-8e3d-e19314e29e9d
https://dl.acm.org/doi/pdf/10.1145/3426425.3426928
http://resolver.tudelft.nl/uuid:f53e9398-8fc2-4634-8e3d-e19314e29e9d

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Autoren: Protzenko, Jonathan Parno, Bryan Fromherz, Aymeric et al.

Weitere Verfasser: Protzenko, Jonathan Parno, Bryan Fromherz, Aymeric et al.

Quelle: 2020 IEEE Symposium on Security and Privacy (SP)

Schlagwörter: Merkle-tree library, EverCrypt, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], API design, 0202 electrical engineering, electronic engineering, information engineering, Secure network protocol, Cross-platform cryptographic provider, 02 engineering and technology, Zero-cost generic programming, Production blockchain, High-performance cryptographic functionalities, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Zugangs-URL: https://ieeexplore.ieee.org/ielx7/9144328/9152199/09152808.pdf
https://inria.hal.science/hal-03154278v1
https://doi.org/10.1109/sp40000.2020.00114
https://www.microsoft.com/en-us/research/uploads/prod/2019/10/evercrypt.pdf
https://ieeexplore.ieee.org/document/9152808
https://www.computer.org/csdl/proceedings-article/sp/2020/349700a670/1j2LfQKFmdG
https://dblp.uni-trier.de/db/conf/sp/sp2020.html#ProtzenkoPFHPBB20
https://www.microsoft.com/en-us/research/publication/evercrypt-a-fast-veri%ef%ac%81ed-cross-platform-cryptographic-provider/
https://www.mendeley.com/catalogue/9c44a960-9fe5-3ad0-b670-f2cdb47ed866/

Existentialize Your Generics

Autoren: Racordon, Dimitri Bovel, Matt Remmal, Hamza

Schlagwörter: Existentialization, Generic Programming, Dynamic Dispatch, Type Classes, Separate Compilation

Relation: MPLR '25: Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes; 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR 2025); 979-8-4007-2149-6; #PLACEHOLDER_PARENT_METADATA_VALUE#; TMAG-2_209506/1; https://infoscience.epfl.ch/handle/20.500.14299/254948

Verfügbarkeit: https://doi.org/10.1145/3759426.3760975
https://infoscience.epfl.ch/handle/20.500.14299/254948
https://hdl.handle.net/20.500.14299/254948

Use Site Checking Considered Harmful

Autoren: Racordon, Dimi Chung, Benjamin Edwards, Jonathan et al.

Weitere Verfasser: Racordon, Dimi Chung, Benjamin Edwards, Jonathan et al.

Schlagwörter: dynamic typing, expression problem, generic programming, static typing, type checking, type safety

Relation: Onward! 2024 - Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2024; ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software; #PLACEHOLDER_PARENT_METADATA_VALUE#; TMAG-2-209506/1; https://infoscience.epfl.ch/handle/20.500.14299/244782

Verfügbarkeit: https://doi.org/10.1145/3689492.3689814
https://infoscience.epfl.ch/handle/20.500.14299/244782
https://hdl.handle.net/20.500.14299/244782

The Conditional Multiway Mapped Tree: Modeling and Analysis of Hierarchical Data Dependencies

Autoren: J. Piatkowski

Quelle: IEEE Access, Vol 8, Pp 74083-74092 (2020)

Schlagwörter: Data processing, tree data structures, 0202 electrical engineering, electronic engineering, information engineering, data visualization, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, generic programming, information analysis, C$++$ templates, TK1-9971

Zugangs-URL: https://ieeexplore.ieee.org/ielx7/6287639/8948470/09069220.pdf
https://doaj.org/article/bbe3458854724219b937fbaa17e38bc1
https://dblp.uni-trier.de/db/journals/access/access8.html#Piatkowski20
https://ieeexplore.ieee.org/document/9069220/

Generic programming with combinators and objects

Autoren: Dmitry S. Kosarev Dmitry Yu. Boulytchev

Quelle: Научно-технический вестник информационных технологий, механики и оптики, Vol 21, Iss 5, Pp 720-726 (2021)

Schlagwörter: generic programming, functional programming, Information technology, T58.5-58.64

Dateibeschreibung: electronic resource

Relation: https://ntv.ifmo.ru/file/article/20749.pdf; https://doaj.org/toc/2226-1494; https://doaj.org/toc/2500-0373

Zugangs-URL: https://doaj.org/article/9b6753df091440c7b0886b97392062cf

Datatype-Generic Programming Meets Elaborator Reflection

Autoren: Ko Chen Lin

Schlagwörter: Programming Language, Datatype-Generic Programming

Relation: https://zenodo.org/records/6879702; oai:zenodo.org:6879702; https://doi.org/10.5281/zenodo.6879702

Verfügbarkeit: https://doi.org/10.5281/zenodo.6879702
https://zenodo.org/records/6879702

Datatype-Generic Programming Meets Elaborator Reflection (Artefact)

Autoren: Ko Chen Lin

Schlagwörter: Programming Language, Datatype-Generic Programming

Relation: https://zenodo.org/records/6954977; oai:zenodo.org:6954977; https://doi.org/10.5281/zenodo.6954977

Verfügbarkeit: https://doi.org/10.5281/zenodo.6954977
https://zenodo.org/records/6954977

Simulating Large Eliminations in Cedille

Autoren: Jenkins, Christa Marmaduke, Andrew Stump, Aaron et al.

Weitere Verfasser: Jenkins, Christa Marmaduke, Andrew Stump, Aaron et al.

Schlagwörter: large eliminations, generic programming, impredicative encodings, Cedille, Mendler algebra

Dateibeschreibung: application/pdf

Relation: Is Part Of LIPIcs, Volume 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2021.9

Verfügbarkeit: https://doi.org/10.4230/LIPIcs.TYPES.2021.9
https://nbn-resolving.org/urn:nbn:de:0030-drops-167784
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2021.9

NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20

Autoren: Lumsdaine, Andrew D'Alessandro, Luke Deweese, Kevin et al.

Weitere Verfasser: Lumsdaine, Andrew D'Alessandro, Luke Deweese, Kevin et al.

Schlagwörter: Graph library, generic programming, graph algorithms

Dateibeschreibung: application/pdf

Relation: Is Part Of LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.31

Verfügbarkeit: https://doi.org/10.4230/LIPIcs.ECOOP.2022.31
https://nbn-resolving.org/urn:nbn:de:0030-drops-162592
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.31

Slicing from formal semantics: Chisel—a tool for generic program slicing.

Autoren: Asăvoae, Irina Măriuca Asăvoae, Mihail Riesco, Adrián

Quelle: International Journal on Software Tools for Technology Transfer. Nov2018, Vol. 20 Issue 6, p739-769. 31p.

Schlagwörter: *GENERIC programming (Computer science), *SEMANTICS, *ASSEMBLY languages (Electronic computers), *EMBEDDED computer systems, *SYSTEMS design