Výsledky vyhledávání - "Program transformation (Computer programming)"

Upřesnit hledání
  1. Obálka

    What factors will affect the effectiveness of using ChatGPT to solve programming problems? A quasi-experimental study Autor Jing, Yuhui

    Citation/Abstract
    Full Text
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  2. Obálka

    Framework For Dynamic Programming Autor Plebani, Louis

    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  3. Obálka

    Declarative Languages for Advanced Information Technologies Autor Kosky, Anthony

    Vydáno v Journal of Information Technology (Jun 1988)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  4. Obálka

    A Qualitative JustiV5/8ation of a Measure of Program Clarity Autor Gordon, R D

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  5. Obálka

    Computer Vision Teaching Modules For Community College Computer Science And Engineering Courses Autor Bebis, George

    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  6. Obálka

    The Visual Stress Transformer: An Animated Computer Graphics Program For Engineering Mechanics Education Autor Ressler, Stephen J

    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  7. Obálka

    Improving Programming Language Transformation Autor O'Hara, Steven A

    Citation/Abstract
    Full Text
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  8. Obálka

    The Logic of Computer Programming Autor Manna, Z

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  9. Obálka

    Program Optimization Using Invariants Autor Katz, S

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  10. Obálka

    Robust Low-Overhead Binary Rewriting: Design, Extensibility, and Customizability Autor Majlesi Kupaei, Amir

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  11. Obálka

    Analysis and Transformation of Constrained Horn Clauses for Program Verification Autor De Angelis, Emanuele

    Vydáno v arXiv.org (Aug 2, 2021)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  12. Obálka

    Democratizing Self-Service Data Preparation Through Example Guided Program Synthesis, Autor Jin, Zhongjun

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  13. Obálka

    One Monad to Prove Them All Autor Dylus, Sandra

    Vydáno v arXiv.org (Feb 1, 2019)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  14. Obálka

    Transformational Verification of Quicksort Autor De Angelis, Emanuele

    Vydáno v arXiv.org (Aug 7, 2020)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  15. Obálka

    Fostering an Asset Mindset to Broaden Participation through the Transformation of an Engineering Diversity Program Autor Louie, Beverly

    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  16. Obálka

    Searching for points-to analysis Autor Bruns, Glenn

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  17. Obálka

    Logic + control: On program construction and verification Autor Drabent, Włodzimierz

    Vydáno v arXiv.org (May 12, 2017)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  18. Obálka

    An e-Learning Collaborative Filtering Approach to Suggest Problems to Solve in Programming Online Judges Autor Toledo, Raciel

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:
  19. Obálka

    Verifying Procedural Programs via Constrained Rewriting Induction Autor Fuhs, Carsten

    Vydáno v arXiv.org (Feb 25, 2017)
    Citation/Abstract
    Full text outside of ProQuest
    Přidat do oblíbených
    Uloženo v:
  20. Obálka

    Program Development as a Formal Activity Autor Broy, M

    Citation/Abstract
    Full Text - PDF
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: