Sciweavers

4067 search results - page 45 / 814

» Programs for Applying Symmetries

17

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Mathematical Foundations of Answer Set Programming

14 years 1 months ago

Mathematical Foundations of Answer Set Programming

Download www.krlab.cs.ttu.edu

Paolo Ferraris, Vladimir Lifschitz

claim paper

Read More »

12

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

14 years 1 months ago

Specifying, Programming and Verifying with Equational Logic

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

19

SAC
1996
ACM

120views Applied Computing» more SAC 1996»

Bootstrapping higher-order program transformers from interpreters

14 years 3 days 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 »

25

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

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

13 years 12 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 »

10

CIE
2006
Springer

78views Applied Computing» more CIE 2006»

An Introduction to Program and Thread Algebra

13 years 11 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 »