10585 search results - page 203 / 2117 » The Orc Programming Language |
DAC
2012
ACM
11 years 11 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
PLPV
2011
ACM
12 years 12 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
AC
2002
Springer
13 years 9 months ago
2002
Springer
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
ACMSE
2008
ACM
13 years 11 months ago
2008
ACM
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...