Program Generation by Transformation from Quantified Equational Specifications

Computer Software

Print ISSN : 0289-6540

Program Generation by Transformation from Quantified Equational Specifications

Masanori NAGASHIMA, Masahiko SAKAI, Toshiki SAKABE, Keiichirou KUSAKARI

Author information

JOURNAL FREE ACCESS

2004 Volume 21 Issue 4 Pages 283-288

DOI https://doi.org/10.11309/jssst.21.283

Details

Abstract

[in Japanese]

Content from these authors

© Japan Society for Software Science and Technology 2004

Favorites & Alerts

Related articles

Recently viewed articles

Design of broadband power amplifier based on continuous class-F mode with frequency parameterization
A Design Method for Model Reference Adaptive Control Systems Including Fixed Compensator Using Coprime Factorization Approach
Current Concentration of Artificial Radionuclides and Estimated Radiation Doses from ¹³⁷Cs around the Chernobyl Nuclear Power Plant, the Semipalatinsk Nuclear Testing Site, and in Nagasaki
Carcinogenicity of aflatoxin B₁ in “medaka”(Orizias latijbys)
[title in Japanese]

Top