Hisashi Sasaki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

3 Hisashi Sasaki: A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstact State Machine. DATE 1999: 353-

1986

2 Takuya Katayama, Hisashi Sasaki: Global Storage Allocation in Attribute Evaluation. POPL 1986: 26-37

1984

1 Hisashi Sasaki, Takuya Katayama: Global Storage Allocation in Attribute Evaluation. RIMS Symposia on Software Science and Engineering 1984: 181-211

	1999
3		Hisashi Sasaki: A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstact State Machine. DATE 1999: 353-
	1986
2		Takuya Katayama, Hisashi Sasaki: Global Storage Allocation in Attribute Evaluation. POPL 1986: 26-37
	1984
1		Hisashi Sasaki, Takuya Katayama: Global Storage Allocation in Attribute Evaluation. RIMS Symposia on Software Science and Engineering 1984: 181-211

Coauthor Index