JPS5839353A - 入力デ−タ汎用チエツク方式 - Google Patents

入力デ−タ汎用チエツク方式

Info

Publication number
JPS5839353A
JPS5839353A JP56138246A JP13824681A JPS5839353A JP S5839353 A JPS5839353 A JP S5839353A JP 56138246 A JP56138246 A JP 56138246A JP 13824681 A JP13824681 A JP 13824681A JP S5839353 A JPS5839353 A JP S5839353A
Authority
JP
Japan
Prior art keywords
data
syntax
definition
check
file
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP56138246A
Other languages
English (en)
Japanese (ja)
Other versions
JPS6367693B2 (enrdf_load_stackoverflow
Inventor
Yasushi Iwano
岩野　安司
Kunihiro Fukuma
福間　邦弘
Hisaharu Hamai
浜井　久晴
Ryuichi Nomura
隆一 野村
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Nippon Telegraph and Telephone Corp
Original Assignee
Fujitsu Ltd
Nippon Telegraph and Telephone Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd, Nippon Telegraph and Telephone Corp filed Critical Fujitsu Ltd
Priority to JP56138246A priority Critical patent/JPS5839353A/ja
Publication of JPS5839353A publication Critical patent/JPS5839353A/ja
Publication of JPS6367693B2 publication Critical patent/JPS6367693B2/ja
Granted legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
JP56138246A 1981-09-01 1981-09-01 入力デ−タ汎用チエツク方式 Granted JPS5839353A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP56138246A JPS5839353A (ja) 1981-09-01 1981-09-01 入力デ−タ汎用チエツク方式

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP56138246A JPS5839353A (ja) 1981-09-01 1981-09-01 入力デ−タ汎用チエツク方式

Publications (2)

Publication Number Publication Date
JPS5839353A true JPS5839353A (ja) 1983-03-08
JPS6367693B2 JPS6367693B2 (enrdf_load_stackoverflow) 1988-12-27

Family

ID=15217479

Family Applications (1)

Application Number Title Priority Date Filing Date
JP56138246A Granted JPS5839353A (ja) 1981-09-01 1981-09-01 入力デ−タ汎用チエツク方式

Country Status (1)

Country Link
JP (1) JPS5839353A (enrdf_load_stackoverflow)

Also Published As

Publication number Publication date
JPS6367693B2 (enrdf_load_stackoverflow) 1988-12-27

Similar Documents

Publication Publication Date Title
Hopcroft et al. Data structures and algorithms
US5603021A (en) Methods for composing formulas in an electronic spreadsheet system
Hansen Edison—a multiprocessor language
Chapin New format for flowcharts
Drozdek Data structures and algorithms in Java
JPS6375835A (ja) 目的コ−ド、プログラム・リスト及び設計文書を生成する装置
JPH02109127A (ja) 仕様処理方法
US3366929A (en) Computing system embodying flexible subroutine capabilities
US5452226A (en) Rule structure for insertion of new elements in a circuit design synthesis procedure
Cole Macro processors
CN119045876A (zh) 基于AI、RPA和AI Agent的代码注释生成方法、装置和设备
Bergeron et al. Systems programming languages
Graf A visual environment for the design of distributed systems
JPS5839353A (ja) 入力デ−タ汎用チエツク方式
Clack et al. Programming with Miranda
Meyer Principles of package design
Srivastava et al. C in Depth
Sharma Programming in Python: Learn the Powerful Object-Oriented Programming
Leverett Topics in code generation and register allocation
JPS6379176A (ja) デイスプレイ上の設計画面より入力した設計仕様から部品を組合せてプログラムを自動生成する方法
Dong Transforming Visual Programs into Java and Vice Versa
Dingle Production of the extensible Petri net editor/animator Medusa
Tyrrell Writing a Simple Class in Eiffel
Whipple Set theoretic extensions to algorithmic languages
Chi Design and implementation of a TRAC processor for Fairchild F 24 computer.