Documents
Authors
Tables
Log in
Sign up
MetaCart
DMCA
Donate
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
DMCA
On High-Level Low-Level Programming (2002)
Cached
Download Links
[icps.u-strasbg.fr]
[icps.u-strasbg.fr]
Save to List
Add to Collection
Correct Errors
Monitor Changes
by Philippe Gerner
Summary
Citations
Active Bibliography
Co-citation
Clustered Documents
Version History
Citations
2027
The Grid: Blueprint for a New Computing Infrastructure
- Foster, Kesselman, et al. - 1998
1714
The Definition of Standard ML.
- Milner, Tofte, et al. - 1997
1539
A structural approach to operational semantics
- Plotkin - 2004
1316
Categories for the working mathematician
- Lane - 1998
576
Institutions: abstract model theory for specification and programming.
- Goguen, Burstall - 1992
436
Evolving algebra 1993: Lipari guide.
- Gurevich - 1995
314
Bulldog: A Compiler for VLIW Architectures.
- Ellis - 1985
280
Design and Evolution of C++.
- Stroustrup - 1994
166
Denotational Semantics
- Mosses - 1990
98
An Introduction to Algebraic Semiotics with Application to User Interface Design,"
- Goguen - 1999
91
The Semantics of the C Programming Language.
- Gurevich, Huggins - 1992
65
High performance Fortran language specification, Version 1.1
- Forum - 1994
62
Proving correctness of compiler optimizations by temporal logic.
- Lacey, Jones, et al. - 2002
58
Conditional rewriting logic as a uni model of concurrency
- Meseguer - 1992
36
Theory and practice of action semantics.
- Mosses, Mosses - 1996
33
OPAL: Design and Implementation of an Algebraic Programming Language.
- Didrich, Fett, et al. - 1994
33
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic. Tr. by
- Poizat - 2000
11
December) The Objective Caml System Release 3.04 Documentation. Paris: Institut National de Recherche en In formatique et en Automatique
- Leroy, Doligez, et al. - 2001
8
Bouge and Jean-Luc Levaire. Control structures for data-parallel SIMD languages: semantics and implementation
- Luc - 1992
4
The Formal Speci of Oberon
- Kutter, Pierantonio - 1997
3
State of the Art
- Coelho, Germain, et al. - 1996
3
Programming languages
- JTC1SC22WG14 - 2011
1
A note on computational meaning attribution in rewriting logic
- Gerner - 2002
1
Using MPI. Scienti and Engineering Computation
- Groppa, Lusk, et al. - 1999
1
a language and its re calculus for parallel programming. Parallel Computing
- Pei - 1992
1
natural transformations, which satis the description. The relationship between a rewrite theory and a model of it is stated in the following. Let [[:]] be the denotation function with respect to this chosen model. A rewrite theory consists of: Sort decla
- functors