scientific article
From MaRDI portal
Publication:3997095
zbMath0757.68008MaRDI QIDQ3997095
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items (50)
Constructive algebraic topology ⋮ Symbolic Lie algebras manipulations using COMMON LISP ⋮ A list processing language TAO with multiple programming paradigms ⋮ A mechanically verified incremental garbage collector ⋮ A constructive logic behind the catch and throw mechanism ⋮ Modality via iterated enrichment ⋮ On proving the termination of algorithms by machine ⋮ Label-selective \(\lambda\)-calculus syntax and confluence ⋮ Directly reflective meta-programming ⋮ Formal correctness of a quadratic unification algorithm ⋮ Debugging hygienic macros ⋮ Design and evaluation of C++ open multi-methods ⋮ Interleaving natural language parsing and generation through uniform processing ⋮ A functional approach to generic programming using adaptive traversals ⋮ The combinatorial complexity of a finite string ⋮ On congruence relations and equations of Shimura curves ⋮ Efficient, verified checking of propositional proofs ⋮ Equality in computer algebra and beyond. ⋮ Evolutionary synthesis of low-sensitivity digital filters using adjacency matrix ⋮ Numerical continuation of solutions and bifurcation analysis in multibody systems applied to motorcycle dynamics ⋮ Meta-circular interpreter for a strongly typed language ⋮ Unnamed Item ⋮ An ACL2 Tutorial ⋮ The Impact of the Lambda Calculus in Logic and Computer Science ⋮ Computing with locally effective matrices ⋮ A proposal for error handling in OpenMP ⋮ A review of Mathematica ⋮ An environment for DEVS-based multiformalism simulation in common lisp/CLOS ⋮ The revised report on the syntactic theories of sequential control and state ⋮ A theory for program and data type specification ⋮ Random list permutations in place ⋮ Netl and subsequent path-based inheritance theories ⋮ Metamodeling semantics of multiple inheritance ⋮ A Tutorial on Object-Oriented Functional Programming ⋮ Strong normalizability of the non-deterministic catch/throw calculi ⋮ Integrating external deduction tools with ACL2 ⋮ Flexible software architectures for ontology-based information systems ⋮ Shallow confluence of conditional term rewriting systems ⋮ Limited second-order functionality in a first-order setting ⋮ How to evaluate the performance of gradual type systems ⋮ New operations research and artificial intelligence approaches to traffic engineering problems ⋮ Processing Poisson series in parallel ⋮ LISP ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System ⋮ Revised6 Report on the Algorithmic Language Scheme ⋮ A verified common lisp implementation of Buchberger's algorithm in ACL2 ⋮ Defining Actions in Concurrent Declarative Programming ⋮ Modular statically typed multimethods ⋮ A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor ⋮ Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
Uses Software
This page was built for publication:
