We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decom...
详细信息
the notion of independence has been used in conventional logicprogramming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we ext...
详细信息
Concurrent constraint programming is classically based on asynchronous communication via a shared store. this paper presents new version of the ask and tell primitives which features synchronicity. Our approach is bas...
详细信息
作者：
Caires, LuisDI-FCT
Universidade Nova de Lisbon Monte da Caparica2825 Portugal
Due to its ability to handle resources in a finely controlled way, linear logic is being adopted as a foundation of several logicprogramming and specification languages in which some notions of state can be modelled....
详细信息
A methodology is introduced based on first-order logic, for the design and decomposition of abstract domains for abstract interpretation. First, an assertion language is chosen that describes the properties of interes...
详细信息
In this paper we present the semantics of a functional logic language with parametric and order-sorted polymorphism. Typed programs consist of a polymorphic signature and a set of constructor-based conditional rewriti...
详细信息
暂无评论