Sciweavers

10622 search results - page 186 / 2125
» Python Programming Language
Sort
View
PLDI
1994
ACM
15 years 7 months ago
Type Analysis of Prolog Using Type Graphs
Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...
POS
1994
Springer
15 years 7 months ago
Semantic Synchronization in a Persistent Object System Library
Andrea H. Skarra, Naser S. Barghouti, Alexander L....
SIGADA
1994
Springer
15 years 7 months ago
Structural Model: Architecture for Software Designers
Robert G. Crispen, Lynn D. Stuckey Jr.
IFIP
1992
Springer
15 years 7 months ago
A Framework for Production Control and Materials Management
J. Will M. Bertrand, John C. Wortman, Jacob Wijnga...
POPL
1992
ACM
15 years 7 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long