1280 search results - page 92 / 256 » Soft Typing with Conditional Types |
STACS
2001
Springer
14 years 1 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
RT
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The appearance of many natural materials is largely influenced by the environment in which they are situated. Capturing the effects of such environmental factors is esse...
OOIS
1997
Springer
14 years 1 months ago
1997
Springer
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
ECAI
2006
Springer
14 years 26 days ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
SAS
2000
Springer
14 years 22 days ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...