-
1
-
-
0001794268
-
Semantics of interaction: An introduction to game semantics
-
A.M. Pitts, P. Dybjer (Eds.), Cambridge University Press, Cambridge, UK
-
S. Abramsky, Semantics of interaction: an introduction to game semantics, in: A.M. Pitts, P. Dybjer (Eds.), Semantics and Logics of Computation, Cambridge University Press, Cambridge, UK, 1997, pp. 1-32.
-
(1997)
Semantics and Logics of Computation
, pp. 1-32
-
-
Abramsky, S.1
-
2
-
-
77956968984
-
An introduction to inductive definitions
-
J. Barwise (Ed.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
-
P. Aczel, An introduction to inductive definitions, in: J. Barwise (Ed.), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, vol. 90, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1977, pp. 739-782.
-
(1977)
Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics
, vol.90
, pp. 739-782
-
-
Aczel, P.1
-
3
-
-
84969346412
-
Incremental evaluation of natural semantics specifications
-
M. Bruynooghe, M. Wirsing, (Eds.), PLILP '92, Leuven, Belgium, 26-28 August 1992, Lecture Notes in Computer Science, Springer, Berlin, Germany
-
I. Attali, J. Chazarain, S. Gilette, Incremental evaluation of natural semantics specifications, in: M. Bruynooghe, M. Wirsing, (Eds.), Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, PLILP '92, Leuven, Belgium, 26-28 August 1992, Lecture Notes in Computer Science, vol. 631, Springer, Berlin, Germany, 1992, pp. 87-99.
-
(1992)
Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming
, vol.631
, pp. 87-99
-
-
Attali, I.1
Chazarain, J.2
Gilette, S.3
-
4
-
-
77956972992
-
The algebraic theory of context-free languages
-
P. Bradford, D. Hirschberg (Eds.), North Holland Pub. Co., Amsterdam, The Netherlands
-
N. Chomsky, M.P. Schützenberger, The algebraic theory of context-free languages, in: P. Bradford, D. Hirschberg (Eds.), Computer Programming and Formal Systems, North Holland Pub. Co., Amsterdam, The Netherlands, 1963, pp. 118-161.
-
(1963)
Computer Programming and Formal Systems
, pp. 118-161
-
-
Chomsky, N.1
Schützenberger, M.P.2
-
5
-
-
0001953495
-
Types as abstract interpretations, invited paper
-
Paris, France, ACM Press, New York, USA, January
-
P. Cousot, Types as abstract interpretations, invited paper, in: Conference Record of the Twentyfourth Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages, Paris, France, ACM Press, New York, USA, January 1997, pp. 316-331.
-
(1997)
Conference Record of the Twentyfourth Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages
, pp. 316-331
-
-
Cousot, P.1
-
6
-
-
0037188218
-
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
-
DOI 10.1016/S0304-3975(00)00313-3, PII S0304397500003133
-
P. Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science 277 (1-2) (2002) 47-103. (Pubitemid 34435079)
-
(2002)
Theoretical Computer Science
, vol.277
, Issue.1-2
, pp. 47-103
-
-
Cousot, P.1
-
7
-
-
84972546036
-
Constructive versions of Tarski's fixed point theorems
-
P. Cousot, R. Cousot, Constructive versions of Tarski's fixed point theorems, Pacific Journal of Mathematics 82 (1) (1979) 43-57.
-
(1979)
Pacific Journal of Mathematics
, vol.82
, Issue.1
, pp. 43-57
-
-
Cousot, P.1
Cousot, R.2
-
8
-
-
0018294932
-
Systematic design of program analysis frameworks
-
San Antonio, Texas, ACM Press, New York, USA
-
P. Cousot, R. Cousot, Systematic design of program analysis frameworks, in: Conference Record of the Sixth Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, ACM Press, New York, USA, 1979, pp. 269-282.
-
(1979)
Conference Record of the Sixth Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages
, pp. 269-282
-
-
Cousot, P.1
Cousot, R.2
-
10
-
-
0026992713
-
Inductive definitions, semantics and abstract interpretation
-
P. Cousot, R. Cousot, Inductive definitions, semantics and abstract interpretation, in: Conference Record of the Ninthteenth Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, United States, ACM Press, New York, USA, 1992, pp. 83-94. (Pubitemid 23608102)
-
(1992)
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
, pp. 83-94
-
-
Cousot Patrick1
Cousot Radhia2
-
11
-
-
84947934484
-
Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and gametheoretic form, invited paper
-
P.Wolper, (Ed.), Liège, Belgium, Lecture Notes in Computer Science, Springer, Berlin, Germany, 3-5 July
-
P. Cousot, R. Cousot, Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and gametheoretic form, invited paper, in: P.Wolper, (Ed.), Proceedings of the Seventh International Conference on Computer Aided Verification, CAV '95, Liège, Belgium, Lecture Notes in Computer Science, vol. 939, Springer, Berlin, Germany, 3-5 July 1995, pp. 293-308.
-
(1995)
Proceedings of the Seventh International Conference on Computer Aided Verification, CAV '95
, vol.939
, pp. 293-308
-
-
Cousot, P.1
Cousot, R.2
-
12
-
-
0004232136
-
-
second ed., Cambridge University Press, Cambridge, UK
-
B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, second ed., Cambridge University Press, Cambridge, UK, 2002.
-
(2002)
Introduction to Lattices and Order
-
-
Davey, B.A.1
Priestley, H.A.2
-
16
-
-
0000892681
-
A tutorial on (co)algebras and (co)induction
-
B. Jacobs, J. Rutten, A tutorial on (co)algebras and (co)induction, EATCS Bulletin 62 (1997) 222-269.
-
(1997)
EATCS Bulletin
, vol.62
, pp. 222-269
-
-
Jacobs, B.1
Rutten, J.2
-
17
-
-
0002973657
-
Natural semantics
-
K. Fuchi, M. Nivat (Eds.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
-
G. Kahn, Natural semantics, in: K. Fuchi, M. Nivat (Eds.), Programming of Future Generation Computers, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1988, pp. 237-258.
-
(1988)
Programming of Future Generation Computers
, pp. 237-258
-
-
Kahn, G.1
-
18
-
-
0031232144
-
The mathematical import of Zermelo's well-ordering theorem
-
A. Kanamori, The mathematical import of Zermelo's well-ordering theorem, Bulletin of Symbolic Logic 3 (1997) 281-311. (Pubitemid 127176306)
-
(1997)
Bulletin of Symbolic Logic
, vol.3
, Issue.3
, pp. 281-311
-
-
Kanamori, A.1
-
19
-
-
2942580820
-
Adding recursive constructs to bialgebraic semantics
-
B. Klin, Adding recursive constructs to bialgebraic semantics, Journal of Logic and Algebraic Programming 60-61 (2004) 259-286.
-
(2004)
Journal of Logic and Algebraic Programming
, vol.60-61
, pp. 259-286
-
-
Klin, B.1
-
20
-
-
34247873045
-
Bialgebraic methods in structural operational semantics. invited talk
-
DOI 10.1016/j.entcs.2006.11.018, PII S1571066107001600, Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006)
-
B. Klin, Bialgebraic methods in structural operational semantics, Electronic Notes in Theoretical Computer Science 175 (1) (2007) 33-43. (Pubitemid 46694385)
-
(2007)
Electronic Notes in Theoretical Computer Science
, vol.175
, Issue.1
, pp. 33-43
-
-
Klin, B.1
-
21
-
-
0005443503
-
Fixed point theorems and semantics: A folk tale
-
J.-L. Lassez, V.L. Nguyen, L. Sonenberg, Fixed point theorems and semantics: a folk tale, Information Processing Letters 14 (3) (1982) 112-116.
-
(1982)
Information Processing Letters
, vol.14
, Issue.3
, pp. 112-116
-
-
Lassez, J.-L.1
Nguyen, V.L.2
Sonenberg, L.3
-
22
-
-
33745799069
-
Coinductive big-step operational semantics
-
DOI 10.1007/11693024-5, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings
-
X. Leroy, Coinductive big-step operational semantics, in: P. Sestoft, (Ed.), Proceedings of the Fifteenth European Symposium on Programming Languages and Systems, ESOP '2006, Vienna, Austria, Lecture Notes in Computer Science, vol. 3924, Springer, Berlin, Germany, 27-28 March 2006, pp. 54-68. (Pubitemid 44019551)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.3924
, pp. 54-68
-
-
Leroy, X.1
-
23
-
-
0003037229
-
Operational and algebraic semantics of concurrent processes
-
J. van Leeuwen (Ed.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
-
R. Milner, Operational and algebraic semantics of concurrent processes, in: J. van Leeuwen (Ed.), Formal Models and Semantics, Handbook of Theoretical Computer Science, vol. B, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1990, pp. 1201-1242.
-
(1990)
Formal Models and Semantics, Handbook of Theoretical Computer Science
, vol.B
, pp. 1201-1242
-
-
Milner, R.1
-
24
-
-
0002267624
-
Denotational semantics
-
J. van Leeuwen (Ed.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
-
P.D. Mosses, Denotational semantics, in: J. van Leeuwen (Ed.), Formal Models and Semantics, Handbook of Theoretical Computer Science, vol. B, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1990, pp. 575-631.
-
(1990)
Formal Models and Semantics, Handbook of Theoretical Computer Science
, vol.B
, pp. 575-631
-
-
Mosses, P.D.1
-
25
-
-
84909748757
-
The theory and practice of transforming call-by-need into call-by-value
-
B. Robinet, (Ed.), Paris, France, 22-24 April 1980, LectureNotes in Computer Science, Springer, Berlin, Germany
-
A. Mycroft, The theory and practice of transforming call-by-need into call-by-value, in: B. Robinet, (Ed.), Proceedings of the Fourth International Symposium on Programming, Paris, France, 22-24 April 1980, LectureNotes in Computer Science, vol. 83, Springer, Berlin, Germany, 1980, pp. 270-281.
-
(1980)
Proceedings of the Fourth International Symposium on Programming
, vol.83
, pp. 270-281
-
-
Mycroft, A.1
-
26
-
-
0018053508
-
Sur les ensembles de mots infinis engendres par une grammaire algebrique
-
M. Nivat, Sur les ensembles de mots infinis engendrés par une grammaire algébrique, Informatique Théorique et Applications 12 (3) (1978) 259-278. (Pubitemid 9411050)
-
(1978)
RAIRO Inf Theor Theor Comput Sci
, vol.12
, Issue.3
, pp. 259-278
-
-
Nivat Maurice1
-
27
-
-
84857153796
-
A constructive proof of Tarski's fixed-point theorem for dcpo's 65th Peripatetic Seminar on Sheaves and Logic Århus Denmark November 1997
-
April
-
D. Pataria, A constructive proof of Tarski's fixed-point theorem for dcpo's, 65th Peripatetic Seminar on Sheaves and Logic, Århus, Denmark, November 1997. Reported by M.H. Escardó in Joins in the frame of nuclei, Applied Categorical Structures, Vol. 11, Issue 2, April 2003, pp. 117-124.
-
(2003)
Reported by M.H. Escardó in Joins in the Frame of Nuclei, Applied Categorical Structures
, vol.11
, Issue.2
, pp. 117-124
-
-
Pataria, D.1
-
28
-
-
0003931061
-
-
Technical Report DAIMI FN-19, Aarhus University, Denmark, September, Reprinted in
-
G.D. Plotkin, A Structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Aarhus University, Denmark, September 1981. Reprinted in [30].
-
(1981)
A Structural Approach to Operational Semantics
, vol.30
-
-
Plotkin, G.D.1
-
32
-
-
0005336505
-
Selective thunkification
-
B. Le Charlier, (Ed.), Namur, Belgium, 20-22 September 1994, Lecture Notes in Computer Science, Springer, Berlin, Germany
-
P. Steckler, M. Wand. Selective thunkification, in: B. Le Charlier, (Ed.), Proceedings of the First International Symposium on Static Analysis, SAS '94, Namur, Belgium, 20-22 September 1994, Lecture Notes in Computer Science, vol. 864, Springer, Berlin, Germany, 1994, pp. 162-178.
-
(1994)
Proceedings of the First International Symposium on Static Analysis, SAS '94
, vol.864
, pp. 162-178
-
-
Steckler, P.1
Wand, M.2
-
33
-
-
84972541021
-
A lattice theoretical fixpoint theorem and its applications
-
A. Tarski, A lattice theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955) 285-310.
-
(1955)
Pacific Journal of Mathematics
, vol.5
, pp. 285-310
-
-
Tarski, A.1
-
34
-
-
0030684322
-
Towards a mathematical operational semantic
-
G. Winskel, (Ed.), LICS '1997,Warsaw, Poland, 29 June-2 July 1997, IEEE Computer Society Press, Los Alamitos, California, USA
-
D. Turi, G.D. Plotkin, Towards a mathematical operational semantic, in: G. Winskel, (Ed.), Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science, LICS '1997,Warsaw, Poland, 29 June-2 July 1997, IEEE Computer Society Press, Los Alamitos, California, USA, pp. 280-291.
-
Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science
, pp. 280-291
-
-
Turi, D.1
Plotkin, G.D.2
-
35
-
-
0034911390
-
An introduction to metric semantics: Operational and denotational models for programming and specification languages
-
DOI 10.1016/S0304-3975(00)00403-5, PII S0304397500004035
-
F. van Breugel, An introduction to metric semantics: operational and denotational models for programming and specification languages, Theoretical Computer Science 258 (2001) 1-98. (Pubitemid 32676675)
-
(2001)
Theoretical Computer Science
, vol.258
, Issue.1-2
, pp. 1-98
-
-
Van Breugel, F.1
|