7529 search results - page 280 / 1506 » The Modula-3 Type System |
197
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper is to study the information system development (ISD) by looking into fifty-six cases from the perspectives of power development stage and organizational politics. We in...
191
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
147
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
144
click to vote
ICALP
1990
Springer
15 years 10 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...
177
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of