Search Sciweavers | Sciweavers

3562 search results - page 23 / 713

» Introduction to Logic Programming

130

click to vote

Book

273views

Designing and Building Parallel Program

16 years 7 months ago

Download www-unix.mcs.anl.gov

"Designing and Building Parallel Programs is a book for students and professionals who need to know how to write parallel programs. It is neither a programming language manual...

Ian Foster

posted by scimaster

Read More »

click to vote

ENTCS
2006

189views more ENTCS 2006»

Variables as Resource for Shared-Memory Programs: Semantics and Soundness

14 years 9 months ago

Download www.cs.cmu.edu

Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...

Stephen D. Brookes

claim paper

Read More »

109

click to vote

COMPSAC
2003
IEEE

153views Software Engineering» more COMPSAC 2003»

Data-Flow-Based Unit Testing of Aspect-Oriented Programs

15 years 3 months ago

Download cse.sjtu.edu.cn

The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...

Jianjun Zhao

claim paper

Read More »

141

click to vote

Book

594views

A Gentle Introduction to Haskell

16 years 7 months ago

Download haskell.org

The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes Monads,...

Paul Hudak, John Peterson, Joseph Fasel

posted by CherifSalama

Read More »

241

click to vote

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers