Search Sciweavers | Sciweavers

7892 search results - page 1 / 1579

» Programming with Models

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

14 years 5 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

Voted

AMAI
1999
Springer

194views Artificial Intelligence» more AMAI 1999»

Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

13 years 4 months ago

Download folli.loria.fr

Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...

Ilkka Niemelä

claim paper

Read More »

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

13 years 11 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

click to vote

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

13 years 9 months ago

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers