Introduction to Abstract Interpretation

Introduction to Abstract Interpretation

Bibliographic Details
Main Authors:	Abramsky, S, Hankin, C
Format:	Conference item
Published:	Ellis Horwood 1987

Similar Items

Abstract Interpretation‚ Logical Relations and Kan Extensions
by: Abramsky, S
Published: (1990)

Abstract interpretation with unfoldings
by: Sousa, M, et al.
Published: (2017)

An Abstract Interpretation of DPLL(T)
by: Brain, M, et al.
Published: (2013)

An abstract interpretation of DPLL(T)
by: Brain, M, et al.
Published: (2013)

Logical abstract interpretation
by: D'Silva, V, et al.
Published: (2013)

The Theory of Strictness Analysis for Higher Order Functions
by: Burn, G, et al.
Published: (1986)

Strictness Analysis for Higher Order Functions
by: Burn, G, et al.
Published: (1986)

Full Abstraction for PCF (Extended Abstract)
by: Abramsky, S, et al.
Published: (1994)

Abstract Interpretation for Declarative Languages
Published: (1987)

On the Monniaux Problem in abstract interpretation
by: Fijalkow, N, et al.
Published: (2019)

Propositional Interpolation and Abstract Interpretation
by: D'Silva, V
Published: (2010)

Interaction Categories (Extended Abstract)
by: Abramsky, S
Published: (1993)

Abstract Physical Traces
by: Abramsky, S, et al.
Published: (2005)

Observational Logic and Process Semantics (Abstract)
by: Abramsky, S
Published: (1989)

Introduction to abstract algebra /
by: 377834 Clapham, C. R. J.
Published: (1969)

Full Abstraction in the Lazy λ−calculus
by: Abramsky, S, et al.
Published: (1993)

Precise abstract interpretation of hardware designs
by: Mukherjee, R
Published: (2018)

Full abstraction for PCF
by: Abramsky, S, et al.
Published: (2000)

Full Abstraction for PCF
by: Abramsky, S, et al.
Published: (2000)

Introduction to abstract algebra /
by: 310997 Barnes, Wilfred E.
Published: (1963)

Introduction to abstract algebra /
by: 279168 Whitelaw, Thomas A.
Published: (1995)

An introduction to abstract algebra /
by: 194029 Whitelan, Thomas A.
Published: (1978)

An introduction to abstract mathematics /
by: 390552 Bond, Robert J., et al.
Published: (1999)

Introduction to abstract algebra /
by: 388707 Moore, John T.
Published: (1975)

An introduction to abstract algebra /
by: 180771 Hall, F. M.
Published: (1972)

Experiments‚ Powerdomains and Fully Abstract Models for Applicative Multiprogramming
by: Abramsky, S
Published: (1983)

A Generalized Kahn Principle for Abstract Asynchronous Networks
by: Abramsky, S
Published: (1990)

Quantum entanglement analysis based on abstract interpretation
by: Perdrix, S
Published: (2008)

Goal−directed Weakening of Abstract Interpretation Results
by: Seo, S, et al.
Published: (2007)

Abstract interpretation of domain-specific embedded languages
by: Backhouse, K, et al.
Published: (2002)

Computational Interpretations of Linear logic
by: Abramsky, S
Published: (1993)

Application of abstract interpretation to the automotive electronic control system
by: Nyx Brain, M, et al.
Published: (2019)

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
by: Abramsky, S
Published: (2005)

Introduction to analysis and abstract algebra /
by: 395822 Hafstrom, John E.
Published: (1967)

An introduction to abstract mathematical systems /
by: 330019 Burton, David M.
Published: (1965)

Introduction to the theory of abstract algebras /
by: 217086 Pierce, Richards S.
Published: (1968)

Introduction to modern abstract algebra /
by: 330019 Burton, David M.
Published: (1967)

Games and Full Abstraction for the Lazy λ−calculus
by: Abramsky, S, et al.
Published: (1995)

Full Abstraction for Idealized Algol with passive expressions
by: Abramsky, S, et al.
Published: (1999)

Signal processing and interpretation using multilevel signal abstractions
Published: (2004)