Search Sciweavers | Sciweavers

686 search results - page 8 / 138

» Foundations for Bidirectional Programming

239

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

15 years 12 months ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

134

Voted

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Mathematical Foundations of Answer Set Programming

15 years 12 months ago

Download www.krlab.cs.ttu.edu

Paolo Ferraris, Vladimir Lifschitz

claim paper

Read More »

156

Voted

ASP
2001
Springer

87views Automated Reasoning» more ASP 2001»

On the Foundations of Answer Set Programming

15 years 11 months ago

Download www.aaai.org

Victor W. Marek, Jeffrey B. Remmel

claim paper

Read More »

116

click to vote

ERSHOV
2001
Springer

132views Theoretical Computer Science» more ERSHOV 2001»

A Theoretical Foundation of Program Synthesis by Equivalent Transformation

15 years 11 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

124

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers