636 search results - page 85 / 128 » Operational Semantics for Functional Logic Languages |
112
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
124
Voted
KI
2006
Springer
15 years 2 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
168
Voted
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
129
Voted
SAINT
2005
IEEE
15 years 8 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
139
Voted
TYPES
1998
Springer
15 years 7 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...