Sciweavers

2736 search results - page 118 / 548
» Understanding programmer language
Sort
View

Lecture Notes
1005views
17 years 2 months ago
Lectures on reconfigurable computing
Driven by recent innovations in Field-Programmable Gate Arrays (FPGAs), reconfigurable computing offers unique ways to accelerate key algorithms. FPGAs offer a programmable logic f...
Sherief Reda
146
Voted
ASE
2005
102views more  ASE 2005»
15 years 2 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
126
Voted
DLS
2007
177views Languages» more  DLS 2007»
15 years 4 months ago
An adaptive package management system for scheme
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
Manuel Serrano, Erick Gallesio
COLING
1994
15 years 3 months ago
A Tool For Collecting Domain Dependent Sortal Constraints From Corpora
CT In this paper, we describe a tool designed to generate semi-automatically the sortal constraints specific to a domain to be used in a natural language (NL) understanding system....
François Andry, Jean Mark Gawron, John Dowd...
199
Voted
POPL
2009
ACM
16 years 3 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen