Search Sciweavers | Sciweavers

4880 search results - page 49 / 976

» Manuals as Structured Programs

131

click to vote

ICCAD
2002
IEEE

101views Hardware» more ICCAD 2002»

FastMag: a 3-D magnetostatic inductance extraction program for structures with permeable materials

15 years 11 months ago

Download www.rle.mit.edu

Yehia Massoud, Jacob White

claim paper

Read More »

164

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

15 years 11 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Yves Lespérance, Adria...

claim paper

Read More »

139

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 10 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

109

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 10 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

136

click to vote

ICSE
2001
IEEE-ACM

100views Software Engineering» more ICSE 2001»

On the Syllogistic Structure of Object-Oriented Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers