60 treff

programmeringsspråk semantikk
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
CTCS '95
Bok Engelsk 1995 · Vis mer
Programming languages and systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings
European Symposium on Programming
Bok Engelsk 1994 · Vis mer
Singular and plural nondeterministic parameters : multialgebras, power algebra and complete reasoning systems
Walicki, Michał
Bok Engelsk 1994 · Les boka på nett · Vis mer
Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
Bok Engelsk 1997 · Vis mer
Category theory and computer science : 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings
CTCS '97
Bok Engelsk 1997 · Vis mer
Three papers on computational syntax and semantics
Mats Dahllöf
Bok Engelsk 1999 · Vis mer
The Tbilisi Symposium on Logic, Language and Computation : selected papers
Tbilisi Symposium on Logic, Language and Computation
Bok Engelsk 1998 · Vis mer
Functional programming and input/output
Andrew D. Gordon
Bok Engelsk 1994 · Vis mer
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
S. Brookes ... [et al.] (eds.)
Bok Engelsk 1992 · Vis mer
A practical introduction to denotational semantics
Lloyd Allison
Bok Engelsk 1986 · Vis mer
Selected papers of ESOP '94, the 5th European Symposium on Programming (11-13 April 1994, Edinburgh, UK)
European Symposium on Programming
Bok Engelsk 1995 · Vis mer
Proceedings
IEEE Symposium on Logic in Computer Science
Bok Engelsk 1994 · Vis mer
Vis flere utgaver
Vis flere utgaver
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings
European Symposium on Programming
Bok Engelsk 1992 · Vis mer
Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
D. H. Pitt ... [et al.] (eds.)
Bok Engelsk 1991 · Vis mer
Semantics of type theory : correctness, completeness and independence results
Streicher, Thomas.
Bok Engelsk 1991 · Vis mer
Introduction to the theory of programming languages
Bertrand Meyer
Bok Engelsk 1990 · Vis mer
Logic and specification : extending VDM-SL for advanced formal specification
Middelburg, Cornelis Adam
Bok Engelsk 1993 · Vis mer
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
REX Workshop
Bok Engelsk 1993 · Vis mer
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings
LITP Spring School on Theoretical Computer Science
Bok Engelsk 1990 · Vis mer
Theoretical aspects of semantics-based language implementation = : Teoretiske aspekter af semantik-baseret sprog-implementation
Nielson, Flemming
Bok Dansk 1990 · Vis mer
Realistic compiler generation
Peter Lee
Bok Engelsk 1989 · Vis mer
Introductions to formal semantics
Karlsson, Even-André
Bok Språk ikke angitt 1986 · Vis mer
Selected papers of ESOP '90 : the 3rd European Symposium on Programming
European Symposium on Programming
Bok Engelsk 1991 · Vis mer
Specification languages and environments : version 3.0 January 1991
by Arve Meisingset
Bok Engelsk 1991 · Vis mer
Parallel attribute evaluation
Kuiper, Matthijs Frederik
Bok Engelsk 1989 · Vis mer
Fully abstract models of programming languages
Allen Stoughton
Bok Språk ikke angitt 1988 · Vis mer
Abstract interpretation of declarative languages
editors: Samson Abramsky and Chris Hankin...
Bok Språk ikke angitt 1987 · Vis mer
Non-determinacy and its semantics
Harald Søndergaard, Peter Sestoft
Bok Engelsk 1987 · Vis mer