Sciweavers

10575 search results - page 348 / 2115
» T2Script Programming Language
Sort
View
ICFP
2007
ACM
15 years 8 months ago
Experience report: the reactis validation tool
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
Steve Sims, Daniel C. DuVarney
FPCA
1991
15 years 8 months ago
Dynamics in ML
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
Xavier Leroy, Michel Mauny
ERSHOV
2003
Springer
15 years 10 months ago
Intersecting Classes and Prototypes
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker
ECOOP
2008
Springer
15 years 6 months ago
Object Roles and Runtime Adaptation in Java
Abstract. Program maintenance usually decreases the programs availability. This is not acceptable for highly available applications. Thus, such applications have to be changed at r...
Mario Pukall
APLAS
2004
ACM
15 years 10 months ago
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
There are two ways to write a program for manipulating tree-structured data such as XML documents: One is to write a tree-processing program focusing on the logical structure of t...
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi