1675 search results - page 181 / 335 » Some thoughts on teaching programming and programming langua... |
138
click to vote
DELTA
2010
IEEE
15 years 10 months ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...
152
click to vote
TCS
2008
15 years 5 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
147
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
160
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
144
click to vote
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...