124 search results - page 17 / 25 » Static Code Analysis of Functional Descriptions in SystemC |
COGSCI
2008
13 years 8 months ago
2008
What aspects of spatial relations influence speakers' choice of locative? This article presents a study of static spatial descriptions from 24 languages. The study reveals tw...
APL
1998
ACM
14 years 2 days ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
ENTCS
2007
13 years 7 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
WECWIS
2007
IEEE
14 years 2 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...