Searching for "Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language." – sorted by Relevance.
-
Studies in Logic, Language and Information
- Cataloging-in-Publication Data U. GnoWho A Great Title / U. GnoWho p. cm. --- (Studies in Logic, Language
- Add To MetaCart
-
A Logical Language for Natural Language Processing
- A Logical Language for Natural Language Processing Syed S. Ali Department of Computer Science
- Cited by 6 (3 self) – Add To MetaCart
-
Adding Type Classes to Functional-logic Languages
- (logical variables, partial data structures, search for solutions). As a result, functional-logic languages
- Cited by 2 (1 self) – Add To MetaCart
-
Logic, Language and Reasoning - Essays in Honour of Dov Gabbay
- Logic, Language and Reasoning Essays in Honour of Dov Gabbay edited by Uwe Reyle and Hans J
- Add To MetaCart
-
Programming in concurrent logic languages
- Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language Matthew Huntbach Coordination
- Cited by 4 (1 self) – Add To MetaCart
-
The Use of Functional and Logic Languages
- The use of functional and logic languages in machine learning Peter A. Flach University of Bristol
- Add To MetaCart
-
Relaxation in Constraint Logic Languages
- framework for performing optimization and relaxation in a constraint logic programming language. Our
- Cited by 15 (8 self) – Add To MetaCart
-
Optimization and Relaxation in Logic Languages
- OPTIMIZATION AND RELAXATION IN LOGIC LANGUAGES by Kannan Govindarajan February, 1997 A
- Cited by 7 (3 self) – Add To MetaCart
-
Independent Subexpressions Parallelism with Delayed Synchronization for Functional Logic Languages
- functional logic language on a shared memory multiprocessor. The model of parallelism uses an independence
- Add To MetaCart
-
An Evaluation Semantics for Narrowing-Based Functional Logic Languages
- An Evaluation Semantics for Narrowing-Based Functional Logic Languages Michael Hanus Salvador
- Cited by 1 (1 self) – Add To MetaCart

