A Polyvariant Binding-Time Analysis for Off-Line Partial Deduction

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0053561
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Comparison of Off-Line and On-Line Partial Discharge MV Cable Mapping Techniques

2005English

Polyvariant Analysis of the Untyped Lambda Calculus

DAIMI Report Series
1992English

On the Centrality of Off-Line E-Cash to Concrete Partial Information Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance

1995English

Off-Line and On-Line Algorithms for Closed String Factorization

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2019English

Impact of Time Variability in Off-Line Writer Identification and Verification

2009English

Off-Line Digital Jurisdiction

SSRN Electronic Journal
2019English

RHIC Off-Line Computing

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy