Search Sciweavers | Sciweavers

10666 search results - page 183 / 2134

» Quantum programming languages

187

click to vote

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

15 years 11 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

153

click to vote

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 11 months ago

Download www.imamu.edu.sa

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

claim paper

Read More »

195

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

15 years 11 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

130

Voted

SIGADA
1999
Springer

88views Programming Languages» more SIGADA 1999»

Experiences using Ada in a real-time and distributed laboratory

15 years 11 months ago

Download www.sigada.org

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

claim paper

Read More »

135

Voted

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers