Search Sciweavers | Sciweavers

686 search results - page 9 / 138

» Foundations for Bidirectional Programming

click to vote

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 1 months ago

Download www.aaai.org

Marc Denecker

claim paper

Read More »

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 1 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

DAGSTUHL
2006

120views Software Engineering» more DAGSTUHL 2006»

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems

14 years 11 months ago

Download drops.dagstuhl.de

Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bor...

claim paper

Read More »

click to vote

SIGCSE
2002
ACM

106views Education» more SIGCSE 2002»

National Science Foundation Graduate Research Fellowship Program

14 years 9 months ago

Download www.nsfgrfp.org

Jeffrey Johnson

claim paper

Read More »

click to vote

IEEECIT
2010
IEEE

103views Information Technology» more IEEECIT 2010»

Research and Reformation of Online Practice Oriented Teaching in Programming Foundation Course

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers