Search Sciweavers | Sciweavers

10622 search results - page 178 / 2125

» Python Programming Language

156

click to vote

TOOLS
1999
IEEE

84views Programming Languages» more TOOLS 1999»

A Formal Software Development Approach Based on COOZ and Refinement Calculus

15 years 10 months ago

Download satoss.uni.lu

Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...

claim paper

Read More »

140

click to vote

TOOLS
1999
IEEE

86views Programming Languages» more TOOLS 1999»

Extensible Motor of a Object-Relational DBMS: Design and Implementation

15 years 10 months ago

Download www.mgt.ncu.edu.tw

Shi-guang Ju, Sergio V. Chapa, Wei-he Chen

claim paper

Read More »

142

click to vote

IFIP
1999
Springer

101views Programming Languages» more IFIP 1999»

Dynamics of performance measurement systems

15 years 10 months ago

Download www.eui.eu

Umit S. Bititci, Allan S. Carrie, T. Turner, P. Su...

claim paper

Read More »

171

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 »

142

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers