636 search results - page 61 / 128 » Operational Semantics for Functional Logic Languages |
115
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
126
Voted
RTSS
1993
IEEE
15 years 7 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
149
Voted
EWDW
1990
15 years 7 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
139
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
141
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...