Sciweavers

10666 search results - page 228 / 2134

» Quantum programming languages

129

ICCL
1998
IEEE

120views Programming Languages» more ICCL 1998»

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs

15 years 10 months ago

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs

Download www.comp.nus.edu.sg

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...

claim paper

Read More »

154

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

15 years 10 months ago

Functional Plus Logic Programming with Built-In and Symbolic Constraints

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

127

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

15 years 10 months ago

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

Download www.eecs.umich.edu

Egon Börger, Francisco Javier López-Fr...

claim paper

Read More »

141

POPL
1994
ACM

113views Programming Languages» more POPL 1994»

Analyzing Logic Programs with Dynamic Scheduling

15 years 10 months ago

Analyzing Logic Programs with Dynamic Scheduling

Download www.clip.dia.fi.upm.es

Kim Marriott, Maria J. García de la Banda, ...

claim paper

Read More »

128

POS
1992
Springer

86views Programming Languages» more POS 1992»

Persistent Program Construction through Browsing and User Gesture with some Typing

15 years 10 months ago

Persistent Program Construction through Browsing and User Gesture with some Typing

Download www.cs.st-andrews.ac.uk

Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...

claim paper

Read More »

« Prev « First page 228 / 2134 Last » Next »