257 search results - page 6 / 52 » Programming with narrowing: A tutorial |
PPDP
2001
Springer
14 years 4 days ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
Tutorial
Set of MATLB tutorials covers the following topics: programming in the language of MATLAB, linear algebra, matrix computations, numerical analysis and linear programming with MATLA...
Book
"This document explains the concepts of Java Servlets and provides a step-by-step tutorial for writing HTTP Servlets with complete source code for the example Servlets. The tu...
PLILP
1993
Springer
13 years 11 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
EUROPAR
2000
Springer
13 years 11 months ago
2000
Springer
We present a compiler algorithm called BitValue, which can discover both unused and constant bits in dusty-deck C programs. BitValue uses forward and backward dataflow analyses, ge...