Search Sciweavers | Sciweavers

10666 search results - page 183 / 2134

» Quantum programming languages

128

Voted

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

15 years 7 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

100

Voted

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 7 months ago

Download www.imamu.edu.sa

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

claim paper

Read More »

143

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

15 years 7 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

15 years 7 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers