A computation model for executable higher-order algebraic specification languages

2002 ◽  
Author(s):  
J.-P. Jouannaud ◽  
M. Okada
Keyword(s):  
Higher Order ◽  
Algebraic Specification ◽  
Specification Languages ◽  
Computation Model ◽  
Order Algebraic

scholarly journals On the Power of Higher-Order Algebraic Specification Methods

1996 ◽  
Vol 124 (1) ◽  
pp. 85-101 ◽  
Author(s):  
P. Kosiuczenko ◽  
K. Meinke
Keyword(s):  
Higher Order ◽  
Algebraic Specification ◽  
Order Algebraic

Normal-Velocity Relaxation and Higher Order Algebraic Heat Flux Models Applicable to an Axisymmetric Impinging Jet

2012 ◽  
Vol 33 (4) ◽  
pp. 556-564 ◽  
Author(s):  
Farzad Bazdidi-Tehrani ◽  
Alireza Imanifar ◽  
Siavash Khajehhasani ◽  
Mehran Rajabi-Zargarabadi
Keyword(s):  
Heat Flux ◽  
Impinging Jet ◽  
Higher Order ◽  
Normal Velocity ◽  
Order Algebraic

Parameter passing in algebraic specification languages

1982 ◽  
pp. 322-369 ◽  
Author(s):  
Hartmut Ehrig ◽  
Hans-Jörg Kreowski ◽  
James Thatcher ◽  
Eric Wagner ◽  
Jesse Wright
Keyword(s):  
Algebraic Specification ◽  
Specification Languages ◽  
Parameter Passing
Sign in / Sign up

Export Citation Format

Share Document