7124 search results - page 250 / 1425 » Programming Languages and Operating Systems |
188
click to vote
PLDI
2005
ACM
16 years 18 days ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
182
Voted
GPCE
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
179
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
170
Voted
SMALLTALK
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we claim that both prototype-based visual programming and traditional Smalltalk class-based programming are required for developing applications with a GUI. We intro...
218
Voted
APIN
1998
15 years 6 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...