Symbolic Profiling for Multi-paradigm Declarative Languages

@inproceedings{Albert2001SymbolicPF,
  title={Symbolic Profiling for Multi-paradigm Declarative Languages},
  author={Elvira Albert and Germ{\'a}n Vidal},
  booktitle={LOPSTR},
  year={2001}
}
We present the basis of a source-level profiler for multi-paradigm declarative languages which integrate features from (lazy) functional and logic programming. Our profiling scheme is symbolic in the sense that it is independent of the particular language implementation. This is achieved by counting the number of basic operations performed during the execution of program calls, e.g., the number of unfolding steps, the number of matching operations, etc. The main contribution of this paper is… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

Cost-Augmented Partial Evaluation of Functional Logic Programs

  • Higher-Order and Symbolic Computation
  • 2004
VIEW 3 EXCERPTS
CITES METHODS & RESULTS
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 29 REFERENCES

Improving the Efficiency of Non-Deterministic Computations

S. Antoy, B. Massey, P. Julián
  • In Proc. of WFLP’01, Kiel, Germany,
  • 2001
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Pakcs: The portland aachen kiel curry system

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Peyton-Jones. Formally Based Profiling for Higher-Order Functional Languages

S.L.P.M. Sansom
  • ACM Transactions on Programming Languages and Systems,
  • 1997
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Visualizing Parallel Logic Programs with VISTA

  • FGCS
  • 1992
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…