Sciweavers

1712 search results - page 6 / 343

» Abstract Constraint Data Types

90

Voted

IRMA
2000

130views Information Technology» more IRMA 2000»

Adding alternative access paths to abstract data types

15 years 4 months ago

Adding alternative access paths to abstract data types

Download www.lsi.upc.es

Xavier Franch, Jordi Marco

claim paper

Read More »

44

Voted

CORR
2010
Springer

47views Education» more CORR 2010»

Tuple-based abstract data types: full parallelism

15 years 2 months ago

Tuple-based abstract data types: full parallelism

Download hal.archives-ouvertes.fr

José Martinez, Carmelo Malta

claim paper

Read More »

100

Voted

ACTA
2006

78views more ACTA 2006»

Abstractions of data types

15 years 2 months ago

Abstractions of data types

Download www.cs.cmu.edu

Ferucio Laurentiu Tiplea, Constantin Enea

claim paper

Read More »

63

Voted

INFORMATICALT
2008

101views more INFORMATICALT 2008»

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

15 years 2 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 »

95

Voted

JSAT
2007

95views more JSAT 2007»

An Abstract Decision Procedure for a Theory of Inductive Data Types

15 years 2 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 »

« Prev « First page 6 / 343 Last » Next »