Sciweavers

3284 search results - page 173 / 657
» On the modularity of feature interactions
Sort
View
LICS
1997
IEEE
15 years 10 months ago
Full Abstraction for Functional Languages with Control
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
James Laird
ISER
1993
Springer
227views Robotics» more  ISER 1993»
15 years 10 months ago
Design of a Hydraulic Robot Shoulder Based on a Combinatorial Mechanism
In previous papers, I have argued that while parallel mechanisms are well known for their favorable structural properties, their utility is generally limited by an inherently small...
Vincent Hayward
HOPL
2007
15 years 10 months ago
Modula-2 and Oberon
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
Niklaus Wirth
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 10 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
HPCN
1995
Springer
15 years 10 months ago
A hierarchical approach to workload characterization for parallel systems
Performance evaluation studies are to be an integral part of the design and tuning of parallel applications. We propose a hierarchical approach to the systematic characterization o...
Maria Calzarossa, Alessandro P. Merlo, Daniele Tes...