38 search results - page 7 / 8 » Application of Constraint Logic Programming for VLSI CAD Too... |
371
Voted
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
207
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
122
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
129
Voted
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
129
Voted
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...