Search Sciweavers | Sciweavers

686 search results - page 8 / 138

» Foundations for Bidirectional Programming

165

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

15 years 8 months ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Mathematical Foundations of Answer Set Programming

15 years 8 months ago

Download www.krlab.cs.ttu.edu

Paolo Ferraris, Vladimir Lifschitz

claim paper

Read More »

117

click to vote

ASP
2001
Springer

87views Automated Reasoning» more ASP 2001»

On the Foundations of Answer Set Programming

15 years 7 months ago

Download www.aaai.org

Victor W. Marek, Jeffrey B. Remmel

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

132views Theoretical Computer Science» more ERSHOV 2001»

A Theoretical Foundation of Program Synthesis by Equivalent Transformation

15 years 7 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers