Search Sciweavers | Sciweavers

686 search results - page 9 / 138

» Foundations for Bidirectional Programming

138

click to vote

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 10 months ago

Download www.aaai.org

Marc Denecker

claim paper

Read More »

141

Voted

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 10 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

126

click to vote

DAGSTUHL
2006

120views Software Engineering» more DAGSTUHL 2006»

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

15 years 7 months ago

Download drops.dagstuhl.de

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

claim paper

Read More »

117

click to vote

SIGCSE
2002
ACM

106views Education» more SIGCSE 2002»

National Science Foundation Graduate Research Fellowship Program

15 years 6 months ago

Download www.nsfgrfp.org

Jeffrey Johnson

claim paper

Read More »

127

click to vote

IEEECIT
2010
IEEE

103views Information Technology» more IEEECIT 2010»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers