Sciweavers

3273 search results - page 8 / 655
» types 2007
Sort
View
JOT
2007
92views more  JOT 2007»
14 years 11 months ago
Just: Safe Unknown Types in Java-like Languages
Giovanni Lagorio, Elena Zucca
JOT
2007
65views more  JOT 2007»
14 years 11 months ago
A Formal Type System for Java
Mourad Debbabi, M. Fourati
JSAT
2007
95views more  JSAT 2007»
14 years 11 months ago
An Abstract Decision Procedure for a Theory of Inductive Data Types
Clark Barrett, Igor Shikanian, Cesare Tinelli
ARSCOM
2004
54views more  ARSCOM 2004»
14 years 11 months ago
Orthogonal Designs of Kharaghani Type: II
Christos Koukouvinos, Jennifer Seberry
ADCM
2000
85views more  ADCM 2000»
14 years 11 months ago
Construction of Runge-Kutta methods of Crouch-Grossman type of high order
Zdzislaw Jackiewicz, Arne Marthinsen, Brynjulf Owr...