Search Sciweavers | Sciweavers

5090 search results - page 33 / 1018

» Constructing Strategies for Programming

click to vote

MPC
2010
Springer

164views Mathematics» more MPC 2010»

On Automated Program Construction and Verification

15 years 8 months ago

Download mpc-amast2010.fsg.ulaval.ca

Rudolf Berghammer, Georg Struth

claim paper

Read More »

100

click to vote

LFCS
1997
Springer

94views Artificial Intelligence» more LFCS 1997»

Basic Forward Chaining Construction for Logic Programs

15 years 7 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

109

click to vote

IPPS
1992
IEEE

126views Distributed And Parallel Com...» more IPPS 1992»

Language Constructs for Structured Parallel Programming

15 years 7 months ago

Download gridsec.usc.edu

Zhiwei Xu, Kai Hwang

claim paper

Read More »

Voted

MPC
1989
Springer

62views Mathematics» more MPC 1989»

Constructing a Calculus of Programs

15 years 7 months ago

Download www.cs.uu.nl

Lambert G. L. T. Meertens

claim paper

Read More »

click to vote

TIC
1998
Springer

83views System Software» more TIC 1998»

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers