Search Sciweavers | Sciweavers

3535 search results - page 2 / 707

» Logic Program Specialisation

click to vote

LISP
2008

97views more LISP 2008»

Efficient and flexible access control via Jones-optimal logic program specialisation

13 years 5 months ago

Download www.dcs.kcl.ac.uk

We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...

Steve Barker, Michael Leuschel, Mauricio Varea

claim paper

Read More »

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

13 years 9 months ago

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

click to vote

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

13 years 9 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

click to vote

PEPM
1998
ACM

118views Software Engineering» more PEPM 1998»

Advanced Logic Program Specialisation

13 years 9 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

click to vote

ICFP
2005
ACM

152views Programming Languages» more ICFP 2005»

Types with semantics: soundness proof assistant

14 years 5 months ago

Download homepages.inf.ed.ac.uk

We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...

Olha Shkaravska

claim paper

Read More »

« Prev « First page 2 / 707 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers