MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Constraint Programming (Abstract)." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • Abstract Model Checking of tccp programs  
  • by María Alpuente, María Del Mar Gallardo, Ernesto Pimentel, Alicia Villanueva — 2004 — In Proc. of the 2nd Works. on Quantitative Aspects of Programming Languages (QAPL 2004), volume 112 of ENTCS
  • … Pimentel1 ,4 1 ,5 Alicia Villanueva Abstract The Timed Concurrent Constraint programming language (tccp…
  • Cited by 3 (3 self) – Add To MetaCart
  • Theoretical Computer Science 346 (2005) 58 -- 95  
  • by Www Elsevier Com, María Alpuente A, María Del Mar Gallardo B, Ernesto Pimentel B, Alicia Villanueva A — 1995
  • …: Timed Concurrent Constraint programming; Abstract interpretation; Model checking � Work partially…
  • Add To MetaCart
  • (Extended Abstract)  
  • by M. Hermenegildo, F. Bueno, M. García de la Banda, G. Puebla — 1995
  • …. of Melbourne. 3.2.2 Constraint Programming The abstract domain Def [GH93, Gar94] determines whether program…
  • Cited by 31 (19 self) – Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB