The Correctness of Type Specialisation

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-46425-5_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

General Correctness: A Unification of Partial and Total Correctness

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1985English

Research Excellence and Specialisation

2017English

Analysis of the Production Specialisation of the Regional Economy

Applied Researches in Technics, Technologies and Education
2018English

Algebraic Models and the Correctness of Microprocessors

English

Subject Specialisation at the National Library of Australia

ANZTLA EJournal
2019English

New Structure for Specialisation

Veterinary Record
MedicineVeterinary
2012English

Conditional Correctness and Approximate Solution of Boundary Value Problem for the System of Second Order Mixed-Type Equations

Journal of Siberian Federal University - Mathematics and Physics
MathematicsAstronomyPhysics
2018English

Program Correctness by Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Semantic Information and the Correctness Theory of Truth

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy