7681 search results - page 93 / 1537 » Typed Membrane Systems |
144
click to vote
ACL
1997
15 years 6 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...
159
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
150
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
117
click to vote
ENTCS
2008
15 years 5 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
135
click to vote
JFP
2007
15 years 5 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de