Search Sciweavers | Sciweavers

10622 search results - page 178 / 2125

» Python Programming Language

113

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

Download satoss.uni.lu

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

claim paper

Read More »

102

click to vote

TOOLS
1999
IEEE

86views Programming Languages» more TOOLS 1999»

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

15 years 7 months ago

Download www.mgt.ncu.edu.tw

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

claim paper

Read More »

100

click to vote

IFIP
1999
Springer

101views Programming Languages» more IFIP 1999»

Dynamics of performance measurement systems

15 years 7 months ago

Download www.eui.eu

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

claim paper

Read More »

128

click to vote

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

click to vote

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers