7124 search results - page 250 / 1425 » Programming Languages and Operating Systems |
166
Voted
PLDI
2005
ACM
16 years 5 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...
170
click to vote
GPCE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
166
click to vote
ICFP
1997
ACM
15 years 10 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...
157
click to vote
SMALLTALK
2007
Springer
16 years 21 days 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...
202
click to vote
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...