Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Deriving a compiler from an operational semantics written in VDL: Label: en
Procedural operators considered as fundamental programming devices: Label: en
Optimizing floating point operations in Scheme: Label: en
Compositional Petri net models of advanced tasking in Ada-95: Label: en
Integrating relational databases and constraint languages: Label: en
Structured program lookahead: Label: en
G: A functional language with generic abstract data types: Label: en
Occam—A programming language for multiprocessor systems: Label: en
Extending temporal query languages to handle imprecise time intervals: Label: en
A sketch-based technique for the derivation of self-interpreters: Label: en
Grammar partitioning and modular deterministic parsing: Label: en
Preference logic grammars: Label: en
Branching-time logic programming: the language Cactus and its applications: Label: en
Formal semantics of visual occam: Label: en
LR techniques for handling syntax errors: Label: en
Evaluating inlining techniques: Label: en
A denotational approach for type-checking in object-oriented programming languages: Label: en
List processing primitives for parallel computation: Label: en
Synchronization abstraction in the BETA programming language: Label: en
A finest partitioning algorithm for attribute grammars: Label: en
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages: Label: en
Program separation and definitional higher order programming: Label: en
On goal-directed provability in classical logic: Label: en
Towards the uniform implementation of declarative languages: Label: en
: A distributed real-time logic language: Label: en
Lazy narrowing with simplification: Label: en
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering: Label: en
Visual temporal logic as a rapid prototyping tool: Label: en
Argos: an automaton-based synchronous language: Label: en
Visualising business processes: Label: en
Object-oriented modelling and specification using SHE: Label: en
Languages for formalizing, visualizing and verifying software architectures: Label: en
Introduction by the guest editor: Label: en
State inference for dynamically changing interfaces: Label: en
LAILA: a language for coordinating abductive reasoning among logic agents: Label: en
Experiments with destructive updates in a lazy functional language: Label: en
Parallel recognition and parsing on mesh connected computers with multiple broadcasting: Label: en
Implementing polymorphic typing in a logic programming language: Label: en
Scheduling expression DAGs for minimal register need: Label: en
SequenceL provides a different way to view programming: Label: en
An approach to software system modelling and analysis: Label: en
An approach to software system behavior description: Label: en
EQL: A language for numerical computation: Label: en
Parallel developments in programming languages and operating systems: Label: en
A high level data structure—The grid: Label: en
Inference for transition network grammars: Label: en
A statistical analysis of syntax errors: Label: en
Use-definition chains with applications: Label: en
A proposal for a generalized “FOR” statement: Label: en
Data structures in SL5: Label: en