Searching for "A "Functional Logic" Programming Language in Interpretation-Compilation Implementation." – sorted by Relevance.
747,475 documents found, showing 1 through 10.
Next 10 →
-
Recovering Sequentiality in Functional-Logic Programs
- … most programs. Keywords: Sequentiality, Abstract Interpretation, Functional Logic Programming. 1…
- Add To MetaCart
-
A Program Logic for Resource Verification
- … compiler, the logic exploits Grail’s dual nature of combining a functional interpretation with object…
- Cited by 17 (10 self) – Add To MetaCart
-
Optimizing Compilation for CLP(R)
- … Roland H.C. Yap y Abstract Constraint Logic Programming (CLP) is a recent innovation in programming…
- Cited by 4 (3 self) – Add To MetaCart
-
Static Analysis of Logic Programs Using CLP as a Meta-language
- …Static Analysis of Logic Programs Using CLP as a Meta-language H. Saglam and J.P. Gallagher Department…
- Cited by 4 (1 self) – Add To MetaCart
-
Static Type Inference in a Dynamically Typed Language
- … analysis of logic programs [HJ90]. 4 The Type Language Let \Sigma be a set of type constructors and let…
- Cited by 57 (7 self) – Add To MetaCart
-
A Multi-Stage Programming Language for Dynamically Reconfigurable Hardware
- …Abstract Meta-HDL: A Multi-Stage Programming Language for Dynamically Reconfigurable Hardware We…
- Add To MetaCart
-
A Mechanically Verified Language Implementation
- … This paper briefly describes a programming language, its implementation on a microprocessor via a compiler…
- Cited by 43 (2 self) – Add To MetaCart
-
LOGIC
- … outputs are a function of the state vector only. inputs NEXT STATE LOGIC current state Figure 1. State…
- Add To MetaCart
-
: Logics
- …. In the propositional case such a language collapses to poly-modal logics, cf. [2]. However, our quanticational…
- Cited by 3 (2 self) – Add To MetaCart
-
Logic
- …' content, which captures and synthesizes the meaning of a document written in a natural language…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
