Executable higher-order algebraic specifications

STACS 91 - Lecture Notes in Computer Science ◽

10.1007/bfb0020784 ◽

2005 ◽

pp. 16-25 ◽

Cited By ~ 1

Author(s):

Jean-Pierre Jouannaud

Keyword(s):

Higher Order ◽

Algebraic Specifications ◽

Order Algebraic

Download Full-text

Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications

Software Engineering Research and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24675-6_6 ◽

2004 ◽

pp. 7-33 ◽

Cited By ~ 2

Author(s):

Walter Dosch ◽

Sönke Magnussen

Keyword(s):

Data Structures ◽

Higher Order ◽

Algebraic Specifications ◽

Computer Aided ◽

Order Algebraic

Download Full-text

A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications

Journal of Computer and System Sciences ◽

10.1006/jcss.1997.1489 ◽

1997 ◽

Vol 54 (3) ◽

pp. 502-519 ◽

Cited By ~ 4

Author(s):

Karl Meinke

Keyword(s):

Expressive Power ◽

Completeness Theorem ◽

Higher Order ◽

Algebraic Specifications ◽

Order Algebraic

Download Full-text

Parameterised higher-order algebraic specifications

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027004 ◽

1997 ◽

pp. 76-98 ◽

Cited By ~ 1

Author(s):

L. J. Steggles

Keyword(s):

Higher Order ◽

Algebraic Specifications ◽

Order Algebraic

Download Full-text

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_5 ◽

2002 ◽

pp. 85-108 ◽

Cited By ~ 7

Author(s):

Walter Dosch ◽

Sönke Magnussen

Keyword(s):

Higher Order ◽

Transformation System ◽

System A ◽

Algebraic Specifications ◽

Order Algebraic

Download Full-text

Partial interpretations of higher order algebraic types

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1986 ◽

10.1007/bfb0016232 ◽

2005 ◽

pp. 29-43 ◽

Cited By ~ 3

Author(s):

Manfred Broy

Keyword(s):

Higher Order ◽

Order Algebraic

Download Full-text

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

Journal of Dispersion Science and Technology ◽

10.1080/01932691.2011.574944 ◽

2012 ◽

Vol 33 (4) ◽

pp. 556-564 ◽

Cited By ~ 2

Author(s):

Farzad Bazdidi-Tehrani ◽

Alireza Imanifar ◽

Siavash Khajehhasani ◽

Mehran Rajabi-Zargarabadi

Keyword(s):

Heat Flux ◽

Impinging Jet ◽

Higher Order ◽

Normal Velocity ◽

Order Algebraic

Download Full-text

Higher-order algebraic soliton solutions of the Gerdjikov-Ivanov equation: Asymptotic analysis and emergence of rogue waves

Physica D Nonlinear Phenomena ◽

10.1016/j.physd.2021.133128 ◽

2021 ◽

pp. 133128

Author(s):

Shan-Shan Zhang ◽

Tao Xu ◽

Min Li ◽

Xue-Feng Zhang

Keyword(s):

Asymptotic Analysis ◽

Soliton Solutions ◽

Rogue Waves ◽

Higher Order ◽

Order Algebraic

Download Full-text

A computation model for executable higher-order algebraic specification languages

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151659 ◽

2002 ◽

Cited By ~ 23

Author(s):

J.-P. Jouannaud ◽

M. Okada

Keyword(s):

Higher Order ◽

Algebraic Specification ◽

Specification Languages ◽

Computation Model ◽

Order Algebraic

Download Full-text

Order-sorted algebraic specifications with higher-order functions

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-60043-4_50 ◽

1995 ◽

pp. 133-151 ◽

Cited By ~ 1

Author(s):

Anne Elisabeth Haxthausen

Keyword(s):

Higher Order ◽

Algebraic Specifications ◽

Higher Order Functions

Download Full-text

ALGEBROID SOLUTIONS OF HIGHER-ORDER ALGEBRAIC DIFFERENTIAL EQUATIONS

Far East Journal of Applied Mathematics ◽

10.17654/am103020071 ◽

2019 ◽

Vol 103 (2) ◽

pp. 71-81

Author(s):

Guozhen Ren

Keyword(s):

Differential Equations ◽

Higher Order ◽

Algebraic Differential Equations ◽

Order Algebraic

Download Full-text