JPH0585050B2 - - Google Patents

Info

Publication number
JPH0585050B2
JPH0585050B2 JP17537487A JP17537487A JPH0585050B2 JP H0585050 B2 JPH0585050 B2 JP H0585050B2 JP 17537487 A JP17537487 A JP 17537487A JP 17537487 A JP17537487 A JP 17537487A JP H0585050 B2 JPH0585050 B2 JP H0585050B2
Authority
JP
Japan
Prior art keywords
variable
return
state
variables
counter
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.)
Expired - Lifetime
Application number
JP17537487A
Other languages
English (en)
Japanese (ja)
Other versions
JPS6418846A (en
Inventor
Yoshinari Nakasaki
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.)
NEC Corp
Original Assignee
Nippon Electric Co Ltd
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 Nippon Electric Co Ltd filed Critical Nippon Electric Co Ltd
Priority to JP17537487A priority Critical patent/JPS6418846A/ja
Publication of JPS6418846A publication Critical patent/JPS6418846A/ja
Publication of JPH0585050B2 publication Critical patent/JPH0585050B2/ja
Granted legal-status Critical Current

Links

Landscapes

  • Devices For Executing Special Programs (AREA)
JP17537487A 1987-07-13 1987-07-13 Variable connection processor Granted JPS6418846A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP17537487A JPS6418846A (en) 1987-07-13 1987-07-13 Variable connection processor

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP17537487A JPS6418846A (en) 1987-07-13 1987-07-13 Variable connection processor

Publications (2)

Publication Number Publication Date
JPS6418846A JPS6418846A (en) 1989-01-23
JPH0585050B2 true JPH0585050B2 (enrdf_load_stackoverflow) 1993-12-06

Family

ID=15994984

Family Applications (1)

Application Number Title Priority Date Filing Date
JP17537487A Granted JPS6418846A (en) 1987-07-13 1987-07-13 Variable connection processor

Country Status (1)

Country Link
JP (1) JPS6418846A (enrdf_load_stackoverflow)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2770539B2 (ja) * 1990-03-08 1998-07-02 富士電機株式会社 電子写真用感光体

Also Published As

Publication number Publication date
JPS6418846A (en) 1989-01-23

Similar Documents

Publication Publication Date Title
US9009452B2 (en) Computing system with transactional memory using millicode assists
US6889318B1 (en) Instruction fusion for digital signal processor
JPH06194415A (ja) 論理回路の試験方法とその装置
JPS6140650A (ja) マイクロコンピユ−タ
CN113139873A (zh) 在区块链中并发执行交易的方法和装置
CN112416687A (zh) 验证访存操作的方法与系统以及验证设备和存储介质
Ewing et al. An associative processor
JPH0585050B2 (enrdf_load_stackoverflow)
CN110706108B (zh) 在区块链中并发执行交易的方法和装置
JPH0585049B2 (enrdf_load_stackoverflow)
Negoro The predicate structure to represent the intention for software
JPS6227829A (ja) 多重ロード命令制御装置
JPH01177129A (ja) 変数結合処理装置
JPH0194439A (ja) 変数結合処理装置
JP2009020610A (ja) 解析装置及び解析方法及びプログラム
Gomes et al. Learning to verify design solutions from failure knowledge
JPS607539A (ja) 述語論理型言語処理装置
JP2727947B2 (ja) アドレストレース方式
HK40021006A (en) Method and device for concurrently executing transactions in block chain
Bataineh et al. A novel decentralized LTL monitoring framework using formula progression table
JPS6327746B2 (enrdf_load_stackoverflow)
Khalaf et al. Coordination protocols for split BPEL loops and scopes
Murawski et al. Deconstructing general references via game semantics
HK40047877B (en) Method and device for concurrently executing transactions in blockchain
HK40047877A (en) Method and device for concurrently executing transactions in blockchain