Search Sciweavers | Sciweavers

4426 search results - page 77 / 886

» Concurrent Constraint Programming

177

click to vote

PLDI
2004
ACM

169views Programming Languages» more PLDI 2004»

KISS: keep it simple and sequential

15 years 11 months ago

Download faculty.ist.psu.edu

The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for ﬁnding errors in concurrent ...

Shaz Qadeer, Dinghao Wu

claim paper

Read More »

133

click to vote

TOOLS
2000
IEEE

104views Programming Languages» more TOOLS 2000»

Some Shortcomings of OCL, the Object Constraint Language of UML

15 years 10 months ago

Download sdg.csail.mit.edu

Mandana Vaziri, Daniel Jackson

claim paper

Read More »

113

click to vote

PLDI
2000
ACM

81views Programming Languages» more PLDI 2000»

Scalable context-sensitive flow analysis using instantiation constraints

15 years 10 months ago

Download www.cs.ucla.edu

Manuel Fähndrich, Jakob Rehof, Manuvir Das

claim paper

Read More »

138

click to vote

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

15 years 10 months ago

Download www.cs.ucla.edu

Zhendong Su, Manuel Fähndrich, Alexander Aike...

claim paper

Read More »

113

click to vote

PPCP
1994

118views Programming Languages» more PPCP 1994»

QUAD-CLP(R): Adding the Power of Quadratic Constraints

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers