Search Sciweavers | Sciweavers

8132 search results - page 55 / 1627

» Dependability, Abstraction, and Programming

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

15 years 4 months ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

click to vote

ENTCS
2007

102views more ENTCS 2007»

Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions

14 years 9 months ago

Download www.cs.mcgill.ca

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 »

click to vote

LPAR
2005
Springer

112views Automated Reasoning» more LPAR 2005»

Model Checking Abstract State Machines with Answer Set Programming

15 years 3 months 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 »

click to vote

AAAI
2004

111views Intelligent Agents» more AAAI 2004»

Logic Programs with Abstract Constraint Atoms

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

click to vote

SIGARCH
2008

93views more SIGARCH 2008»

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

14 years 9 months ago

Download www.bth.se

e Shared Abstract Data Types H

Håkan Sundell, Philippas Tsigas

claim paper