Search Sciweavers | Sciweavers

10575 search results - page 128 / 2115

» T2Script Programming Language

138

click to vote

USENIX
1993

160views Operating System» more USENIX 1993»

Wafe - An X Toolkit Based Frontend for Application Programs in Various Programming Languages

15 years 6 months ago

Download nm.wu-wien.ac.at

Wafe provides a ﬂexible and easy to use interface to the X Toolkit (Xt) and the Athena widget set (Xaw) using the embeddable command language Tcl [1]. It allows access to Xt’s...

Gustaf Neumann, Stefan Nusser

claim paper

Read More »

122

click to vote

PPDP
2007
Springer

123views Programming Languages» more PPDP 2007»

Local reasoning about storable locks

15 years 10 months ago

Download research.microsoft.com

Josh Berdine

claim paper

Read More »

117

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

15 years 10 months ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

click to vote

APLAS
2006
ACM

89views Programming Languages» more APLAS 2006»

Private Row Types: Abstracting the Unnamed

15 years 10 months ago

Download www.math.nagoya-u.ac.jp

Jacques Garrigue

claim paper

Read More »

114

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

A Typed, Compositional Logic for a Stack-Based Abstract Machine

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers