Вы здесь

Главная

Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction

Связанные издания:

A Complete Modal Proof System For HAL: The Herbrand Agent Language
An Approach to Transputer Programs Developments: from Fine-Grained to Coarse-Grained Parallelism
An Object-Oriented Approach to Integrated Systems of Program Development
A process semantics and equivalences of logic programs
Attributed Tree Grammars
Computations in APS
Construction of Programs- an Alternative to Automatic Synthesis
Data Type Point of View of Main Features of a Modern Persistent Language
Generation of Bottom-up Parsers: A New Approach
Gentzen Calculi and Admissible Substitutions
Hereditarily-Finite Sets with Attributes, Data Bases and Polynomial-Time Computability
Hypertext as an Environment for Software Development
Merging Graphical and Textual Specification Languages
On A Generalized Product For Domains
On Equivalent Transformations of Recursion Schemes
On Fault Tolerance of Syntax
Operational and Denotational Semantics for Prolog with Input-Output Predicates
PLEIADE: A System for Grammatical Programming
Problem-Oriented Verification System and its Application to Linear Algebra Programs
Program transformation by proof in constructive framework
The implementation of the data base programming language Modula-90
The Use of the parsing method for optimal code generation and common subexpression elimination
Type inference in Prolog: a new approach
Weighted Systems of Equations
П -universality of some propositional logics of concurrent programs