Inter-procedural Two-Variable Herbrand Equalities

DOI10.1007/978-3-662-46669-8_19zbMath1335.68066arXiv1410.4416OpenAlexW1531511464MaRDI QIDQ2802449

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.4416

zbMATH Keywords

static analysisprocedure summariesinter-procedural program analysisHerbrand equalities

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Inter-procedural Two-Variable Herbrand Equalities

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining dynamic sequences under equality tests in polylogarithmic time
• The undecidability of the second-order unification problem
• A polynomial algorithm for deciding bisimilarity of normed context-free processes
• Inter-procedural Two-Variable Herbrand Equalities
• Algorithmics on SLP-compressed strings: A survey
• Invariant Checking for Programs with Procedure Calls
• Grammar-Based Tree Compression
• Precise interprocedural analysis through linear algebra
• Context Unification is in PSPACE
• Programming Languages and Systems
• Interprocedurally Analyzing Polynomial Identities
• Upper Adjoints for Fast Inter-procedural Variable Equalities
• Static Analysis
• An axiomatic basis for computer programming
• Computing Procedure Summaries for Interprocedural Analysis

This page was built for publication: Inter-procedural Two-Variable Herbrand Equalities