Search Sciweavers | Sciweavers

syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...

Brigitte Pientka

claim paper

Read More »

184

click to vote

LPAR
2005
Springer

112views Automated Reasoning» more LPAR 2005»

Model Checking Abstract State Machines with Answer Set Programming

16 years 5 days ago

Download www.cs.sfu.ca

ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...

Calvin Kai Fan Tang, Eugenia Ternovska

claim paper

Read More »

167

click to vote

AAAI
2004

111views Intelligent Agents» more AAAI 2004»

Logic Programs with Abstract Constraint Atoms

15 years 8 months ago

Download www.aaai.org

We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...

Victor W. Marek, Miroslaw Truszczynski

claim paper

Read More »

160

click to vote

SIGARCH
2008

93views more SIGARCH 2008»

NOBLE: non-blocking programming support via lock-free shared abstract data types

15 years 6 months ago

Download www.bth.se

e Shared Abstract Data Types H

Håkan Sundell, Philippas Tsigas