π-Calculus semantics of object-oriented programming languages (Englisch)
Nationallizenz
- Neue Suche nach: Walker, David
- Neue Suche nach: Walker, David
In:
Theoretical Aspects of Computer Software
;
532-547
;
1991
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:π-Calculus semantics of object-oriented programming languages
-
Beteiligte:Walker, David ( Autor:in )
-
Erschienen in:Theoretical Aspects of Computer Software ; 532-547Lecture Notes in Computer Science ; 526 ; 532-547
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1991
-
Format / Umfang:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
A semantics for type checkingPlotkin, Gordon et al. | 1991
- 18
-
Type inference in polymorphic type disciplineGiannini, Paola / Ronchi, Simona / Rocca, Della et al. | 1991
- 38
-
Monotone recursive definition of predicates and its realizability interpretationTatsuta, Makoto et al. | 1991
- 53
-
Adding proof objects and inductive definition mechanisms to frege structuresSato, Masahiko et al. | 1991
- 88
-
From term models to domainsPhoa, Wesley et al. | 1991
- 112
-
An abstract interpretation for ML equality kindsGunter, Carl A. / Gunter, Elsa L. / MacQueen, David B. et al. | 1991
- 131
-
Full abstraction and the Context Lemma (preliminary report)Jim, Trevor / Meyer, Albert R. et al. | 1991
- 152
-
An efficiency preorder for processesArun-Kumar, S. / Hennessy, M. et al. | 1991
- 176
-
On nets, algebras and modularityRabinovich, Alexander / Trakhtenbrot, Boris A. et al. | 1991
- 204
-
Towards a complete hierarchy of compositional dataflow modelsJonsson, Bengt / Kok, Joost N. et al. | 1991
- 226
-
Type theory as a foundation for computer scienceConstable, Robert L. et al. | 1991
- 244
-
What is in a step: On the semantics of statechartsPnueli, A. / Shalev, M. et al. | 1991
- 265
-
Proving termination of general Prolog programsApt, Krzysztof R. / Pedreschi, Dino et al. | 1991
- 290
-
On abstraction and the expressive power of programming languagesMitchell, John C. et al. | 1991
- 311
-
Role of logic programming in the FGCS projectFuchi, Kazuhiro / Furukawa, Koichi et al. | 1991
- 326
-
Authentication and delegation with smart-cardsAbadi, M. / Burrows, M. / Kaufman, C. / Lampson, B. et al. | 1991
- 346
-
Data flow analysis as model checkingSteffen, Bernhard et al. | 1991
- 365
-
On the adequacy of dependence-based representations for programs with heapsPfeiffer, Phil / Selke, Rebecca Parsons et al. | 1991
- 387
-
From programming-by-example to proving-by-exampleHagiya, Masami et al. | 1991
- 420
-
From LP to LP: Programming with constraintsLassez, Jean-Louis et al. | 1991
- 447
-
Polynomial recursion analysis in pascal like programsArmbruster, Dieter et al. | 1991
- 459
-
Complexity of proving program correctnessHungar, Hardi et al. | 1991
- 475
-
Some normalization properties of martin-löf's type theory, and applicationsBasin, David A. / Howe, Douglas J. et al. | 1991
- 495
-
Parametricity of extensionally collapsed term models of polymorphism and their categorical propertiesHasegawa, Ryu et al. | 1991
- 513
-
Programs with continuations and linear logicNishizaki, Shin-ya et al. | 1991
- 532
-
π-Calculus semantics of object-oriented programming languagesWalker, David et al. | 1991
- 548
-
Wrapper semantics of an object-oriented programming language with stateHense, Andreas V. et al. | 1991
- 569
-
Sharing actions and attributes in modal action logicRyan, Mark / Fiadeiro, José / Maibaum, Tom et al. | 1991
- 594
-
First order data types and first order logicTreinen, Ralf et al. | 1991
- 615
-
Efficient program synthesis: Semantics, logic, complexityKanovich, Max I. et al. | 1991
- 633
-
Principal type-schemes of BCI-lambda-termsHirokawa, Sachio et al. | 1991
- 651
-
Intersection and union typesBarbanera, Franco / Dezani-Ciancaglini, Mariangiola et al. | 1991
- 675
-
The coherence of languages with intersection typesReynolds, John C. et al. | 1991
- 701
-
Singleton, union and intersection types for program extractionHayashi, Susumu et al. | 1991
- 731
-
Subtyping + extensionality: Confluence of βηtop reduction in F≤Curien, Pierre-Louis / Ghelli, Giorgio et al. | 1991
- 750
-
An extension of system F with subtypingCardelli, Luca / Martini, Simone / Mitchell, John C. / Scedrov, Andre et al. | 1991
- 771
-
Will logicians be replaced by machines?Scott, Dana S. et al. | 1991