scholarly journals Tracking by Natural Language Specification

2017 ◽  
Author(s):  
Zhenyang Li ◽  
Ran Tao ◽  
Efstratios Gavves ◽  
Cees G. M. Snoek ◽  
Arnold W. M. Smeulders
Keyword(s):  
Natural Language ◽  
Language Specification

scholarly journals Proposal of an Algorithm to Generate VDM++ by Using Words Extracted from the Natural Language Specification

2020 ◽  
Vol 25 ◽  
pp. 763-766
Author(s):  
Yasuhiro Shigyo ◽  
Tetsuro Katayama ◽  
Kentaro Aburada ◽  
Yoshihiro Kita ◽  
Hisaaki Yamaba ◽  
...  
Keyword(s):  
Natural Language ◽  
Language Specification

HAS-Hierarchy; A natural tool for languae specification

1980 ◽  
Vol 3 (3) ◽  
pp. 269-293
Author(s):  
Teodor Rus
Keyword(s):  
Natural Language ◽  
Programming Language ◽  
General Model ◽  
Compiler Construction ◽  
Natural Approach ◽  
Communication Device ◽  
Language Specification

This paper is an attempt to direct present-day research in programming language specification and their compiler construction towards a more natural approach. In order to do that, a language is considered for what it is, namely a communication device between systems. In view of this evidence, the first section of the paper develops a framework for the natural specification of language. Section two of the paper develops the HAS-Hierarchy as a device to be used in this natural language specification. Section three of the paper constructs a general model for programming language specification by the HAS-Hierarchy. Section four is devoted to the problem of compiler construction by using the HAS-Hierarchy as a natural tool for programming language specification.

Sign in / Sign up

Export Citation Format

Share Document