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
file
syntax
definition
check
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 (enExample
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 (enExample) 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 (enExample)

Also Published As

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

Similar Documents

Publication Publication Date Title
EP0688448B1 (en) Incremental build system
JPS6375835A (ja) 目的コ−ド、プログラム・リスト及び設計文書を生成する装置
Drozdek Data structures and algorithms in Java
JPH02109127A (ja) 仕様処理方法
US5452226A (en) Rule structure for insertion of new elements in a circuit design synthesis procedure
Fauth et al. Automated generation of DSP program development tools using a machine description formalism
Cole Macro processors
JPH10105551A (ja) プロセッサを用いて第１グラフの単一化の一部として第１節と第２節を結合する方法
Azema et al. Petri nets as a common tool for design verification and hardware simulation
Bergeron et al. Systems programming languages
Graf A visual environment for the design of distributed systems
JPS5839353A (ja) 入力デ−タ汎用チエツク方式
McGrath C Programming in easy steps
Burns S poetry
Weiskamp Advanced turbo C programming
Srivastava et al. C in Depth
JP2002312167A (ja) 変数の値をコンピュータに算出させるためのプログラム、コンパイルプログラム、変数値確定方法およびプログラム生成方法
Leverett Topics in code generation and register allocation
JPS6379176A (ja) デイスプレイ上の設計画面より入力した設計仕様から部品を組合せてプログラムを自動生成する方法
EP0592076B1 (en) Compilation mechanism for a simulation model
JPH0695862A (ja) 命令列最適化支援装置
JP2001022808A (ja) 論理回路削減装置ならびに論理シミュレーション方法および装置
JP2845519B2 (ja) データパスシミュレーション装置
Dong Transforming Visual Programs into Java and Vice Versa
Dingle Production of the extensible Petri net editor/animator Medusa