5451 search results - page 160 / 1091 » Typed Operational Semantics |
126
Voted
WCRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
146
Voted
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
114
click to vote
ENTCS
2008
15 years 3 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
131
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
111
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...