Výsledky vyhledávání - ((automatizace OR automatizacia) OR automation) programming— program transformation

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

Autoři: James D. Stevens

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

Peer Reviewed: N

Page Count: 113

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

Pří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

Autoři: Bonet, Nicolás Garcés, Kelly Casallas, Rubby a další

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

Peer Reviewed: Y

Page Count: 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)

Foundations of Software Science and Computation Structures

Přispěvatelé: Abdulla, Parosh Aziz Kesner, Delia

Témata: 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 souboru: application/pdf

Relation: Lecture Notes in Computer Science

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

Foundations of Software Science and Computation Structures

Přispěvatelé: Bouyer, Patricia Schröder, Lutz

Témata: 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 souboru: application/pdf

Relation: Lecture Notes in Computer Science

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

Foundations of Software Science and Computation Structures

Přispěvatelé: Goubault-Larrecq, Jean König, Barbara

Témata: 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 souboru: application/pdf

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

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

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: 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 souboru: application/pdf

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

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

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Autoři: Neron, Pierre

Témata: [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

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

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

Autoři: Huang, Hanxian

Témata: Computer science

Popis souboru: application/pdf

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

Parallel programming by transformation

Programação paralela por transformação

Autoři: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don a další

Přispěvatelé: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don a další

Zdroj: urn:tid:101394209

Popis souboru: application/pdf

Dostupnost: https://hdl.handle.net/1822/38014

Towards Data Wrangling Automation through Dynamically-Selected Background Knowledge

Autoři: 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

Témata: 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/

Dostupnost: http://hdl.handle.net/10251/160724

Fundamentals of Deductive Program Synthesis.

Autoři: Manna, Zohar Waldinger, Richard

Zdroj: IEEE Transactions on Software Engineering. Aug92, Vol. 18 Issue 8, p674-703. 30p. 2 Color Photographs.

Témata: *SYSTEMS design, *PROGRAM transformation, *COMPUTER programming, *SOFTWARE engineering, *AUTOMATION, *ELECTRONIC data processing

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

Autoři: FILINSKI, ANDRZEJ¹ andrzej@di.ku.dk

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

Témata: *FORMAL languages, *PROGRAMMING language semantics, *ALGORITHMS, *DYNAMIC programming, *LEXICOGRAPHY

Proof-relevant resolution : the foundations of constructive proof automation

Autoři: Farka, František

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

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

Autoři: Changqing Shi Yufei Sun Rui Chen a další

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

Modelling and programming embedded controllers with timed automata and synchronous languages

Autoři: Bourke , Timothy Peter, Computer Science & Engineering, Faculty of Engineering, UNSW

Témata: Argos, Timed automata, Synchronous languages, Esterel, Modelling, Real-time, Simulink, Stateflow, Timing diagrams

Dostupnost: http://handle.unsw.edu.au/1959.4/44746

Inversion by Partial Evaluation: A Reversible Interpreter Experiment

Autoři: Glück, Robert Normann, Louis Marott

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

Témata: 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 souboru: application/pdf

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

Modeling and system analysis of applied mathematics and programming problems.

Autoři: Khodiyev, Shukhrat Nazirova, Dilorom

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

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

Knowledge for Synchronized Dual-Arm Robot Programming

Autoři: Stenmark, Maj Topp, Elin Anna Haage, Mathias a další

Přispěvatelé: Stenmark, Maj Topp, Elin Anna Haage, Mathias a další

Zdroj: Papers from the 2017 AAAI Fall Symposia AAAI Fall Symposium Series 2017.

Témata: Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Robotics and automation, Teknik, Elektroteknik och elektronik, Robotik och automation

Přístupová URL adresa: https://www.aaai.org/ocs/index.php/FSS/FSS17/paper/view/16021

A Modular Program-Transformation Framework for Reducing Specifications to Reachability

Autoři: Beyer, Dirk Jankola, Marek Lingsch-Rosenfeld, Marian a další

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

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

Foundations of Software Science and Computation Structures

Přispěvatelé: Kiefer, Stefan Tasson, Christine

Témata: Mathematical Logic and Formal Languages, Theory of Computation, Natural Language Processing (NLP), Database Management, Programming Techniques, Formal Languages and Automata Theory, automata theory, databases, formal languages, formal logic, computational linguistics, open access, semantics, 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, logical foundations of data bases, models of software security, logical aspects of computation complexity, logics of programming, Mathematical theory of computation, Computer science, Natural language & machine translation, Database programming, Computer programming / software engineering, Artificial intelligence, Databases

Popis souboru: application/pdf

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

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48218