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
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
