Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540168164, 9783540448617

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Retracts of SFP objects

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_29 ◽

1986 ◽

pp. 135-148 ◽

Author(s):

Tsutomu Kamimura ◽

Adrian Tang

Download Full-text

On the variety concept for ω-continuous algebras. Application of a general approach

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_35 ◽

1986 ◽

pp. 215-248

Author(s):

Ana Pasztor

Download Full-text

Galois connections

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_28 ◽

1986 ◽

pp. 122-134 ◽

Author(s):

Horst Herrlich ◽

Miroslav Hušek

Keyword(s):

Galois Connections

Download Full-text

Continuous categories

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_30 ◽

1986 ◽

pp. 149-161 ◽

Author(s):

Jürgen Koslowski

Download Full-text

Cartesian closed categories, quasitopoi and topological universes

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_23 ◽

1986 ◽

pp. 20-41 ◽

Author(s):

Jiří Adámek ◽

Horst Herrlich

Keyword(s):

Cartesian Closed Categories ◽

Cartesian Closed

Download Full-text

Free constructions of powerdomains

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_31 ◽

1986 ◽

pp. 162-183 ◽

Author(s):

Michael G. Main

Keyword(s):

Free Constructions

Download Full-text

What is a model? A consumer's perspective on semantic theory

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_38 ◽

1986 ◽

pp. 296-307

Author(s):

Jon Shultis

Keyword(s):

Semantic Theory

Download Full-text

Postconditional semantics of data base queries

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_37 ◽

1986 ◽

pp. 275-295 ◽

Author(s):

Naphtali Rishe

Keyword(s):

Download Full-text

Standard, storeless semantics for ALGOL-style block structure and call-by-name

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_22 ◽

1986 ◽

pp. 1-19 ◽

Author(s):

S. Kamal Abdali ◽

David S. Wise

Keyword(s):

Block Structure

Download Full-text

A fully abstract semantics and a proof system for an algol-like language with sharing

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-16816-8_26 ◽

1986 ◽

pp. 59-100 ◽

Author(s):

Stephen D. Brookes

Keyword(s):

Proof System ◽

Abstract Semantics

Download Full-text