Výsledky vyhledávání - 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)

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

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

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

Autoři: Rob van Glabbeek Wendelin Serwe John P. Gallagher

Zdroj: arXiv: Logic in Computer Science.

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

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

Automata-Based Software Engineering with Event-B.

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

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

Témata: *PROGRAMMING languages, *SOFTWARE engineering, *TRAFFIC engineering, *PROGRAM transformation

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

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

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

Analogical program derivation based on type theory

Autoři: Jianguo Lu Jiafu Xu

Zdroj: Theoretical Computer Science. 113:259-272

Témata: program transformation, analogical correspondence, Specification and verification (program logics, model checking, etc.), software automation, 0102 computer and information sciences, 02 engineering and technology, analogical reasoning, 01 natural sciences, Theoretical Computer Science, program derivation, analogical programming, 0202 electrical engineering, electronic engineering, information engineering, Higher-order logic, type theory, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/tcs/tcs113.html#LuX93
https://doi.org/10.1016/0304-3975(93)90004-D
https://www.sciencedirect.com/science/article/pii/030439759390004D

Automatic, self-adaptive control of unfold transformations

Přispěvatelé: Boyle, J

Zdroj: Conference: International Federation for Information Processing (IFIP) conference on programming concepts, methods and calculi,San Miniato (Italy),6-10 Jun 1994; Other Information: PBD: [1994]

Popis souboru: Medium: ED; Size: 26 p.

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/10154092

Automation of parallel programming in modeling of multiphase media. Optimal parallelization.

Autoři: Pekunov, V.¹

Zdroj: Automation & Remote Control. Jul2008, Vol. 69 Issue 7, p1252-1261. 10p. 3 Diagrams.

Témata: *AUTOMATIC control systems, *PARALLEL programming, *PROGRAM transformation, *LEAST squares, *EXTRAPOLATION, *ESTIMATION theory

Verification of Imperative Programs by Constraint Logic Program Transformation

Autoři: DE ANGELIS, EMANUELE FIORAVANTI, Fabio Alberto Pettorossi a další

Zdroj: Electronic proceedings in theoretical computer science 129 (2013): 186–210.
info:cnr-pdr/source/autori:Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti/titolo:Verification of Imperative Programs by Constraint Logic Program Transformation/doi:/rivista:Electronic proceedings in theoretical computer science/anno:2013/pagina_da:186/pagina_a:210/intervallo_pagine:186–210/volume:129
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 186-210 (2013)

Témata: Program Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.1,F.3.2,F.4.1,I.2.2,D.2.4, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1309.5139
http://arxiv.org/abs/1309.5139
https://publications.cnr.it/doc/268050
http://www.cnr.it/prodotto/i/268050
https://doaj.org/article/de24029bfece49d1b9f91e4e8d0dc595
http://arxiv.org/pdf/1309.5139.pdf
https://128.84.21.199/abs/1309.5139
https://arxiv.org/abs/1309.5139
https://ui.adsabs.harvard.edu/abs/2013arXiv1309.5139D/abstract
https://arxiv.org/abs/1309.5139
https://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#AngelisFPP13
https://doi.org/10.4204/EPTCS.129.12

Transformations of logic programs on infinite lists

Autoři: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. a další

Přispěvatelé: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. a další

Zdroj: Theory and practice of logic programming 10 (2010): 383–399.
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M.; Senni, V./titolo:Transformations of Logic Programs on Infinite Lists/doi:/rivista:Theory and practice of logic programming/anno:2010/pagina_da:383/pagina_a:399/intervallo_pagine:383–399/volume:10

Témata: Program Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.1.6, QA75 Electronic computers. Computer science, D.2.4, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, 0102 computer and information sciences, 02 engineering and technology, Logic programming, Program transformation, Logic programming, 01 natural sciences, Infinite Lists, Logic in Computer Science (cs.LO), Program Transformation, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, F.3.1, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1007.4157
http://arxiv.org/abs/1007.4157
http://www.cnr.it/prodotto/i/7494
https://publications.cnr.it/doc/7494
https://publications.cnr.it/doc/153702
http://www.cnr.it/prodotto/i/153702
https://arxiv.org/pdf/1007.4157
https://arxiv.org/abs/1007.4157v1
http://ui.adsabs.harvard.edu/abs/2010arXiv1007.4157P/abstract
https://art.torvergata.it/handle/2108/32777
https://arxiv.org/pdf/1007.4157
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068410000177
https://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-4157
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/transformations-of-logic-programs-on-infinite-lists/CED87C4272FF933AAAB404640275E563
https://hdl.handle.net/20.500.14243/170367

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

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

Automating the Diagram Method to Prove Correctness of Program Transformations

Autoři: Sabel, David

Témata: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1902.08420

Automated generation of program translation and verification tools using annotated grammars

Autoři: Ordóñez Camacho, Diego Mens, Kim Brand, Mark van den a další

Zdroj: Science of Computer Programming. Jan2010, Vol. 75 Issue 1/2, p3-20. 18p.

Témata: *PROGRAM transformation, *COMPUTER programming, *COMPUTER software, *AUTOMATION, *VERIFICATION of computer systems, *GRAMMAR, *PROGRAMMING languages