Modula

swMATH1224MaRDI QIDQ13964FDOQ13964

Author name not available (Why is that?)

Official website: https://en.wikipedia.org/wiki/Modula

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

• 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?)
• 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?)
• Title not available (Why is that?)
• From modula to oberon
• Average case analysis of DJ graphs
• 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?)
• Methods and means of parallel processing of information
• Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler
• Title not available (Why is that?)
• DD-mod
• SIMSCRIPT
• Ada95
• Miranda
• Sisal
• Turbo Pascal
• 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?)
• ObSim-2
• ALGOL 60
• Simula 67
• Gofer
• Guava
• QuickBasic
• PL/I
• Flex
• Sather
• PAL-11A
• Path Pascal
• Title not available (Why is that?)
• Neuere Konzepte und Entwuerfe für Programmiersprachen
• The natural representation of real numbers
• Title not available (Why is that?)
• An abstract data type for name analysis
• Rex
• GAG
• Ell
• INDIA
• Lalr
• MzScheme
• Transformations of sequential specifications into concurrent specifications by synchronization guards
• All structured programs have small tree width and good register allocation
• On removing the machine from the language
• The programming language oberon
• Efficient expansion of factored expressions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Issues in the design of a parallel object-oriented language
• Implementation of the grid file: Design concepts and experience
• Title not available (Why is that?)
• Stable marriages by coroutines
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• DMODULA: A distributed programming language
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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?)
• 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?)
• Type extensions
• 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?)
• 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?)

This page was built for software: Modula