Sciweavers

4067 search results - page 45 / 814

» Programs for Applying Symmetries

85

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Mathematical Foundations of Answer Set Programming

15 years 8 months ago

Mathematical Foundations of Answer Set Programming

Download www.krlab.cs.ttu.edu

Paolo Ferraris, Vladimir Lifschitz

claim paper

Read More »

63

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 8 months ago

Specifying, Programming and Verifying with Equational Logic

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

75

SAC
1996
ACM

120views Applied Computing» more SAC 1996»

Bootstrapping higher-order program transformers from interpreters

15 years 7 months ago

Bootstrapping higher-order program transformers from interpreters

Download www-pu.informatik.uni-tuebingen.de

Michael Sperber, Robert Glück, Peter Thiemann

claim paper

Read More »

102

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

15 years 7 months ago

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

75

CIE
2006
Springer

78views Applied Computing» more CIE 2006»

An Introduction to Program and Thread Algebra

15 years 6 months ago

An Introduction to Program and Thread Algebra

Download staff.science.uva.nl

Alban Ponse, Mark van der Zwaag

claim paper

Read More »

« Prev « First page 45 / 814 Last » Next »