Searching for authors named "Mikael Pettersson" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
The Definition of RML - Version 1.9.6.1
- …The Definition of RML Version 1.9.6.1 Mikael Pettersson Department of Computer and Information…
- Add To MetaCart
-
A Definition of Erlang
- …A Definition of Erlang (DRAFT) Mikael Pettersson Department of Computer and Information Science…
- Add To MetaCart
-
The RML2C compiler - present and future (Extended Abstract)
- … and future (Extended abstract) Mikael Pettersson Department of Computer and Information Science Linkoping…
- Add To MetaCart
-
RML - A New Language and Implementation for Natural Semantics
- … for Natural Semantics Mikael Pettersson Email: mpe@(email omitted); Abstract RML is a programming language…
- Cited by 14 (2 self) – Add To MetaCart
-
A Compiler for Natural Semantics
- …. A Compiler for Natural Semantics Mikael Pettersson Email: mpe@(email omitted); January 23, 1996 1…
- Cited by 23 (2 self) – Add To MetaCart
-
Main-Memory Linear Hashing - Some Enhancements of Larson's Algorithm
- …Main--Memory Linear Hashing -- Some Enhancements of Larson's Algorithm Mikael Pettersson…
- Cited by 3 (0 self) – Add To MetaCart
-
DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications
- … Denotational Specifications Mikael Pettersson and Peter Fritzson Department of Computer and Information Science…
- Cited by 3 (1 self) – Add To MetaCart
-
RML -- A New Language and Implementation for Natural Semantics
- … for Natural Semantics Mikael Pettersson Email: mpe@(email omitted); Abstract RML is a programming language…
- Add To MetaCart
-
A Calibration Procedure for Analog-to-Digital Converters
- … Skoglund, Member, IEEE, and Mikael Pettersson Submitted November 1998 to IEEE Transactions…
- Add To MetaCart
-
The HiPE/x86 Erlang compiler: System description and performance evaluation
- …The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation Mikael Pettersson…
- Cited by 10 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
