Sciweavers

Share
49 search results - page 1 / 10
» Type inference and strong static type checking for Promela
Sort
View
SCP
2010
155views more  SCP 2010»
9 years 5 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its speciļ¬cation language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
SPIN
2005
Springer
10 years 12 days ago
Etch: An Enhanced Type Checking Tool for Promela
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
Alastair F. Donaldson, Simon J. Gay
TOPLAS
2008
89views more  TOPLAS 2008»
9 years 6 months ago
Types for atomicity: Static checking and inference for Java
Cormac Flanagan, Stephen N. Freund, Marina Lifshin...
OOPSLA
1989
Springer
9 years 11 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
9 years 11 months ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen
books