Automatic Programming: A Tutorial on Formal Methodologies

机译：自动编程：形式化方法教程

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Ten methodologies for automatic program construction are presented, discussed and compared. Some of the techniques generate code from formal input-output specifications while others work from examples of the target behaviour or from natural language input.

著录项

作者
Biermann, A. W.;
展开▼
作者单位

展开▼
年度 1985
页码 p.1-24
总页数 24
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Automatic programming; Input output processing; Learning; Natural language; Comparison; Specifications; Reprints;

机译：自动编程;输入输出处理;学习;自然语言;比较;规格;重印;

相似文献

外文文献
中文文献
专利

1. From continuous flow analysis to programmable Flow Injection techniques. A history and tutorial of emerging methodologies [J] . Ruzicka Jaromir (Jarda) Talanta: The International Journal of Pure and Applied Analytical Chemistry . 2016,第Null期

机译：从连续流分析到可编程的流动注射技术。新兴方法论的历史和教程
2. Automatic Formal Verification of MPI-Based Parallel Programs [J] . Stephen F. Siegel, Timothy K. Zirkel ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第8期

机译：基于MPI的并行程序的自动形式验证
3. Formal verification methodology for real-time Field Programmable Gate Array [J] . Shaista Jabeen, Sudarshan Srinivasan, Sana Shuja Computers & Digital Techniques, IET . 2017,第5期

机译：实时现场可编程门阵列的形式验证方法
4. PLC Programming: The Tutorial Case of the Automatic Control System for Ship Fuel Circuit in Hellenic Naval Academy [C] . V. D. MARINOU, G. J. TSEKOURAS, P. MICHALOPOULOS, International Conference on Computer Supported Education . 2015

机译：PLC编程：Hellenic海军学院船舶燃料电路自动控制系统的教程案例
5. TUTORIALS IN ESL: A QUALITATIVE STUDY OF THE TUTORIAL COMPONENT OF A WRITING PROGRAM FOR ENGLISH AS A SECOND LANGUAGE (ESL) STUDENTS AT THE UNIVERSITY LEVEL: TEACHER AND STUDENT PERCEPTIONS, TEACHER DIFFERENCES, STUDENT-TEACHER INTERACTION, AND THE ROLE OF THE TUTORIAL IN A WRITING PROGRAM. [D] . BERKOVITCH, MERILU MILLS. 1982

机译：ESL中的教程：英语水平的英语写作课程英语课程的定性研究：教师和学生的理解力，教师的差异，学生与教师的互动以及角色的作用写作程序。
6. Impact of COVID-19 on surgical residency programs in Pakistan; A residents perspective. Do programs need formal restructuring to adjust with the new normal? A cross-sectional survey study [O] . Muhammad Osama, Farhan Zaheer, Hasham Saeed, -1

机译：COVID-19对巴基斯坦外科住院计划的影响;居民的观点。程序是否需要进行正式的结构调整以适应新常态？横断面调查研究
7. Automatic programming : A tutorial on formal methodologies [O] . Biermann Alan W. 1985

机译：自动编程：形式化方法教程
8. Automatic Runtime Consistency Checking and Debugging of Formally Specified Programs. [R] . Sankar, S. 1989

机译：正式指定程序的自动运行时一致性检查和调试。

Automatic Programming: A Tutorial on Formal Methodologies

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅