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

Design and implementation of assertions for the Common Language Infrastructure

โœ Scribed by Tran, N.; Mingins, C.; Abramson, D.

Book ID
118683812
Publisher
The Institution of Electrical Engineers
Year
2003
Tongue
English
Weight
695 KB
Volume
150
Category
Article
ISSN
1462-5970

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Design and Implementation of the L+C Mod
Design and Implementation of the L+C Modeling Language
โœ Radoslaw Karwowski; Przemyslaw Prusinkiewicz ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 327 KB

L-systems are parallel grammars that provide a theoretical foundation for a class of programs used in the simulation of plant development and procedural image synthesis. In particular, the formalism of L-systems guides the construction of declarative languages for specifying input to these programs.

Design, implementation, and evaluation o
Design, implementation, and evaluation of the constraint language cc(FD)
โœ Pascal Van Hentenryck; Vijay Saraswat; Yves Deville ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 200 KB

This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over ยฎnite domains based on the cc framework [33], an extension of the Constraint Logic Programming (CLP) scheme [21]. Its con