Sciweavers

LISP
2000
96views more  LISP 2000»
14 years 7 days ago
Continuations: A Mathematical Semantics for Handling Full Jumps
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
Christopher Strachey, Christopher P. Wadsworth
ERSHOV
2009
Springer
14 years 7 months ago
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Sc...