Sciweavers

5415 search results - page 298 / 1083
» The Implementation of Functional Programming Languages
Sort
View
106
Voted
APLAS
2004
ACM
15 years 8 months ago
Automatic Generation of Editors for Higher-Order Data Structures
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
131
Voted
ICFP
2010
ACM
15 years 3 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic
88
Voted
TOOLS
2008
IEEE
15 years 9 months ago
A Multiparadigm Study of Crosscutting Modularity in Design Patterns
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
Martin Kuhlemann, Sven Apel, Marko Rosenmülle...
115
Voted
JCC
2008
132views more  JCC 2008»
15 years 2 months ago
The implementation of a fast and accurate QM/MM potential method in Amber
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
Ross C. Walker, Michael F. Crowley, David A. Case
130
Voted
FPL
2004
Springer
106views Hardware» more  FPL 2004»
15 years 8 months ago
FiPRe: An Implementation Model to Enable Self-Reconfigurable Applications
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
Leandro Möller, Ney Laert Vilar Calazans, Fer...