Sciweavers

109 search results - page 8 / 22
» Integration of ACO in a Constraint Programming Language
Sort
View
79
Voted
INAP
2001
Springer
15 years 1 months ago
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
Salvador Abreu
APLAS
2000
ACM
15 years 1 months ago
An Open Environment for Cooperative Equational Solving
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
Tetsuo Ida, Mircea Marin
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 1 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
79
Voted
SIGADA
2005
Springer
15 years 3 months ago
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Anthony S. Ruocco
95
Voted
ISMB
1994
14 years 10 months ago
Genetic Map Construction with Constraints
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...
Dominic A. Clark, Christopher J. Rawlings, Sylvie ...