Search Sciweavers | Sciweavers

10666 search results - page 183 / 2134

» Quantum programming languages

click to vote

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

An Event-Based Structural Operational Semantics of Multi-Threaded Java

14 years 2 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

click to vote

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

14 years 2 months ago

Download www.imamu.edu.sa

Pieter H. Hartel, Michael J. Butler, Moshe Levy

claim paper

Read More »

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

14 years 2 months ago

Download reference.kfupm.edu.sa

Christian S. Collberg, Clark D. Thomborson, Dougla...

claim paper

Read More »

click to vote

SIGADA
1999
Springer

88views Programming Languages» more SIGADA 1999»

Experiences using Ada in a real-time and distributed laboratory

14 years 2 months ago

Download www.sigada.org

Patricia Balbastre, Silvia Terrasa, Joan Vila i Ca...

claim paper

Read More »

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers