2604 search results - page 340 / 521 » General constant expressions for system programming language... |
151
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
210
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
125
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
137
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
86
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...