other compilers
Argos is an imperative synchronous language
developped at the VERIMAG laboratory. Argonaute is the programming
environment based upon Argos, which provides a compiler and several
connections to verification tools.
Cilk is a language for multithreaded
parallel programming based on ANSI C. Cilk is designed for general-purpose
parallel programming, but it is especially effective for exploiting
dynamic, highly asynchronous parallelism, which can be difficult
to write in data-parallel or message-passing style.
Esterel is both a programming language,
dedicated to programming reactive systems, and a compiler which
translates Esterel programs into finite-state machines. It is one
of a family of synchronous languages, like SyncCharts, Lustre, Argos
or Signal, which are particularly well-suited to programming reactive
systems, including real-time systems and control automata.
LUSTRE is a synchronous declarative language
for programming reactive systems. It is declarative because a description
is a set of equations that must be always verified by the program
variables. This approach has been chosen as it is close to the one
adopted by designers of real-time control systems using models like
systems of differential equations or synchronous operator networks.
A program variable in LUSTRE is considered to be a function of multiform
time: it has an associated clock which defines the sequence of instants
where the variable takes its values. In that sense, LUSTRE belongs
to the family of synchronous languages (like ESTEREL, ARGOS, or
SIGNAL).
Polytechnique Montréal Modula-3
is the most current incarnation of the free Modula-3 development
environments. It builds upon the SRC M3 base and includes enhancements
from Cambridge Modula-3. With over 15,000 files of source code,
there is a large and solid existing base of software to develop
upon. Fortunately, there are binaries available for the most popular
platforms.
Language: JOVIAL
Host Platform: Sun SPARC/SunOS/Solaris, HP/UX, & VAX/VMS
Target: Mil-STD-1750A, Z800x
Host Platform: Sun SPARC/SunOS/Solaris, HP/UX, & VAX/VMS
Target: Mil-STD-1750A, Z800x