A note on van Wijngaarden syntax
A Parametric Visualization Software for the Assignment Problem
A parenthesis machine for string manipulation
À propos de la sémantique de l'appel par valeur selon A. Arnold
A ring to describe symbolic expressions.
A software reliability growth model with two types of errors
A syntax directed translation algorithm for ALGOL-like languages
Algebraic definition of a functional programming language and its semantic models
Algebraical loops and transformation of variables
Algèbres effectives dans la programmation logique avec contraintes
Algorithmization of algebras and relational structures
An abstract monadic semantics for value recursion
This paper proposes an operational semantics for value recursion in the context of monadic metalanguages. Our technique for combining value recursion with computational effects works uniformly for all monads. The operational nature of our approach is related to the implementation of recursion in Scheme and its monadic version proposed by Friedman and Sabry, but it defines a different semantics and does not rely on assignments. When contrasted to the axiomatic approach proposed by Erkök and Launchbury,...
An abstract monadic semantics for value recursion
This paper proposes an operational semantics for value recursion in the context of monadic metalanguages. Our technique for combining value recursion with computational effects works uniformly for all monads. The operational nature of our approach is related to the implementation of recursion in Scheme and its monadic version proposed by Friedman and Sabry, but it defines a different semantics and does not rely on assignments. When contrasted to the axiomatic approach proposed by Erkök and Launchbury,...
An algebraic treatment of flow diagrams and its application to generalized recursion theory
An analysis of programs by algebraic means
An efficient implementation of Sugiyama's algorithm for layered graph drawing.
An ILP model for a monotone graded classification problem
Motivation for this paper are classification problems in which data can not be clearly divided into positive and negative examples, especially data in which there is a monotone hierarchy (degree, preference) of more or less positive (negative) examples. We present a new formulation of a fuzzy inductive logic programming task in the framework of fuzzy logic in narrow sense. Our construction is based on a syntactical equivalence of fuzzy logic programs FLP and a restricted class of generalised annotated...
An imperative language based on distributive categories II
An implementation of the fast Givens transformations on a MIMD computer
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs