Open AccessBook
Compiling Natural Semantics
TLDR
The Definition of RML was defined as follows: Compiling Pattern Matching, Reducing Nondeterminism, Compiling Continuations, and Simulating Tailcalls in C.Abstract:
1 Introduction.- 2 Preliminaries.- 3 The Design of RML.- 4 Examples.- 5 Implementation Overview.- 6 Reducing Nondeterminism.- 7 Compiling Pattern Matching.- 8 Compiling Continuations.- 9 Simulating Tailcalls in C.- 10 Performance Evaluation.- 11. Concluding Remarks.- A. The Definition of RML.read more
Citations
More filters
Journal ArticleDOI
The rewriting logic semantics project
José Meseguer,Grigore Rou +1 more
TL;DR: The fact that a rewrite logic theory's axioms include both equations and rewrite rules provides a useful ''abstraction dial'' to find the right balance between abstraction and computational observability in semantic definitions.
Automatic Parallelization of Equation-Based Simulation Programs
TL;DR: This paper presents a meta-modelling framework that automates the very labor-intensive and therefore time-heavy and therefore expensive process of modeling large and complex systems through an equation-based approach.
Shades of Use: The Dynamics of Interaction Design for Sociable Use
TL;DR: In this paper, the authors show that computers are used in sociable situations, for example during customer meetings, which is seldom recognized in design, which means that computers often become a hindrance in the meeting.
Tools for design, interactive simulation, and visualization of object-oriented models in scientific computing
TL;DR: This paper presents a meta-modelling framework that automates the very labor-intensive and therefore time-heavy and expensive process of designing and programming large and complex mathematical models.
TALplanner and Other Extensions to Temporal Action Logic
TL;DR: Though the exact definition of the boundary between intelligent and non-intelligent artifacts has been a subject of much debate, one aspect of intelligence that many would deem essential is deliberation.
References
More filters
Book
Compilers: Principles, Techniques, and Tools
TL;DR: This book discusses the design of a Code Generator, the role of the Lexical Analyzer, and other topics related to code generation and optimization.
Book
Foundations of logic programming
TL;DR: This is the second edition of an account of the mathematical foundations of logic programming, which collects, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers.
Journal ArticleDOI
A Machine-Oriented Logic Based on the Resolution Principle
TL;DR: The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Book
Data Structures and Algorithms
TL;DR: The basis of this book is the material contained in the first six chapters of the earlier work, The Design and Analysis of Computer Algorithms, and has added material on algorithms for external storage and memory management.
Journal ArticleDOI
A theory of type polymorphism in programming
TL;DR: This work presents a formal type discipline for polymorphic procedures in the context of a simple programming language, and a compile time type-checking algorithm w which enforces the discipline.