Search Sciweavers | Sciweavers

8109 search results - page 39 / 1622

» A Model of Component-Based Programming

165

Voted

GPCE
2005
Springer

150views Programming Languages» more GPCE 2005»

Language Requirements for Large-Scale Generic Libraries

15 years 12 months ago

Download www.cs.colorado.edu

Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...

Jeremy G. Siek, Andrew Lumsdaine

claim paper

Read More »

137

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

16 years 1 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

160

click to vote

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 10 months ago

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

144

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

15 years 10 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

128

Voted

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

16 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers