Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Design of abstract domains using first-order logic

Marchiori, E.

Publication date

January 1999

DOI

10.1016/S0304-3975(98)00231-X

Publisher

Elsevier BV

ISSN

0304-3975

Abstract

Contains fulltext : 84509.pdf (publisher's version ) (Closed access)27 p

Extracted data

Related items

First steps on the representation of domains (extended abstract)

Fiore, M.P
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(EU-ECS-LCFS--95-331) / BLD...

First order predicate calculus and logic programming (Second edition)

PETTOROSSI, ALBERTO
Proietti, M.

January 2005

This book introduces the reader to the basic ideas of First Order Predicate Calculus and Logic Progr...

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access

Prime factorizations of abstract domains using first-order logic

Marchiori, E.

January 1996

Contains fulltext : 84492.pdf (publisher's version ) (Closed access) ...

Design of abstract domains using first-order logic

Marchiori, Elena

July 1999

AbstractIn this paper we propose a simple framework based on first-order logic, for the design and d...

Design of abstract domains using first-order logic

Marchiori, E.

January 1996

In this paper we propose a simple framework based on first-order logic, for the design and decomposi...

Systems of illative combinatory logic complete for first-order propositional and predicate calculus

Barendregt, H.P.
Bunder, M.
Dekkers, W.

January 1993

Contains fulltext : 13276.pdf (publisher's version ) (Open Access

A theory of first-order built-in's of prolog

Apt, K.R.
Marchiori, E.
Palamidessi, C.

January 1992

Contains fulltext : 84484.pdf (publisher's version ) (Open Access)3rd Internationa...

A systematic construction of abstract domains

Boulanger, Dmitri
Bruynooghe, Maurice

January 1994

© Springer-Verlag Berlin Heidelberg 1994. An abstract domain construction technique for static analy...

A decomposition theorem for domains

Haack, C.

January 1996

Contains fulltext : 161699.pdf (publisher's version ) (Open Access

Practising logic through the web

Wiedijk, F.

January 2009

Contains fulltext : 76010.pdf (preprint version ) (Open Access)70 p

The Emergence of First-Order Logic

Ewald, William

November 2018

For anybody schooled in modern logic, first-order logic can seem an entirely natural object of study...

Expressiveness of first-order description logics

Kurtonina, N.
Rijke, M. de
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.09285(325) / BLDSC - British Lib...

Combinations of abstract domains for logic programming: open product and generic pattern construction

Cortesi, Agostino
Charlier, Baudouin Le
Hentenryck, Pascal Van

August 2000

AbstractAbstract interpretation is a systematic methodology to design static program analysis which ...

Domains for logic programming

Filippenko, I.
Morris, F.L.

March 1992

AbstractWe construct Scott domains well suited to use in an abstract implementation of logic program...

First steps on the representation of domains (extended abstract)

Fiore, M.P
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(EU-ECS-LCFS--95-331) / BLD...

First order predicate calculus and logic programming (Second edition)

PETTOROSSI, ALBERTO
Proietti, M.

January 2005

This book introduces the reader to the basic ideas of First Order Predicate Calculus and Logic Progr...

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access

Prime factorizations of abstract domains using first-order logic

Marchiori, E.

January 1996

Contains fulltext : 84492.pdf (publisher's version ) (Closed access) ...

Design of abstract domains using first-order logic

Marchiori, Elena

July 1999

AbstractIn this paper we propose a simple framework based on first-order logic, for the design and d...

Design of abstract domains using first-order logic

Marchiori, E.

January 1996

In this paper we propose a simple framework based on first-order logic, for the design and decomposi...

Systems of illative combinatory logic complete for first-order propositional and predicate calculus

Barendregt, H.P.
Bunder, M.
Dekkers, W.

January 1993

Contains fulltext : 13276.pdf (publisher's version ) (Open Access

A theory of first-order built-in's of prolog

Apt, K.R.
Marchiori, E.
Palamidessi, C.

January 1992

Contains fulltext : 84484.pdf (publisher's version ) (Open Access)3rd Internationa...

A systematic construction of abstract domains

Boulanger, Dmitri
Bruynooghe, Maurice

January 1994

© Springer-Verlag Berlin Heidelberg 1994. An abstract domain construction technique for static analy...

A decomposition theorem for domains

Haack, C.

January 1996

Contains fulltext : 161699.pdf (publisher's version ) (Open Access

Practising logic through the web

Wiedijk, F.

January 2009

Contains fulltext : 76010.pdf (preprint version ) (Open Access)70 p

The Emergence of First-Order Logic

Ewald, William

November 2018

For anybody schooled in modern logic, first-order logic can seem an entirely natural object of study...

Expressiveness of first-order description logics

Kurtonina, N.
Rijke, M. de
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.09285(325) / BLDSC - British Lib...

Combinations of abstract domains for logic programming: open product and generic pattern construction

Cortesi, Agostino
Charlier, Baudouin Le
Hentenryck, Pascal Van

August 2000

AbstractAbstract interpretation is a systematic methodology to design static program analysis which ...

Domains for logic programming

Filippenko, I.
Morris, F.L.

March 1992

AbstractWe construct Scott domains well suited to use in an abstract implementation of logic program...

First steps on the representation of domains (extended abstract)

Fiore, M.P
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(EU-ECS-LCFS--95-331) / BLD...

First order predicate calculus and logic programming (Second edition)

PETTOROSSI, ALBERTO
Proietti, M.

January 2005

This book introduces the reader to the basic ideas of First Order Predicate Calculus and Logic Progr...

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access