959 search results - page 36 / 192 » Fundamental Concepts in Programming Languages |
125
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
115
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
160
Voted
TCS
2002
15 years 3 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
147
Voted
AC
1998
Springer
15 years 3 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
123
click to vote
INAP
2001
Springer
15 years 8 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...