The following pages link to Modula (Q13964):
Displaying 50 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- A software architecture for distributed computer control systems (Q595575) (← links)
- Average case analysis of DJ graphs (Q866551) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Efficient expansion of factored expressions (Q918712) (← links)
- Hardware/software co-design then and now (Q1028985) (← links)
- Stable marriages by coroutines (Q1050775) (← links)
- Implementation of the grid file: Design concepts and experience (Q1066665) (← links)
- DMODULA: A distributed programming language (Q1079361) (← links)
- Computability and implementability issues in abstract data types (Q1095645) (← links)
- Solution of the neutron diffusion equation through multigrid methods implemented on a memory-coupled 25-processor system (Q1113654) (← links)
- MUPPET: A programming environment for message-based multiprocessors (Q1118386) (← links)
- Data dependence analysis in programs with pointers (Q1128852) (← links)
- The formal definition of a real-time language (Q1153685) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler (Q1157142) (← links)
- Neuere Konzepte und Entwuerfe für Programmiersprachen (Q1166266) (← links)
- Optimal networks for distributing nonsequential programs (Q1173398) (← links)
- An abstract data type for name analysis (Q1175709) (← links)
- Canonical codings of \(\mathbb{N}{}^ k\) (Q1179119) (← links)
- Concepts in the Modula-90 database programming language (Q1183846) (← links)
- Program structures: Some new characterisations (Q1186551) (← links)
- Einführung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.) (Q1188922) (← links)
- Discrete simulation. An introduction in Modula-2 (Q1189425) (← links)
- Computer science. A fundamental introduction. Part 1: Problem oriented programming (Q1202017) (← links)
- On a new approach to representation independent data classes (Q1234589) (← links)
- On removing the machine from the language (Q1247740) (← links)
- All structured programs have small tree width and good register allocation (Q1271620) (← links)
- Solving problems with automated reasoning, expert systems and neural networks (Q1366217) (← links)
- Estimating the execution complexity of logical specifications based on context-free grammars (Q1369618) (← links)
- On the applicability of the longest-match rule in lexical analysis. (Q1872687) (← links)
- A partially formalized model of the type system in Modula-2 (Q1898550) (← links)
- On the look-ahead problem in lexical analysis (Q1899099) (← links)
- The natural representation of real numbers (Q2365962) (← links)
- Types for modules (Q2375744) (← links)
- Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- (Q2702105) (← links)
- (Q2728876) (← links)
- (Q2763597) (← links)
- (Q3128869) (← links)
- (Q3140975) (← links)
- (Q3221372) (← links)
- (Q3323225) (← links)
- (Q3336672) (← links)
- Generating Uniformly Distributed Random Numbers without Floating Point Operations (Q3416039) (← links)
- (Q3468608) (← links)
- (Q3481212) (← links)
- (Q3481214) (← links)
- (Q3484329) (← links)
