Search Sciweavers | Sciweavers

4426 search results - page 77 / 886

» Concurrent Constraint Programming

146

click to vote

PLDI
2004
ACM

169views Programming Languages» more PLDI 2004»

KISS: keep it simple and sequential

15 years 9 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 »

114

click to vote

TOOLS
2000
IEEE

104views Programming Languages» more TOOLS 2000»

Some Shortcomings of OCL, the Object Constraint Language of UML

15 years 8 months ago

Download sdg.csail.mit.edu

Mandana Vaziri, Daniel Jackson

claim paper

Read More »

click to vote

PLDI
2000
ACM

81views Programming Languages» more PLDI 2000»

Scalable context-sensitive flow analysis using instantiation constraints

15 years 8 months ago

Download www.cs.ucla.edu

Manuel Fähndrich, Jakob Rehof, Manuvir Das

claim paper

Read More »

111

click to vote

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

15 years 8 months ago

Download www.cs.ucla.edu

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

claim paper

Read More »

click to vote

PPCP
1994

118views Programming Languages» more PPCP 1994»

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers