Modula

swMATH1224MaRDI QIDQ13964FDOQ13964

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• A modula-2 kernel for supporting monitors
• On the applicability of the longest-match rule in lexical analysis.
• On the look-ahead problem in lexical analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Optimizing abstract SECD machine code
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A partially formalized model of the type system in Modula-2
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combining mascot with modula-2 to aid the engineering of real-time systems
• Title not available (Why is that?)
• Types for modules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formatted syntaxes and modula-2
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Writing concurrent assemblers–a case study in path pascal
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generating Uniformly Distributed Random Numbers without Floating Point Operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving problems with automated reasoning, expert systems and neural networks
• Estimating the execution complexity of logical specifications based on context-free grammars
• Title not available (Why is that?)
• Title not available (Why is that?)
• Type classes with existential types
• Title not available (Why is that?)
• Computability and implementability issues in abstract data types
• Design and implementation of modula
• The use of modula
• DD-mod: A library for distributed programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program structures: Some new characterisations
• Title not available (Why is that?)
• Solution of the neutron diffusion equation through multigrid methods implemented on a memory-coupled 25-processor system
• MUPPET: A programming environment for message-based multiprocessors
• A typed context calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Type extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• From modula to oberon
• Average case analysis of DJ graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data dependence analysis in programs with pointers
• Verification of object-oriented programs: a transformational approach
• Canonical codings of \(\mathbb{N}{}^ k\)
• Compatibility problems in the development of algebraic module specifications
• A software architecture for distributed computer control systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The formal definition of a real-time language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Methods and means of parallel processing of information
• Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hardware/software co-design then and now
• Optimal networks for distributing nonsequential programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Neuere Konzepte und Entwuerfe für Programmiersprachen

This page was built for software: Modula