Sciweavers

10575 search results - page 1586 / 2115
» T2Script Programming Language
Sort
View
LICS
2000
IEEE
15 years 11 months ago
Game Semantics and Subtyping
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
Juliusz Chroboczek
WCRE
2000
IEEE
15 years 11 months ago
FAMIX and XMI
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
Sander Tichelaar, Stéphane Ducasse, Serge D...
BIRTHDAY
2000
Springer
15 years 11 months ago
Niklaus Wirth - a Pioneer of Computer Science
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...
Gustav Pomberger, Hanspeter Mössenböck, ...
CL
2000
Springer
15 years 11 months ago
Querying Inconsistent Databases: Algorithms and Implementation
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
Alexander Celle, Leopoldo E. Bertossi
CONCUR
1999
Springer
15 years 11 months ago
Object Types against Races
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
Cormac Flanagan, Martín Abadi
« Prev « First page 1586 / 2115 Last » Next »