Extending Algebraic Modelling Languages for Stochastic Programming

Extending Algebraic Modelling Languages for Stochastic Programming

The algebraic modelling languages (AML) have gained wide acceptance and use in Mathematical Programming by researchers and practitioners. At a basic level, stochastic programming models can be defined using these languages by constructing their deterministic equivalent. Unfortunately, this leads to very large model data instances. We propose a direct approach in which the random values of the m...

Algebraic Processing of Programming Languages

Current methodology for compiler construction evolved from the need to release programmers form the burden of writing machine-language programs. This methodology does not assume a formal concept of a programming language and is not based on mathematical algorithms that model the behavior of a compiler. The side eeect is that compiler implementation is a diicult task and the correctness of a com...

Algebraic Specification Method of Programming Languages

Algebraic de nition of programming languages

This paper provides an algebraic deenition of programming languages. It presents a methodology for the construction of syntax and semantics of a programming language as similar algebras speciied by the same speciication rules. Then we show that syntax and semantics algebras of a programming language form a Galois connection. Applications to programming language processing are sketched and homom...

Hierarchical index sets in algebraic modelling languages