Second Order Optimization Methods in Lisp
Semantic analysis of an ALGOL text
Semantic analysis of topic and focus
Semantics and translation of grammars and ALGOL-like languages
Semantics of value recursion for monadic input/output
Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell’s IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this paper, we...
Semantics of value recursion for Monadic Input/Output
Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell's IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this paper,...
Sémantique algébrique de l'appel par valeur
Sémantique algébrique d'un langage de programmation type Algol
Sémantique des processus communicants
Sémantique des structures de contrôle
Sémantique du parallélisme et du choix du langage Electre
Sémantique formelle des opérateurs d'un langage de listes
Simulation Software Selection "Whys and Hows"
Simulation system COSMO. Description of its language and compiler
SMAL - The symbol manipulation language
Software complexity as a software quality indicator (the three doubts and the light at the end of tunnel)
Software for visualisation of small objects.
Some issues in using formal methods for the development of reactive systems.
Some key research problems in automated theorem proving for hardware and software verification.
This paper sketches the state of the art in the application of mechanical theorem provers to the verification of commercial computer hardware and software. While the paper focuses on the theorem proving system ACL2, developed by the two authors, it references much related work in formal methods. The paper is intended to satisfy the curiosity of readers interested in logic and artificial intelligence as to the role of mechanized theorem proving in hardware and software design today. In addition,...
Some new technics regarding the parallelisation of ZéBuLoN, an object oriented finite element code for structural mechanics
A finite element code, called ZéBuLoN was parallelised some years ago. This code is entirely written using an object oriented framework (C++ is the support language). The aim of this paper is to present some problems which arose during the parallelization, and some innovative solutions. Especially, a new concept of message passing is presented which allows to take into account SMP machines while still using the parallel virtual machine abstraction.