Search Results - ((automatic OR automatizace) OR automation) programming— program synthesis
-
1
Authors: Cardenas, Alfonso F.
Source: MIS Quarterly, 1977 Sep 01. 1(3), 49-72.
Access URL: https://www.jstor.org/stable/248712
-
2
Authors:
Contributors:
Source: urn:tid:202230716
Subject Terms: First approach, Basilar questions, Relationship between State-of-the Art, GP variants and GEP
File Description: application/pdf
Availability: http://hdl.handle.net/10400.1/12710
-
3
Authors:
Source: Information; May2025, Vol. 16 Issue 5, p401, 28p
-
4
Authors: Gissurarson, Matthías Páll, 1991
Subject Terms: Types, Tests, Compilers, Program Repair, Program Synthesis
File Description: electronic
-
5
Authors:
Source: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p
-
6
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
-
7
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
-
8
Authors:
Source: IEEE Access, Vol 10, Pp 24864-24876 (2022)
Subject Terms: Automatic programming, beam search, LSTM, neural network, programming by example, program synthesis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
9
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
-
10
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
-
11
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
-
12
Authors: et al.
Source: Cluster Computing. Dec2025, Vol. 28 Issue 15, p1-19. 19p.
-
13
Authors: et al.
Source: Journal of Artificial Intelligence Research; 2025, Vol. 82, p1961-1997, 37p
Subject Terms: TIME complexity, INDUCTION (Logic), LOGIC programming, PRIOR learning, SCALABILITY
-
14
Authors: Sarracino, John
Subject Terms: Computer science, Automatic Programming, Diagrams, Invariants, Layouts, Program Synthesis
File Description: application/pdf
-
15
Authors: Bavishi, Rohan Jayesh
Subject Terms: Computer science, Code Generation, Machine Learning, Program Mining, Program Synthesis, Programming Assistants
File Description: application/pdf
-
16
Authors: et al.
Source: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p
-
17
Authors:
Peer Reviewed: N
Page Count: 66
Sponsoring Agency: Advanced Research Projects Agency (DOD), Washington, DC.
National Science Foundation, Washington, DC. -
18
Authors: et al.
Source: Programming & Computer Software; Dec2024, Vol. 50 Issue 8, p725-741, 17p
-
19
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
-
20
Authors: et al.
Source: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8735, 26p
Nájsť tento článok vo Web of Science 
Full Text Finder