Sciweavers

10666 search results - page 377 / 2134
» Quantum programming languages
Sort
View
ML
2007
ACM
134views Machine Learning» more  ML 2007»
15 years 6 months ago
Status report: the manticore project
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
Matthew Fluet, Nic Ford, Mike Rainey, John H. Repp...
ICFP
2007
ACM
15 years 10 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 10 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 12 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 8 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