Search Sciweavers | Sciweavers

10575 search results - page 159 / 2115

» Programming Languages

169

click to vote

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

15 years 10 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

139

click to vote

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 10 months ago

Download www.imamu.edu.sa

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

claim paper

Read More »

180

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

15 years 10 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

119

click to vote

SIGADA
1999
Springer

88views Programming Languages» more SIGADA 1999»

Experiences using Ada in a real-time and distributed laboratory

15 years 10 months ago

Download www.sigada.org

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

claim paper

Read More »

118

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers