Apex: automatic programming assignment error explanation

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984031 ◽

2016 ◽

Author(s):

Dohyeong Kim ◽

Yonghwi Kwon ◽

Peng Liu ◽

I. Luk Kim ◽

David Mitchel Perry ◽

...

Keyword(s):

Automatic Programming ◽

Error Explanation ◽

Assignment Error

Download Full-text

Apex: automatic programming assignment error explanation

ACM SIGPLAN Notices ◽

10.1145/3022671.2984031 ◽

2016 ◽

Vol 51 (10) ◽

pp. 311-327 ◽

Author(s):

Dohyeong Kim ◽

Yonghwi Kwon ◽

Peng Liu ◽

I. Luk Kim ◽

David Mitchel Perry ◽

...

Keyword(s):

Automatic Programming ◽

Error Explanation ◽

Assignment Error

Download Full-text

Human factors in design of automatic programming and recording for trainers (AN/ASG-15-TI Fire Control System Trainer).

PsycEXTRA Dataset ◽

10.1037/e412082004-001 ◽

1960 ◽

Author(s):

Allan M. Stave

Keyword(s):

Control System ◽

Human Factors ◽

Automatic Programming ◽

Download Full-text

Rapid prototyping, automatic programming, and experimental sciences

Proceedings of the workshop on Rapid prototyping - ◽

10.1145/1006259.1006264 ◽

1982 ◽

Author(s):

David Barstow

Keyword(s):

Rapid Prototyping ◽

Automatic Programming

Download Full-text

A practical framework for type inference error explanation

ACM SIGPLAN Notices ◽

10.1145/3022671.2983994 ◽

2016 ◽

Vol 51 (10) ◽

pp. 781-799 ◽

Author(s):

Calvin Loncaric ◽

Satish Chandra ◽

Cole Schlesinger ◽

Manu Sridharan

Keyword(s):

Type Inference ◽

Error Explanation

Download Full-text

Pirotte, A., Automatic Theorem Proving Basedon Resolution (Automatic Programming), Volume 7, Part 4 (1973). IV. 201–266 S. Oxford/New York/Toronto/Sydney/Braunschweig 1973. Pergamon Press. Preis brosch. £ 2.00

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19740541027 ◽

1974 ◽

Vol 54 (10) ◽

pp. 748-748

Author(s):

J. Metz

Keyword(s):

New York ◽

Theorem Proving ◽

Automatic Programming ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Automatic programming of recurrent power series

Mathematics and Computers in Simulation ◽

10.1016/s0378-4754(99)00087-7 ◽

1999 ◽

Vol 49 (4-5) ◽

pp. 351-362 ◽

Author(s):

Martı́n Lara ◽

Antonio Elipe ◽

Manuel Palacios

Keyword(s):

Power Series ◽

Automatic Programming ◽

Recurrent Power Series

Download Full-text

Automatic-programming-language translation through syntactical analysis

Communications of the ACM ◽

10.1145/366862.366872 ◽

1962 ◽

Vol 5 (3) ◽

pp. 145-155 ◽

Author(s):

Robert S. Ledley ◽

James B. Wilson

Keyword(s):

Programming Language ◽

Language Translation ◽

Automatic Programming ◽

Syntactical Analysis

Download Full-text

Automatic programming assessment and test data generation a review on its approaches

2010 International Symposium on Information Technology ◽

10.1109/itsim.2010.5561488 ◽

2010 ◽

Author(s):

Rohaida Romli ◽

Shahida Sulaiman ◽

Kamal Zuhairi Zamli

Keyword(s):

Test Data ◽

Automatic Programming ◽

Test Data Generation ◽

Data Generation

Download Full-text

Automatic Programming for Robotic Grinding Using Real Time 3D Measurement

2017 IEEE 7th Annual International Conference on CYBER Technology in Automation, Control, and Intelligent Systems (CYBER) ◽

10.1109/cyber.2017.8446097 ◽

2017 ◽

Author(s):

Yaonan Li ◽

Heping Chen ◽

Ning Xi

Keyword(s):

Real Time ◽

Automatic Programming ◽

3D Measurement ◽

Robotic Grinding

Download Full-text

GSP: an automatic programming technique with gravitational search algorithm

Applied Intelligence ◽

10.1007/s10489-018-1327-7 ◽

2018 ◽

Vol 49 (4) ◽

pp. 1502-1516 ◽

Author(s):

Afsaneh Mahanipour ◽

Hossein Nezamabadi-pour

Keyword(s):

Search Algorithm ◽

Gravitational Search Algorithm ◽

Automatic Programming ◽

Programming Technique ◽

Gravitational Search

Download Full-text