Search Results - (automatische OR automation) programming— program synthesis
-
1
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 9(PLDI)
Subject Terms: Information and Computing Sciences, Software Engineering, Code Generation, Language Model, Type System, Program Synthesis, Program Translation, Program Repair, Constrained Decoding, Software engineering, Theory of computation, Numerical and computational mathematics
File Description: application/pdf
-
2
Authors:
Source: Information; May2025, Vol. 16 Issue 5, p401, 28p
-
3
Authors:
Source: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p
-
4
Authors:
Subject Terms: 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)
Access URL: http://arxiv.org/abs/2104.13315
-
5
Authors: et al.
Source: Modeling and Analysis of Information Systems; Том 31, № 4 (2024); 384-425 ; Моделирование и анализ информационных систем; Том 31, № 4 (2024); 384-425 ; 2313-5417 ; 1818-1015
Subject Terms: process-oriented programming, temporal requirements, requirement pattern, loop invariant, control software
File Description: 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.
-
6
Authors:
Contributors:
Source: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :87-98
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: 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 -
7
Authors: et al.
Source: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :152-167
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/2203.09993
-
8
Authors: Crespo, Juan Manuel
Thesis Advisors: Barthe, Gilles
Subject Terms: Informática
Access URL: http://hdl.handle.net/10803/454197
-
9
Authors: Schmitt, Jonas
Subject Terms: 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
Access URL: http://arxiv.org/abs/2312.14875
-
10
Authors: Marín Prades, Raúl
Contributors: University/Department: Universitat Jaume I. Departament d'Enginyeria i Ciència dels Computadors
Thesis Advisors: Sanz Valero, Pedro José, Sánchez Garreta, José Salvador, Pobil, Àngel Pasqual del
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Augmented Reality, Virtual Reality, Grasping Determination, Object Recognition, Telelaboratories, Human-Robot Interfaces, Network Robots, Internet, Online Robots, Arquitectura i Tecnologia de Computadors
Time: 621.3
File Description: application/pdf
-
11
Authors: Caulfield, Benjamin Vincent
Subject Terms: Computer science, Concept Learning, Exact Active Learning, Formal Synthesis, Program Synthesis
File Description: application/pdf
-
12
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
13
Authors: et al.
Source: EJNMMI Research. 3(1)
Subject Terms: 32 Biomedical and Clinical Sciences (for-2020), 3202 Clinical Sciences (for-2020), 3211 Oncology and Carcinogenesis (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Bioengineering (rcdc), Radiochemistry software, Synthesis automation, Positron emission tomography, Unit operations, 1101 Medical Biochemistry and Metabolomics (for), 1103 Clinical Sciences (for), 1112 Oncology and Carcinogenesis (for), 3202 Clinical sciences (for-2020), 3211 Oncology and carcinogenesis (for-2020)
File Description: application/pdf
-
14
Authors: Chi, Yuze
Subject Terms: Computer science, Customized Computing, Design Automation, FPGA Acceleration, Heterogeneous Systems, High-Level Synthesis, Memory-Bound Applications
File Description: application/pdf
-
15
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
16
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
17
Authors: et al.
Source: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p
-
18
Contributors: Boyle, J.
Source: Conference: Conference on the production and assessment of numerical software, Liverpool, UK, 9 Apr 1979
File Description: Medium: ED; Size: Pages: 25
-
19
Authors: Das, Ria A.
Thesis Advisors: Solar-Lezama, Armando, Tenenbaum, Joshua B., Tavares, Zenna, Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
File Description: application/pdf
Availability: https://hdl.handle.net/1721.1/144736
-
20
Source: 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
Geographic Terms: 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
Full Text Finder 
Nájsť tento článok vo Web of Science