Search Sciweavers | Sciweavers

6554 search results - page 94 / 1311

» Constraint Logic Programming

163

click to vote

CADE
2006
Springer

105views Logical Reasoning» more CADE 2006»

Presburger Modal Logic Is PSPACE-Complete

15 years 10 months ago

Download www.cs.man.ac.uk

We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...

Stéphane Demri, Denis Lugiez

claim paper

Read More »

135

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

16 years 22 days ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

138

click to vote

POPL
1999
ACM

88views Programming Languages» more POPL 1999»

Stochastic Processes as Concurrent Constraint Programs

15 years 10 months ago

Download www-cs-students.stanford.edu

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

claim paper

Read More »

125

click to vote

ICALP
2000
Springer

105views Programming Languages» more ICALP 2000»

Constraint Programming and Graph Algorithms

15 years 9 months ago

Download www.mpi-inf.mpg.de

Kurt Mehlhorn

claim paper

Read More »

151

click to vote

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers