Search results for "logic programming"

showing 3 items of 13 documents

Optimality conditions for nondifferentiable convex semi-infinite programming

1983

This paper gives characterizations of optimal solutions to the nondifferentiable convex semi-infinite programming problem, which involve the notion of Lagrangian saddlepoint. With the aim of giving the necessary conditions for optimality, local and global constraint qualifications are established. These constraint qualifications are based on the property of Farkas-Minkowski, which plays an important role in relation to certain systems obtained by linearizing the feasible set. It is proved that Slater's qualification implies those qualifications.

Mathematical optimizationGeneral MathematicsFeasible regionMathematics::Optimization and ControlRegular polygonConstraint satisfactionSemi-infinite programmingConstraint (information theory)Convex optimizationConstraint logic programmingComputer Science::Programming LanguagesConvex functionSoftwareMathematicsMathematical Programming
researchProduct

A systematic approach to deriving incremental type checkers

2020

Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to Datalog, a carefully limited logic programming language for which incremental solvers exist. The key contribution of this paper is to discover an encoding of the infinite typing relation as a finite Datalog relation in a way that yields efficient incremental up…

Operator overloadingRelation (database)Computer scienceProgramming languageInferencecomputer.software_genreDatalogSimple (abstract algebra)CompilerSafety Risk Reliability and QualityRule of inferencecomputerSoftwareLogic programmingcomputer.programming_languageProceedings of the ACM on Programming Languages
researchProduct

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web

2018

This demo shows our ongoing work on the co-simulation of co-operative Unmanned Aerial Vehicles (UAVs). The work is based on the INTO-CPS co-simulation engine, which adopts the widely accepted Functional Mockup Interface (FMI) standard for co-simulation, and the PVSioweb prototyping tool, that extends a system simulator based on the PVS logic language with a web-based graphical interface. Simple scenarios of Quadcopters with assigned different tasks, such as rendez-vous and space coverage, are shown. We assumed a linearized dynamic model for Quadcopters formalized in OpenModelica, and a linearized set of equations for the flight control module written in C language. The co-ordination algorit…

Quadcopterbusiness.industryComputer scienceComputer Science (all)Theoretical Computer Science; Computer Science (all)Co-simulationModelicaTheoretical Computer ScienceRendering (computer graphics)Functional Mock-up InterfacebusinessSimulationLogic programmingGraphical user interface
researchProduct