Sciweavers

10666 search results - page 303 / 2134

» Quantum programming languages

114

Voted

FSTTCS
1990
Springer

53views Software Engineering» more FSTTCS 1990»

Relating Full Abstraction Results for Different Programming Languages

15 years 10 months ago

Relating Full Abstraction Results for Different Programming Languages

Download www.kurims.kyoto-u.ac.jp

Kurt Sieber

claim paper

Read More »

95

SIGDOC
1990
ACM

66views Document Analysis» more SIGDOC 1990»

Visual syntax diagrams for programming language statements

15 years 10 months ago

Visual syntax diagrams for programming language statements

Download delivery.acm.org

Lisa M. Braz

claim paper

Read More »

92

VLDB
1989
ACM

70views Database» more VLDB 1989»

The O2 Database Programming Language

15 years 10 months ago

The O2 Database Programming Language

Download www.vldb.org

Christophe Lécluse, Philippe Richard

claim paper

Read More »

162

BIRTHDAY
2009
Springer

151views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic

15 years 10 months ago

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic

Download www.brics.dk

Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme

Olivier Danvy

claim paper

Read More »

149

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

15 years 10 months ago

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

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