Výsledky vyhledávání - automation programming— program synthesis
-
1
Autoři:
Zdroj: Information; May2025, Vol. 16 Issue 5, p401, 28p
-
2
Autoři:
Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, 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, Programming Languages (cs.PL), Machine Learning (cs.LG)
Přístupová URL adresa: http://arxiv.org/abs/2104.13315
-
3
Autoři: a další
Zdroj: Proceedings of the ACM on Programming Languages, 9
Proceedings of the ACM on Programming Languages, vol 9, iss PLDITémata: FOS: Computer and information sciences, Code Generation, Language Model, Type System, Program Synthesis, Program Translation, Program Repair, Constrained Decoding, Computer Science - Machine Learning, Software engineering, Numerical and computational mathematics, Computer Science - Programming Languages, Software Engineering, Machine Learning (cs.LG), Information and Computing Sciences, Theory of computation, Programming Languages (cs.PL)
Popis souboru: application/application/pdf; application/pdf
-
4
Autoři:
Zdroj: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p
-
5
Autoři:
Přispěvatelé:
Zdroj: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :87-98
Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
Popis souboru: application/pdf
Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3368089.3409732
http://arxiv.org/abs/2009.10272
https://arxiv.org/abs/2009.10272
http://arxiv.org/pdf/2009.10272.pdf
http://ui.adsabs.harvard.edu/abs/2020arXiv200910272H/abstract
https://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-10272
https://arxiv.org/abs/2009.10272
https://dl.acm.org/doi/pdf/10.1145/3368089.3409732
http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-10272 -
6
Autoři: a další
Zdroj: Modeling and Analysis of Information Systems; Том 31, № 4 (2024); 384-425 ; Моделирование и анализ информационных систем; Том 31, № 4 (2024); 384-425 ; 2313-5417 ; 1818-1015
Témata: process-oriented programming, temporal requirements, requirement pattern, loop invariant, control software
Popis souboru: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/1896/1404; V. E. Zyubin, “Hyper-automaton: A model of control algorithms,” in Proceedings of the Siberian Conference on Control and Communications, 2007, pp. 51–57, doi:10.1109/SIBCON.2007.371297.; V. E. Zyubin, A. S. Rozov, I. S. Anureev, N. O. Garanina, and V. Vyatkin, “poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language,” IEEE Access, vol. 10, pp. 35238–35250, 2022.; IEC, “IEC 61131-3: 2013 programmable controllers-Part 3: programming languages.” 2013, [Online]. Available: https://webstore.iec.ch/publication/4552.; R. H"ahnle and M. Huisman, “Deductive software verification: from pen-and-paper proofs to industrial tools,” Computing and Software Science: State of the Art and Perspectives, pp. 345–373, 2019.; I. Anureev, N. Garanina, T. Liakh, A. Rozov, V. Zyubin, and S. Gorlatch, “Two-Step Deductive Verification of Control Software Using Reflex,” in Perspectives of System Informatics, 2019, pp. 50–63, doi:10.1007/978-3-030-37487-7_5.; I. Chernenko, I. S. Anureev, N. O. Garanina, and S. M. Staroletov, “A temporal requirements language for deductive verification of process-oriented programs,” in Proceedings of the IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 657–662.; I. M. Chernenko, “Requirements patterns in deductive verification of process-oriented programs and examples of their use,” System Informatics, no. 22, pp. 11–20, 2023.; L. C. Paulson, T. Nipkow, and M. Wenzel, “From LCF to Isabelle/HOL,” Formal Aspects of Computing, vol. 31, pp. 675–698, 2019.; E. M. Clarke, T. A. Henzinger, H. Veith, R. Bloem, and others, Handbook of model checking, vol. 10. Springer, 2018.; D. Matichuk, T. Murray, and M. Wenzel, “Eisbach: A Proof Method Language for Isabelle,” Journal of Automated Reasoning, vol. 56, no. 3, pp. 261–282, 2016, doi:10.1007/s10817-015-9360-2.; I. M. Chernenko, I. S. Anureev, and N. O. Garanina, “Requirement patterns in deductive verification of poST programs,” Modeling and Analysis of Information Systems, vol. 31, no. 1, pp. 6–31, 2024.; P. Cousot and R. Cousot, “Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints,” in Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1977, pp. 238–252.; N. Suzuki and K. Ishihata, “Implementation of an array bound checker,” in Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1977, pp. 132–143.; M. A. Col'on, S. Sankaranarayanan, and H. B. Sipma, “Linear invariant generation using non-linear constraint solving,” in Computer Aided Verification, 2003, pp. 420–432.; L. Kov'acs, “Reasoning algebraically about P-solvable loops,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2008, pp. 249–264.; J. Stark and A. Ireland, “Invariant discovery via failed proof attempts,” in International Workshop on Logic Programming Synthesis and Transformation, 1998, pp. 271–288.; K. R. M. Leino and F. Logozzo, “Loop invariants on demand,” in Asian Symposium on Programming Languages and Systems, 2005, pp. 119–134.; M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, “Dynamically discovering likely program invariants to support program evolution,” in Proceedings of the 21st International Conference on Software engineering, 1999, pp. 213–224.; X. Si, H. Dai, M. Raghothaman, M. Naik, and L. Song, “Learning loop invariants for program verification,” Advances in Neural Information Processing Systems, vol. 31, 2018.; C. A. Furia, B. Meyer, and S. Velder, “Loop invariants: Analysis, classification, and examples,” ACM Computing Surveys (CSUR), vol. 46, no. 3, pp. 1–51, 2014.; J. Breck, J. Cyphert, Z. Kincaid, and T. Reps, “Templates and recurrences: better together,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, pp. 688–702.; S. Srivastava, S. Gulwani, and J. S. Foster, “Template-based program verification and program synthesis,” International Journal on Software Tools for Technology Transfer, vol. 15, pp. 497–518, 2013.; Z. Manna et al., “STeP: The Stanford temporal prover,” in Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995, pp. 793–794.; C. Belo Lourencco, D. Cousineau, F. Faissole, C. March'e, D. Mentr'e, and H. Inoue, “Automated formal analysis of temporal properties of Ladder programs,” International Journal on Software Tools for Technology Transfer, vol. 24, no. 6, pp. 977–997, 2022.; A. Blanchard, F. Loulergue, and N. Kosmatov, “Towards full proof automation in Frama-C using auto-active verification,” in NASA Formal Methods Symposium, 2019, pp. 88–105.; A. Naumchev, “Seamless object-oriented requirements,” in Proceedings of the International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2019, pp. 0743–0748.; A. Gupta and A. Rybalchenko, “Invgen: An efficient invariant generator,” in Proceedings of the Computer Aided Verification, 2009, pp. 634–640.; D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis for combined theories,” in International Workshop on Verification, Model Checking, and Abstract Interpretation, 2007, pp. 378–394.; A. Mekki, M. Ghazel, and A. Toguyeni, “Patterns-Based Assistance for Temporal Requirement Specification,” in Proceedings of the International Conference on Software Engineering Research and Practice (SERP), 2011, p. 40893006.; M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, “Patterns in property specifications for finite-state verification,” in Proceedings of the 21st International Conference on Software Engineering, 1999, pp. 411–420.
-
7
Autoři: Schmitt, Jonas
Témata: Computational Engineering, Finance, and Science (cs.CE), FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Formal Languages and Automata Theory (cs.FL), FOS: Mathematics, Computer Science - Neural and Evolutionary Computing, Computer Science - Formal Languages and Automata Theory, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), Neural and Evolutionary Computing (cs.NE), Computer Science - Computational Engineering, Finance, and Science
Přístupová URL adresa: http://arxiv.org/abs/2312.14875
-
8
Autoři: a další
Zdroj: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :152-167
Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
Přístupová URL adresa: http://arxiv.org/abs/2203.09993
-
9
Zdroj: International Association for Development of the Information Society. 2012.
Peer Reviewed: N
Page Count: 308
Descriptors: Academic Achievement, Academic Persistence, Academic Support Services, Access to Computers, Access to Education, Access to Information, Accounting, Acoustics, Administration, Adolescents, Alignment (Education), Appropriate Technology, Art Teachers, Artificial Intelligence, At Risk Students, Attention, Autism, Automation, Barriers, Behavior Change, Biology, Books, Brain, Business Administration Education, Business, Calculus, Career Exploration, Career Readiness, Case Studies, Causal Models, Cerebral Palsy, Change Agents, Classification, Classroom Communication, Classroom Environment, Client Server Architecture, Cognitive Processes, Cognitive Science, Cognitive Structures, Cognitive Style, Collaborative Writing, College Faculty, College Freshmen, College Instruction, College Readiness, College Students, Color, Communication (Thought Transfer), Communication Skills, Communications, Communities of Practice, Community Development, Comparative Analysis, Competition, Computer Assisted Instruction, Computer Assisted Testing, Computer Games, Computer Interfaces, Computer Literacy, Computer Mediated Communication, Computer Networks, Computer Science Education, Computer Science, Computer Security, Computer Simulation, Computer Software, Computers, Concept Mapping, Constructivism (Learning), Content Analysis, Context Effect, Conventional Instruction, Cooperation, Cooperative Learning, Corporate Education, Correlation, Cost Effectiveness, Creativity, Criteria, Critical Thinking, Cues, Curriculum Design, Curriculum, Data Analysis, Data Collection, Data Processing, Data, Database Management Systems, Decision Making, Delivery Systems, Design, Development, Difficulty Level, Disabilities, Discovery Learning, Distance Education, Educational Research, Down Syndrome, Dropouts, Ecology, Editing, Educational Assessment, Educational Attainment, Educational Environment, Educational Finance, Educational Games, Educational Media, Educational Objectives, Educational Practices, Educational Psychology, Educational Quality, Educational Resources, Educational Technology, Electronic Learning, Electronic Publishing, Electronics, Elementary Education, Elementary Secondary Education, Emotional Response, Energy, Engineering, English (Second Language), Entrepreneurship, Environmental Education, Epistemology, Equipment, Evaluation Methods, Evaluative Thinking, Evidence, Exhibits, Expertise, Eye Movements, Faculty Development, Feedback (Response), Foreign Countries, Foreign Policy, Forestry, Formative Evaluation, General Education, Geographic Location, Global Approach, Goal Orientation, Graduate Students, Grammar, Grounded Theory, Group Dynamics, Group Experience, Group Membership, Handheld Devices, Heterogeneous Grouping, High School Students, High Schools, High Stakes Tests, Higher Education, Holistic Approach, Hypermedia, Identification, Imagination, Immigration, Indexing, Indigenous Populations, Influence of Technology, Informal Education, Information Dissemination, Information Literacy, Information Management, Information Retrieval, Information Science, Information Seeking, Information Skills, Information Storage, Information Technology, Inquiry, Instruction, Instructional Design, Instructional Effectiveness, Integrated Learning Systems, Interaction, Interdisciplinary Approach, Internet, Interpersonal Communication, Interpersonal Relationship, Interrater Reliability, Intervention, Introductory Courses, Italian, Item Banks, Kindergarten, Knowledge Level, Laboratories, Laboratory Equipment, Language Role, Learner Engagement, Learning Activities, Learning Experience, Learning Motivation, Learning Processes, Learning Theories, Learning, Lexicography, Lifelong Learning, Likert Scales, Literacy, Logical Thinking, Man Machine Systems, Mathematical Logic, Mathematical Models, Mathematics, Metacognition, Metadata, Middle School Students, Mixed Methods Research, Models, Motivation, Multimedia Materials, Museums, National Programs, Native Speakers, Natural Language Processing, Nonprint Media, Norwegian, Novices, Official Languages, Online Courses, Online Searching, Open Source Technology, Opportunities, Outcomes of Education, Ownership, Pattern Recognition, Peer Evaluation, Peer Relationship, Performance Based Assessment, Personal Autonomy, Personality Traits, Physical Environment, Pilot Projects, Planning, Play, Prediction, Predictor Variables, Preservice Teacher Education, Preservice Teachers, Prior Learning, Privacy, Probability, Problem Based Learning, Problem Solving, Production Techniques, Programming, Public Agencies, Public Policy, Questioning Techniques, Reading Improvement, Reference Materials, Reflection, Relevance (Education), Religious Education, Research Methodology, Role Playing, Scaffolding (Teaching Technique), Schemata (Cognition), Scholarship, School Policy, Science Activities, Science Process Skills, Scientific Methodology, Scores, Search Engines, Second Language Instruction, Second Language Learning, Secondary Education, Secondary School Science, Secondary School Students, Selection, Self Control, Self Evaluation (Individuals), Semantics, Semi Structured Interviews, Semitic Languages, Sharing Behavior, Simulated Environment, Social Behavior, Social Networks, Social Studies, Social Support Groups, Social Systems, Special Needs Students, Stakeholders, Standards, Story Telling, Strategic Planning, Student Attitudes, Student Behavior, Student Centered Curriculum, Student Characteristics, Student Empowerment, Student Evaluation, Student Improvement, Student Motivation, Student Surveys, Students, Study Habits, Summative Evaluation, Summer Schools, Sustainability, Synthesis, Systems Analysis, Taxonomy, Teacher Influence, Teacher Student Relationship, Teaching Methods, Teaching Skills, Teamwork, Technical Education, Technical Occupations, Technological Advancement, Technology Integration, Technology Uses in Education, Telecommunications, Test Reliability, Tests, Textbooks, Theory Practice Relationship, Thinking Skills, Time Management, Time, Tutoring, Tutors, Underachievement, Undergraduate Students, Users (Information), Video Technology, Virtual Classrooms, Visual Aids, Visual Environment, Visual Literacy, Visualization, Vocabulary Development, Water Quality, Web 2.0 Technologies, Web Sites, Weighted Scores, Workshops, World Views, Writing Improvement
Geografický termín: Asia, Australia, Brazil, Connecticut, Denmark, Egypt, Estonia, Florida, Germany, Greece, Hawaii, Ireland, Israel, Italy, Japan, Kazakhstan, Netherlands, Norway, Ohio, Pakistan, Pennsylvania, Philippines, Portugal, Singapore, South Korea, Spain, Spain (Madrid), Turkey, United Kingdom, United Kingdom (England), United States
-
10
Přispěvatelé: Boyle, J.
Zdroj: Conference: Conference on the production and assessment of numerical software, Liverpool, UK, 9 Apr 1979
Popis souboru: Medium: ED; Size: Pages: 25
Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/6574580
-
11
Autoři: Das, Ria A.
Thesis Advisors: Solar-Lezama, Armando, Tenenbaum, Joshua B., Tavares, Zenna, Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Popis souboru: application/pdf
Dostupnost: https://hdl.handle.net/1721.1/144736
-
12
Autoři:
Zdroj: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p397-411, 15p
-
13
Autoři: Lars-Henrik Eriksson
Zdroj: The Journal of Logic Programming. 1:3-18
Témata: formal specification, Specification and verification (program logics, model checking, etc.), logic language, correctness, Logic, Horn clauses, Formal languages and automata, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, program synthesis, 0202 electrical engineering, electronic engineering, information engineering, Abstract data types, algebraic specification, Theorem proving (deduction, resolution, etc.)
Popis souboru: application/xml
Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0743106684900207
https://dblp.uni-trier.de/db/journals/jlp/jlp1.html#Eriksson84
https://www.sciencedirect.com/science/article/abs/pii/0743106684900207
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1432210
https://core.ac.uk/display/82242310 -
14
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
-
15
Autoři:
Zdroj: Proceedings of the ACM on Programming Languages. 2:1-30
Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, Programming Languages (cs.PL)
Přístupová URL adresa: http://dl.acm.org/ft_gateway.cfm?id=3158151&type=pdf
http://arxiv.org/abs/1710.07740 -
16
Autoři:
Zdroj: Systems Integration '90. Proceedings of the First International Conference on Systems Integration. :346-355
Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
17
Přispěvatelé:
Témata: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, concurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/89906
-
18
Přispěvatelé:
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
-
19
Přispěvatelé:
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/89912
-
20
Autoři:
Zdroj: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p
Témata: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings
Full Text Finder 
Nájsť tento článok vo Web of Science