๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A type system for reflective program generators

โœ Scribed by Christof Lutteroth; Dirk Draheim; Gerald Weber

Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
528 KB
Volume
76
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A generic type system for the Pi-calculu
A generic type system for the Pi-calculus
โœ Atsushi Igarashi; Naoki Kobayashi ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 468 KB

We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial properties like deadlock-freedom and race-freedom. A key idea is to express types and type environments as abstract processes: W

System ST toward a type system for extra
System ST toward a type system for extraction and proofs of programs
โœ Christophe Raffalli ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 200 KB

We introduce a new type system called "System ST" (ST stands for subtyping), based on subtyping, and prove the basic property of the system. We show the extraordinary expressive power of the system which leads us to think that it could be a good candidate for doing both proof and extraction of progr

LINKERS: A simulation programming system
LINKERS: A simulation programming system for generating populations with genetic structure
โœ Jih-Jing Yang; Eugene Ackerman; Stephen S. Rich ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 989 KB

Significant features are described of a Monte Carlo simulation system, LINKERS, that generates nuclear family data conforming to one locus and two loci genetic models. Software engineering techniques help to produce a user friendly environment for studies of genetic ascertainment. LINKERS 39 code mo