Sciweavers

10666 search results - page 159 / 2134

» Quantum programming languages

19

POPL
1996
ACM

98views Programming Languages» more POPL 1996»

Solving Shape-Analysis Problems in Languages with Destructive Updating

14 years 2 months ago

Solving Shape-Analysis Problems in Languages with Destructive Updating

Download www-plan.cs.colorado.edu

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

claim paper

Read More »

27

ICFP
2007
ACM

84views Programming Languages» more ICFP 2007»

Evaluating high-level distributed language constructs

14 years 2 months ago

Evaluating high-level distributed language constructs

Download www.macs.hw.ac.uk

Jan Henry Nyström, Philip W. Trinder, David J...

claim paper

Read More »

33

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

14 years 1 months ago

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

Download www.cs.mun.ca

Kim B. Bruce, Angela Schuett, Robert van Gent

claim paper

Read More »

40

ASPLOS
1994
ACM

109views Programming Languages» more ASPLOS 1994»

LCM: Memory System Support for Parallel Language Implementation

14 years 1 months ago

LCM: Memory System Support for Parallel Language Implementation

Download www.math.ups.edu

James R. Larus, Brad Richards, Guhan Viswanathan

claim paper

Read More »

37

ATAL
2007
Springer

112views Intelligent Agents» more ATAL 2007»

A grounded specification language for agent programs

14 years 2 months ago

A grounded specification language for agent programs

Download people.cs.uu.nl

This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...

Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...

claim paper

Read More »

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