Search Sciweavers | Sciweavers

686 search results - page 8 / 138

» Foundations for Bidirectional Programming

230

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

15 years 11 months ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

128

click to vote

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Mathematical Foundations of Answer Set Programming

15 years 11 months ago

Download www.krlab.cs.ttu.edu

Paolo Ferraris, Vladimir Lifschitz

claim paper

Read More »

150

click to vote

ASP
2001
Springer

87views Automated Reasoning» more ASP 2001»

On the Foundations of Answer Set Programming

15 years 10 months ago

Download www.aaai.org

Victor W. Marek, Jeffrey B. Remmel

claim paper

Read More »

111

Voted

ERSHOV
2001
Springer

132views Theoretical Computer Science» more ERSHOV 2001»

A Theoretical Foundation of Program Synthesis by Equivalent Transformation

15 years 10 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

122

Voted

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