Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ICLP
2010
Springer

favoriteEmaildiscussreport

132views Automated Reasoning» more ICLP 2010»

From Relational Specifications to Logic Programs

13 years 8 months ago

From Relational Specifications to Logic Programs

Download sdg.csail.mit.edu

This paper presents a compiler from expressive, relational speciﬁcations to logic programs. Speciﬁcally, the compiler translates the Imperative Alloy speciﬁcation language to Prolog. Imperative Alloy is a declarative, relational speciﬁcation language based on ﬁrst-order logic and extended with imperative constructs; Alloy speciﬁcations are traditionally not executable. In spite of this theoretical limitation, the compiler produces useful prototype implementations for many speciﬁcations.

Joseph P. Near

Real-time Traffic

Automated Reasoning | ICLP 2010 | Imperative Alloy | Imperative Alloy Speciﬁcation | Relational Speciﬁcation |

claim paper

Related Content

» Translating specifications from nominal logic to CIC with the theory of contexts

» A Functional Program for Agents Actions and Deontic Specifications

» A MetaProgramming Approach to Realizing Dependently Typed Logic Programming

» Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

» Engineering with logic HOL specification and symbolicevaluation testing for TCP implementa...

» MultiRelational Data Mining Using UML for ILP

» Specification of Logic Programming Languages from Reusable Semantic Building Blocks

» The meaning of Negative Premises in Transition System Specifications

» Calculating modules in contextual logic program refinement

Post Info
More Details (n/a)

Added	15 Aug 2010
Updated	15 Aug 2010
Type	Conference
Year	2010
Where	ICLP
Authors	Joseph P. Near

Comments (0)