5415 search results - page 480 / 1083 » The Implementation of Functional Programming Languages |
220
click to vote
AOSD
2009
ACM
16 years 2 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
266
click to vote
AOSD
2005
ACM
16 years 1 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
218
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
185
click to vote
SCOPES
2005
Springer
16 years 1 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
292
click to vote
ICDE
1999
IEEE
16 years 9 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...