The weakest prespecification

The weakest prespecification

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hoare, Charles A. R. 1934- (VerfasserIn), He, Jifeng 1943- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Oxford 1985
Schriftenreihe:	Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG 44
Schlagworte:	Computer systems - Programming - Applications of mathematical logic Computer software Mathematics Mathematik Computer programming Logic, Symbolic and mathematical
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic program specification of numerical integration
von: Clark, K. L., et al.
Veröffentlicht: (1982)

Cut-free sequent and tableau systems for propositional Diodorean modal logics
von: Goré, Rajeev
Veröffentlicht: (1993)

Using specialisation to reconstruct two mode inference systems
von: Mellish, Christopher S.
Veröffentlicht: (1991)

Tutorial notes: reaoning about logic programs
von: Bundy, Alan
Veröffentlicht: (1992)

Automated reasoning about an uncertain domain
von: Silva, Flávio Soares Corrêa da
Veröffentlicht: (1991)

A simple Prolog techniques editor for novice users
von: Robertson, Dave
Veröffentlicht: (1991)

Higher order annotated terms for proof search
von: Smaill, Alan, et al.
Veröffentlicht: (1996)

Conditional rewriting logic deduction, models and concurrency
von: Meseguer, José
Veröffentlicht: (1990)

Spreadsheets with incremental queries as a user interface for logic programming
von: Van Emden, M. H., et al.
Veröffentlicht: (1985)

A logic for correct program development
von: Bates, Joseph L.
Veröffentlicht: (1981)

Prolog program development via enhanced schema based transformations
von: Vasconcelos, Wamberto, et al.
Veröffentlicht: (1995)

Proof planning the verification of CCS programs
Veröffentlicht: (1996)

String analysis for software verification and security
von: Bultan, Tevfik, et al.
Veröffentlicht: (2017)

Modal and temporal logics
von: Stirling, Colin
Veröffentlicht: (1991)

LICS 1995
Veröffentlicht: (2000)

Recursive program optimization through inductive synthesis proof transformation
von: Madden, Peter
Veröffentlicht: (1992)

Rules and reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings
Veröffentlicht: (2017)

Concurrency, security, and puzzles essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday
Veröffentlicht: (2017)

A List of successes that can change the world essays dedicated to Philip Wadler on the occasion of his 60th birthday
Veröffentlicht: (2016)

QPC2, a second order logic for high order programming
von: Takayama, Yukihide
Veröffentlicht: (1990)

Predicative specifications of robust correctness for functional programs describing communicating networks
von: Broy, Manfred 1949-
Veröffentlicht: (1986)

A model for deliberation, action, and introspection
von: Doyle, Jon
Veröffentlicht: (1980)

Essentials of Constraint Programming
von: Frühwirth, Thom, et al.
Veröffentlicht: (2003)

Practical aspects of declarative languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018 : proceedings
Veröffentlicht: (2018)

Structured object-oriented formal language and method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers
Veröffentlicht: (2016)

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Veröffentlicht: (2015)

Samson Abramsky on Logic and Structure in Computer Science and Beyond
Veröffentlicht: (2023)

Axioms for concurrency
von: Moller, Faron
Veröffentlicht: (1989)

Petri Net Synthesis
von: Badouel, Eric, et al.
Veröffentlicht: (2015)

Objects and transactions for modelling distributed applications concurrency control and commitment
von: Bacon, Jean M., et al.
Veröffentlicht: (1993)

Logical characterization of bounded query classes II polynomial-time oracle machines
von: Stewart, Iain A.
Veröffentlicht: (1991)

On completeness for NP via projection translations
von: Stewart, Iain A.
Veröffentlicht: (1991)

Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions
von: Bertot, Yves, et al.
Veröffentlicht: (2004)

Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil
Veröffentlicht: (1999)

Verified software theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 : revised selected papers
Veröffentlicht: (2023)

Logics of domain
von: Zhang, Guo-Qiang
Veröffentlicht: (1989)

Logic and specification extending VDM-SL for advanced formal specification
von: Middelburg, Cornelis A.
Veröffentlicht: (1993)

A theory of bisimulation for the pi-calculus
von: Sangiorgi, Davide
Veröffentlicht: (1993)

The computational complexity of counting
von: Jerrum, Mark 1955-
Veröffentlicht: (1994)

Multiple inheritance via intersection types
von: Compagnoni, Adriana B., et al.
Veröffentlicht: (1993)