Sciweavers

13734 search results - page 5 / 2747

» Abstractions of data types

25

ACTA
2006

78views more ACTA 2006»

Abstractions of data types

13 years 7 months ago

Abstractions of data types

Download www.cs.cmu.edu

Ferucio Laurentiu Tiplea, Constantin Enea

claim paper

Read More »

15

INFORMATICALT
2008

101views more INFORMATICALT 2008»

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

13 years 7 months ago

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

Download www.mii.lt

Bruria Haberman

claim paper

Read More »

25

JSAT
2007

95views more JSAT 2007»

An Abstract Decision Procedure for a Theory of Inductive Data Types

13 years 7 months ago

An Abstract Decision Procedure for a Theory of Inductive Data Types

Download jsat.ewi.tudelft.nl

Clark Barrett, Igor Shikanian, Cesare Tinelli

claim paper

Read More »

10

CORR
2010
Springer

46views Education» more CORR 2010»

Limits of Commutativity on Abstract Data Types

13 years 7 months ago

Limits of Commutativity on Abstract Data Types

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

14

CORR
2010
Springer

76views Education» more CORR 2010»

A framework for designing concurrent and recoverable abstract data types based on commutativity

13 years 5 months ago

A framework for designing concurrent and recoverable abstract data types based on commutativity

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

« Prev « First page 5 / 2747 Last » Next »