An open logical framework

8 years 7 months ago

Download users.dimi.uniud.it

The LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates, hence the name Open Logical Framework. This is accomplished by deﬁning lock type constructors, which are a sort of -modality constructors, releasing their argument under the condition that a possibly external predicate is satisﬁed on an appropriate typed judgement.

Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luig

Real-time Traffic

LOGCOM 2016 | Programming Languages |

claim paper

Related Content

» The Nuprl Open Logical Environment

» Open Ended Systems Dynamic Bisimulation and Tile Logic

» N3Logic A Logical Framework For the World Wide Web

» Pure Type Systems in Rewriting Logic Specifying Typed HigherOrder Languages in a FirstOrde...

» ComponentBased Open Middleware Supporting AspectOriented Software Composition

» A Framework for SetOriented Computation in Inductive Logic Programming and Its Application...

» A XML format secure protocol OpenSST

» InterfaceBased Protocol Specification of Open Systems using PSL

» Reasoning with hypothetical judgments and open terms in hybrid

» Argumentative and Cooperative Multiagent System for Extended Logic Programming

Post Info
More Details (n/a)

Added	07 Apr 2016
Updated	07 Apr 2016
Type	Journal
Year	2016
Where	LOGCOM
Authors	Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic

Comments (0)

Sciweavers

An open logical framework

LOGCOM 2016 | Programming Languages |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers