Search Sciweavers | Sciweavers

10072 search results - page 225 / 2015

» Composition of Model Programs

170

click to vote

APLAS
2006
ACM

92views Programming Languages» more APLAS 2006»

Type and Effect System for Multi-staged Exceptions

15 years 10 months ago

Download ropas.snu.ac.kr

Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...

Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi

claim paper

Read More »

147

click to vote

TOOLS
2000
IEEE

131views Programming Languages» more TOOLS 2000»

A Metacomponent Model to Support the Extensibility and Evolvability of Networked Applications

15 years 11 months ago

Download d3s.mff.cuni.cz

Glêdson Elias da Silveira, Silvio Romero de ...

claim paper

Read More »

124

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

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

122

click to vote

IFIP
1998
Springer

69views Programming Languages» more IFIP 1998»

An extended manufacturing management model: control principles and aspects in production networks

15 years 10 months ago

Download www.sintef.no

J. O. Stranshagen, H. Dreyer, E. Borgen

claim paper

Read More »

186

click to vote

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers