Logical approximation for program analysis
type: Item
instance of: scholarly article
title: Logical approximation for program analysis
zbMATH Open document ID: 1256.68045
author: Robert J. Simmons
author: Frank Pfenning
published in: Higher-Order and Symbolic Computation
publication date: 2013-01-08T00:00:00Z
full work available at URL: https://figshare.com/articles/journal_contribution/Logical_approximation_for_program_analysis/6607040
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6122898
zbMATH Keywords: abstract interpretation
zbMATH Keywords: logical frameworks
zbMATH Keywords: ordered linear logic
zbMATH Keywords: program analysis
zbMATH Keywords: substructural operational semantics
describes a project that uses: K tool
describes a project that uses: K-Maude
describes a project that uses: K Prover
describes a project that uses: Lolli
MaRDI profile type: Publication
OpenAlex ID: W2025317149
Wikidata QID: Q58158266
cites work: Q5452362
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Q4539612
cites work: Language in action. Categories, lambdas and dynamic logic
cites work: Q4472240
cites work: An effective fixpoint semantics for linear logic programs
cites work: Model checking linear logic specifications
cites work: Types for Proofs and Programs
cites work: Relating state-based and process-based concurrency through linear logic (full-version)
cites work: Q4809167
cites work: Logic programming in a fragment of intuitionistic linear logic
cites work: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
cites work: The Mathematics of Sentence Structure
cites work: On the complexity analysis of static analyses
cites work: The rewriting logic semantics project
cites work: Abstract Interpreters for Free
cites work: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
cites work: Forum: A multiple-conclusion specification logic
cites work: Uniform proofs as a foundation for logic programming
cites work: Linguistic application of first order intuitionistic linear logic
cites work: Q4944858
cites work: Flattening and saturation: Two representation changes for generalization
cites work: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
cites work: Principles and implementation of deductive parsing
cites work: Linear Logical Algorithms
cites work: Relating complexity and precision in control flow analysis
cites work: Abstracting abstract machines
DBLP publication ID: journals/lisp/SimmonsP11
DOI: 10.1007/S10990-011-9071-2
description: scientific article; zbMATH DE number 6122898