Výsledky vyhľadávania - ((automatizace OR automatización) OR automation) programming— program transformation

Program Transformation and Code Generation for Developing, Modeling, and Optimizing GPU Programs

Autori: James D. Stevens

Zdroj: ProQuest LLC. 2021Ph.D. Dissertation, University of Illinois at Urbana-Champaign.

Peer Reviewed: N

Počet strán: 113

Descriptors: Computation, Programming, Computer Graphics, Automation, Man Machine Systems, Computers, Models, Computer Interfaces, Sciences, Engineering

Prístupová URL adresa: https://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:31356323

Influence of Programming Style in Transformation Bad Smells: Mining of ETL Repositories

Autori: Bonet, Nicolás Garcés, Kelly Casallas, Rubby a ďalší

Zdroj: Computer Science Education. 2018 28(1):87-108.

Peer Reviewed: Y

Počet strán: 22

Descriptors: Foreign Countries, Graduate Students, Masters Programs, Programming, Computer Science Education, Problems, Statistical Analysis, Comparative Analysis, Incidence, Automation, Error Correction

Geografický termín: Colombia (Bogota)

Towards AI-Assisted Programming: Automation, Comprehensiveness, and Optimization

Autori: Huang, Hanxian

Predmety: Computer science

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/1d54d15r
https://escholarship.org/content/qt1d54d15r/qt1d54d15r.pdf

Foundations of Software Science and Computation Structures

Prispievatelia: Abdulla, Parosh Aziz Kesner, Delia

Predmety: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101666

Foundations of Software Science and Computation Structures

Prispievatelia: Bouyer, Patricia Schröder, Lutz

Predmety: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027

Foundations of Software Science and Computation Structures

Prispievatelia: Goubault-Larrecq, Jean König, Barbara

Predmety: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37723

TransCL: An Automatic CUDA-to-OpenCL Programs Transformation Framework

Autori: Changqing Shi Yufei Sun Rui Chen a ďalší

Zdroj: ACM Transactions on Architecture and Code Optimization. 22:1-24

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Biere, Armin Parker, David

Predmety: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724

A Modular Program-Transformation Framework for Reducing Specifications to Reachability

Autori: Beyer, Dirk Jankola, Marek Lingsch-Rosenfeld, Marian a ďalší

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2501.16310

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Autori: Neron, Pierre

Predmety: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Program Transformation, Real Number arithmetic, Anti-unification, Semantics of Programming Languages, Proof Assistant, Embedded Systems, Quantifier Elimination

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf

Automata-Based Software Engineering with Event-B.

Autori: Shelekhov, V. I.^1,2 (AUTHOR) vshel@iis.nsk.su

Zdroj: Programming & Computer Software. Oct2023, Vol. 49 Issue 5, p470-483. 14p.

Predmety: *PROGRAMMING languages, *SOFTWARE engineering, *TRAFFIC engineering, *PROGRAM transformation

Towards Data Wrangling Automation through Dynamically-Selected Background Knowledge

Autori: Contreras Ochando, Lidia

Thesis Advisors: Ferri Ramírez, César, Hernández Orallo, José, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació, Ministerio de Economía y Competitividad, Ministerio de Educación, Cultura y Deporte, Agencia Estatal de Investigación

Predmety: Inteligencia artificial (IA), Sistemas de gestión del aprendizaje, Ciencia de datos, Programación declarativa, Lenguajes de programación declarativos, Automatización de datos, Programación inductiva, Inductive Programming, Data Wrangling Automation, Declarative Programming Languages, Dynamic Background Knowledge, Automating Data Science, Program Synthesis, Artificial intelligence, General-purpose learning systems, LENGUAJES Y SISTEMAS INFORMATICOS

Relation: info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/; info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/; info:eu-repo/grantAgreement/MECD//FPU15%2F03219/ES/FPU15%2F03219/

Dostupnosť: http://hdl.handle.net/10251/160724

Parallel programming by transformation

Programação paralela por transformação

Autori: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don a ďalší

Prispievatelia: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don a ďalší

Zdroj: urn:tid:101394209

Popis súboru: application/pdf

Dostupnosť: https://hdl.handle.net/1822/38014

Modeling and system analysis of applied mathematics and programming problems.

Autori: Khodiyev, Shukhrat Nazirova, Dilorom

Zdroj: AIP Conference Proceedings. 2025, Vol. 3356 Issue 1, p1-12. 12p.

Predmety: *APPLIED mathematics, *SYSTEMS theory, *TEMPERATURE distribution, *UNIVERSITY research, *COMPUTER simulation, *MATHEMATICAL programming, *PROGRAM transformation, *AUTOMATION

Preparing Future Educators of Primary School for Implementing STEM Education Elements and the Use of Artificial Intelligence (AI) in the Field of Education.

Autori: Drokina, Alina Upatova, Iryna Shanskova, Tеtiana a ďalší

Zdroj: BRAIN: Broad Research in Artificial Intelligence & Neuroscience; Sep2025, Vol. 16 Issue 3, p57-67, 11p

Predmety: STEM education, ARTIFICIAL intelligence, TEACHER education, PROFESSIONAL competence, PROJECT method in teaching, DIGITAL transformation, INSTRUCTIONAL innovations, PRIMARY education

Inversion by Partial Evaluation: A Reversible Interpreter Experiment

Autori: Glück, Robert Normann, Louis Marott

Zdroj: Electronic Proceedings in Theoretical Computer Science. 413:1-14

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, D.3.4, Formal Languages and Automata Theory (cs.FL), F.1.1, F.3.2, Computer Science - Formal Languages and Automata Theory, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2412.03122

Proof-directed program transformation: A functional account of efficient regular expression matching.

Autori: FILINSKI, ANDRZEJ¹ andrzej@di.ku.dk

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

Predmety: *FORMAL languages, *PROGRAMMING language semantics, *ALGORITHMS, *DYNAMIC programming, *LEXICOGRAPHY

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Autori: Rob van Glabbeek Wendelin Serwe John P. Gallagher

Zdroj: arXiv: Logic in Computer Science.

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/1803.08668
https://forskning.ruc.dk/da/publications/proceedings-third-workshop-on-models-for-formal-analysis-of-real-
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1261199
http://arxiv.org/pdf/1803.08668.pdf
https://arxiv.org/abs/1803.08668
http://ui.adsabs.harvard.edu/abs/2018arXiv180308668G/abstract

Towards Intelligent Computational Tools for Virtual Cinematography

Autori: Litteneker, Alan Ulfers

Predmety: Computer science, Cinematography, Computer Graphics, Human Computer Interaction, Programming Languages

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/8tb8d0kq
https://escholarship.org/content/qt8tb8d0kq/qt8tb8d0kq.pdf

Proof-relevant resolution : the foundations of constructive proof automation

Autori: Farka, František

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.842302