1226 search results - page 69 / 246 » Proofs, Programs and Abstract Complexity |
131
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
119
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
129
click to vote
JFPLC
2000
15 years 4 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
122
click to vote
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...