Sciweavers

4835 search results - page 402 / 967
» Refactoring Functional Programs
Sort
View
199
Voted
ERLANG
2004
ACM
16 years 26 days ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...
215
Voted
GPCE
2003
Springer
16 years 20 days ago
Concept-Controlled Polymorphism
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...
208
Voted
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
16 years 6 days ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
VLSID
1999
IEEE
111views VLSI» more  VLSID 1999»
15 years 11 months ago
A New Approach for CMOS Op-Amp Synthesis
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the rst order behavior of a MOS transistor in the saturation regi...
Pradip Mandal, V. Visvanathan
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 11 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck