Search Sciweavers | Sciweavers

8109 search results - page 39 / 1622

» A Model of Component-Based Programming

136

click to vote

GPCE
2005
Springer

150views Programming Languages» more GPCE 2005»

Language Requirements for Large-Scale Generic Libraries

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

109

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

15 years 11 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

138

click to vote

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 8 months ago

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

115

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

15 years 8 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

109

click to vote

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers