Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarICCL 1992: Oakland, California, USA
BibTeX
RIS
RDF N-Triples
XML
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
FacebookJames R. Cordy, Mario Barbacci:
ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. IEEE 1992, ISBN 0-8186-2585-6
ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. IEEE 1992, ISBN 0-8186-2585-6
A. Deutsch:
A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations. 2-13
A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations. 2-13
W. Zimmermann:
Complexity issues in the design of functional languages with explicit parallelism. 34-43
Complexity issues in the design of functional languages with explicit parallelism. 34-43
Jürgen Vollmer, R. Hoffart:
Modula-P-a language for parallel programming definition and implementation on a transputer network. 54-64
Modula-P-a language for parallel programming definition and implementation on a transputer network. 54-64
J. Allan Yang, Young-il Choo:
Metalinguistic features for formal parallel-program transformation. 65-75
Metalinguistic features for formal parallel-program transformation. 65-75
Jens Palsberg:
An automatically generated and provably correct compiler for a subset of Ada. 117-126
An automatically generated and provably correct compiler for a subset of Ada. 117-126
Mikael Pettersson, Peter Fritzson:
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. 127-136
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. 127-136
Baudouin Le Charlier, Pascal Van Hentenryck:
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. 137-146
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. 137-146
Lunjin Lu, Peter Greenfield:
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. 147-154
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. 147-154
Philippe Codognet, Gilberto Filé:
Computations, abstractions and constraints in logic programs. 155-164
Computations, abstractions and constraints in logic programs. 155-164
Bjørn N. Freeman-Benson, Alan Borning:
The design and implementation of Kaleidoscope'90-A constraint imperative programming language. 174-180
The design and implementation of Kaleidoscope'90-A constraint imperative programming language. 174-180
Shigeo Sugimoto, Tetsuo Sakaguchi, Koichi Tabata:
Layered architecture of multiple programming language system for multiparadigm programming. 190-199
Layered architecture of multiple programming language system for multiparadigm programming. 190-199
Mary Shaw, William A. Wulf:
Toward relaxing assumptions in languages and the1r implementations. 202-211
Toward relaxing assumptions in languages and the1r implementations. 202-211
R. Gupta:
SPMD execution of programs with dynamic data structures on distributed memory machines. 232-241
SPMD execution of programs with dynamic data structures on distributed memory machines. 232-241
Laurie J. Hendren, Guang R. Gao:
Designing programming languages for analyzability: a fresh look at pointer data structures. 242-251
Designing programming languages for analyzability: a fresh look at pointer data structures. 242-251
Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee:
Semantic issues in the design of languages for debugging. 252-261
Semantic issues in the design of languages for debugging. 252-261
Murali Sitaraman:
A class of programming language mechanisms to facilitate multiple implementations of the same specification. 272-281
A class of programming language mechanisms to facilitate multiple implementations of the same specification. 272-281
William H. Harrison, Harold Ossher:
Attaching instance variables to method realization1 instead of classes. 291-299
Attaching instance variables to method realization1 instead of classes. 291-299
Abdallah M. Alashqur, Stanley Y. W. Su, Herman Lam:
Constraint specification on object-oriented databases. 300-309
Constraint specification on object-oriented databases. 300-309
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini:
High-level language support for programming distributed systems. 320-330
High-level language support for programming distributed systems. 320-330
L. Gunaseelan, Richard J. LeBlanc:
Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating system. 331-340
Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating system. 331-340
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-18 00:12 CEST by the dblp team