Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | J. Allan Yang, Young-il Choo |
Metalinguistic features for formal parallel-program transformation. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
1 | E. Klein |
Parallel ordered attribute grammars. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Charles Farnum |
Dora-an environment for experimenting with compiler optimizers. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Codognet, Gilberto Filé |
Computations, abstractions and constraints in logic programs. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuto Yoshikawa |
A visual knowledge representation language for layout problem. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Shigeo Sugimoto, Tetsuo Sakaguchi, Koichi Tabata |
Layered architecture of multiple programming language system for multiparadigm programming. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mamdouh H. Ibrahim, Fred A. Cummins |
KSL/Logic: Integration of Logic with Objects. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | William H. Harrison, Harold Ossher |
Subdivided Procedures: A Language Extension Supporting Extensible Programming. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Corradi, Letizia Leonardi |
Parallelism in Object-Oriented Programming Languages. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciancarini |
Coordination Languages for Open System Design. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jean Paul Bahsoun, Louis Féraud, Claude Bétourné |
A "Two Degrees of Freedom" Approach for Parallel Programming. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Lori L. Pollock, Mary Lou Soffa |
Incremental Global Optimization for Faster Recompilations. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | James R. Cordy, T. C. Nicholas Graham |
GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Jagannathan |
Coercion as a Metaphor for Computatiion. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Quinn, Philip J. Hatcher |
Compiling SIMD Programs for MIMD Architectures. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Sanjai Narain |
Lazy Evaluation in Logic Programming. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | John T. Stasko |
A Practical Animation Language for Software Developement. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Harold Ossher |
Multi-Dimensional Organization and Browsing of Object-Oriented Systems. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum |
Experience with Distributed Programming in ORCA. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | James R. Cordy, Eric Promislow |
Specification and Automatic Prototype Implementation of Polymorphic Objects in TURING Using the TXL Dialect Processor. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Philip J. Koopman Jr., Peter Lee 0001, Daniel P. Siewiorek |
Cache Performance of Combinator Graph Reduction. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Chris D. Marlin, Wei Zhao 0001, Graeme Doherty, Andrew Bohonis |
GARTL: A Real-time Programming Language Based on Multi-version Computation. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Flavio De Paoli, Mehdi Jazayeri |
FLAME: A Language for Distributed Programming. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nikil D. Dutt |
LEGEND: A Language for Generic Component Library Description. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | David R. Hanson, Makoto Kobayashi |
EZ Processes. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Mary Jean Harrold, Mary Lou Soffa |
Computation of Interprocedural Definition and Use Dependencies. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | James M. Purtilo, Joanne M. Atlee |
Improving Module Reuse by Interface Adaption. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | György E. Révész |
Parallel Graph-Reduction with a Shared Memory Multiprocessor System. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | James W. Hearne, Debra S. Jusak |
The Tahiti Programming Language: Events as First-Class Objects. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Atarashi, Akihiko Konagaya, Shinichi Habata, Minoru Yokota |
Implementation and Evaluation of Dynamic Predicates on the Sequential Inference Machine CHI. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Carol Kilpatrick, Karsten Schwan, David M. Ogle |
Using Languages for Capture, Analysis and Display of Performance Information for Parallel and Distributed Applications. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | |
1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA |
ICCL |
1990 |
DBLP BibTeX RDF |
|
1 | Mario Barbacci, Jeannette M. Wing |
A Language for Distributed Applications. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Qian Cui, John D. Gannon |
Data-Oriented Exception Handling in Ada. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nissim Francez, Ira R. Forman |
Conflict Propogation. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen |
A Self-Applicable Partial Evaluator for the Lambda Calculus. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing |
Reliable Distributed Computing with Avalon/Common Lisp. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Wilfred J. Hansen |
Enhancing Documents with Embedded Programs: How Ness Insets in the Andrew ToolKit. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gail E. Kaiser, Brent Hailpern |
An Object Model of Shared Data. |
ICCL |
1990 |
DBLP DOI BibTeX RDF |
|
1 | H. Herath |
Languages in electrotechnical laboratory's dataflow machines. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Forouzan Golshani, W. T. Scott, P. D. White |
Languages for intelligent specification systems. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Saul Amarel |
On the representation of problems in artificial intelligence. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Marco Baldassari, V. Berti, Giorgio Bruno |
Object-oriented conceptual programming based on PROT nets. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Scott A. Vorthmann, Richard J. LeBlanc |
A naming specification language for syntax-directed editors. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Philip R. Thrift |
Common Lisp relations: an extension of Lisp for logic programming. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos G. Bourbakis |
Specifications for the development of a software environment for evaluation and translation of assembly languages. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth |
Type inference by program transformation and partial evaluation. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Vijay K. Garg, C. V. Ramamoorthy |
High level communication primitives for concurrent systems. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Yen-Chun Lin, Ferng-Ching Lin |
The use of aFP to design regular array algorithms. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | S. Natarajan, K.-J. Lin |
FLEX: towards flexible real-time programs. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Rodney S. Tosten |
Data security in an object-oriented environment such as Smalltalk-80. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Manuel E. Bermudez |
A unifying model for lookahead LR parsing. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | W. P. Yin, Murat M. Tanik, David Y. Y. Yun |
Software design representation: design object descriptive attribute notation (DODAN). |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | P. J. Pulli |
Execution of structured analysis specifications with an object oriented Petri net approach. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Samuel O. Aletan, William Lively |
Architectural design methodology for supporting high level programming languages. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache |
Adapting modules to an integrated programming environment. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Fred Grossman, Robert J. Klerer, Melvin Klerer |
A language for high-level programming of mathematical applications. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | J. C. Hwang, M. W. Du, C. R. Chou |
The influence of language semantics on program slices. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Janice I. Glasgow, Michael A. Jenkins |
Array theory, logic and the Nial language. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Oudshoorn, Chris D. Marlin |
Describing data control in programming languages. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Yen-Teh Hsia, Allen L. Ambler |
Programming through pictorial transformations. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Henri E. Bal, Andrew S. Tanenbaum |
Distributed programming with shared data. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow |
TXL: a rapid prototyping system for programming language dialects. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Raymond T. Yeh |
Report on a business definition language system. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins |
The design of software interfaces in Spec. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | S. A. DiNitto Jr. |
Future directions in programming languages. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Carl McCrosky |
The elimination of intermediate containers in the evaluation of first-class array expressions. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey J. P. Tsai, Thomas J. Weigert, Mikio Aoyama |
A declarative approach to software requirement specification languages. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | R. F. Kamel, Neil D. Gammage |
Experience with Rendezvous [tasking and communication model]. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Carl K. Chang, John W. Brackett, A. M. Davis, P. C. Grabon, T. Haizuka, P. Hsia |
Specification languages-assessment and trends. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | V. J. de Jong |
Symbolic dimension bound checking in a matrix language. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Weichang Du, William W. Wadge |
An intentional language as the basis of a 3-D spreadsheet design. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Rajive L. Bagrodia, K. Mani Chandy |
Programming the Connection Machine. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Y. Zhong, S. Ishizuka, R. Enari |
Integrating abstract data types with object-oriented programming by specification-based approach. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | |
1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA |
ICCL |
1988 |
DBLP BibTeX RDF |
|
1 | Pierre Jouvelot, David K. Gifford |
The FX-87 Interpreter. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Imran A. Zualkernan, Wei-Tek Tsai |
Are knowledge representations the answer to requirement analysis? |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Stephen S. Yau, Xiaoping Jia |
Visual languages and software specifications. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Rus, John P. Le Peau |
Language specification by multi-axiom grammars. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | C. Mally |
Structure and generation of computer languages. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa A. Bassiouni, Mark J. Llewellyn |
Generalized logical operators for temporal languages. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Mamdouh H. Ibrahim, Fred A. Cummins |
KSL: a reflective object-oriented programming language. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Carl K. Chang, Tsang Ming Jiang, Mikio Aoyama |
A specification language for real-time distributed systems. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | C. Y. Roger Chen |
TOBOL - a new methodology for the top-to-bottom level hardware description in VLSI design-automation systems. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | J. G. Snodgrass, David Y. Y. Yun |
Software requirements specification from a cognitive psychology perspective. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | M. H. Kim, Young-Chul Shim, C. V. Ramamoorthy |
APAS: the Ada Programming Assistant System. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Harry Wechsler, David C. Rine |
Object oriented programming (OOP) and its relevance to designing intelligent software systems. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | José P. Diaz-Gonzalez, Joseph E. Urban |
Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Richard C. Waters |
Using obviously synchronizable series expressions instead of loops. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | K. Mani Chandy |
Programming parallel computers. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Philip J. Hatcher, J. W. Tuller |
Efficient retargetable compiler code generation. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Tim Sheard, David W. Stemple |
The precise control of inheritance and the inheritance of theory in the ADABTPL language. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene |
Using higher order logic and functional languages to synthesize correct hardware. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Gurdeep S. Hura 0001, M. A. Costarellam C. G. Buell, M. M. Cvetanovic |
PNSOFT: a menu-driven software package for Petri-net modeling and analysis. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|