851 search results - page 111 / 171 » Associative definition of programming languages |
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
POS
1998
Springer
14 years 1 months ago
1998
Springer
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
CD
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
VL
2003
IEEE
2003
IEEE
The effects of graphical and textual visualisations in multi-representational debugging environments
14 years 2 months ago
The effects of graphical and textual visualisations in a multi-representational debugging environment were investigated in computing students who used a software debugging environ...