scientific article; zbMATH DE number 2018578

zbMATH Open1028.68795MaRDI QIDQ4440317FDOQ4440317

Authors: Neil D. Jones, Arne John Glenstrup 

Publication date: 16 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2487/24870001.htm

Title of this publication is not available (Why is that?)

Recommendations

• Fully Automatic Binding-Time Analysis for Prolog
• Fast offline partial evaluation of logic programs
• scientific article; zbMATH DE number 1438809
• Termination analysis for offline partial evaluation of a higher order functional language
• Static Analysis

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• Title not available (Why is that?)
• Syntax-guided termination analysis
• Title not available (Why is that?)
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity

Uses Software

• ECCE
• Bandera
• XSB

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4440317)