4895 search results - page 703 / 979 » Functional Quantum Programming |
141
click to vote
IWPC
2006
IEEE
15 years 11 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
198
Voted
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
148
Voted
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
109
Voted
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
122
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...