6343 search results - page 167 / 1269 » Development of a Cartographic Language |
251
Voted
Book
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
127
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
To reduce the ambiguity and the different semantic interpretation of human observers’ reports, we propose a new paradigm in collaborating information using icons to represent co...
148
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
124
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
129
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...