2. ICCL 1988:
Miami,
Florida,
USA
1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA.
IEEE 1988 BibTeX
- Weichang Du, William W. Wadge:
An intentional language as the basis of a 3-D spreadsheet design.
2-9
Electronic Edition (link) BibTeX
- Yen-Teh Hsia, Allen L. Ambler:
Programming through pictorial transformations.
10-16
Electronic Edition (link) BibTeX
- Manuel E. Bermudez:
A unifying model for lookahead LR parsing.
18-24
Electronic Edition (link) BibTeX
- Philip J. Hatcher, J. W. Tuller:
Efficient retargetable compiler code generation.
25-30
Electronic Edition (link) BibTeX
- Fred Grossman, Robert J. Klerer, Melvin Klerer:
A language for high-level programming of mathematical applications.
31-40
Electronic Edition (link) BibTeX
- Gurdeep S. Hura, M. A. Costarellam C. G. Buell, M. M. Cvetanovic:
PNSOFT: a menu-driven software package for Petri-net modeling and analysis.
41-47
Electronic Edition (link) BibTeX
- Rajive Bagrodia, K. Mani Chandy:
Programming the Connection Machine.
50-57
Electronic Edition (link) BibTeX
- C. Mally:
Structure and generation of computer languages.
58-64
Electronic Edition (link) BibTeX
- Pierre Jouvelot, David K. Gifford:
The FX-87 Interpreter.
65-72
Electronic Edition (link) BibTeX
- V. J. de Jong:
Symbolic dimension bound checking in a matrix language.
73-80
Electronic Edition (link) BibTeX
- Henri E. Bal, Andrew S. Tanenbaum:
Distributed programming with shared data.
82-91
Electronic Edition (link) BibTeX
- Vijay K. Garg, C. V. Ramamoorthy:
High level communication primitives for concurrent systems.
92-99
Electronic Edition (link) BibTeX
- Michael J. Oudshoorn, Chris D. Marlin:
Describing data control in programming languages.
100-109
Electronic Edition (link) BibTeX
- Teodor Rus, J. P. Le Peau:
Language specification by multi-axiom grammars.
110-118
Electronic Edition (link) BibTeX
- J. C. Hwang, M. W. Du, C. R. Chou:
The influence of language semantics on program slices.
120-127
Electronic Edition (link) BibTeX
- Mostafa A. Bassiouni, Mark J. Llewellyn:
Generalized logical operators for temporal languages.
128-134
Electronic Edition (link) BibTeX
- Carl McCrosky:
The elimination of intermediate containers in the evaluation of first-class array expressions.
135-142
Electronic Edition (link) BibTeX
- R. F. Kamel, N. D. Gammage:
Experience with Rendezvous [tasking and communication model].
143-149
Electronic Edition (link) BibTeX
- H. Herath:
Languages in electrotechnical laboratory's dataflow machines.
150-157
Electronic Edition (link) BibTeX
- C. K. Chang, John W. Brackett, A. M. Davis, P. C. Grabon, T. Haizuka, P. Hsia:
Specification languages-assessment and trends.
160-165
Electronic Edition (link) BibTeX
- Saul Amarel:
On the representation of problems in artificial intelligence.
168
Electronic Edition (link) BibTeX
- S. A. DiNitto Jr.:
Future directions in programming languages.
169-176
Electronic Edition (link) BibTeX
- Raymond T. Yeh:
Report on a business definition language system.
177-183
Electronic Edition (link) BibTeX
- Mamdouh H. Ibrahim, Fred A. Cummins:
KSL: a reflective object-oriented programming language.
186-193
Electronic Edition (link) BibTeX
- Tim Sheard, David W. Stemple:
The precise control of inheritance and the inheritance of theory in the ADABTPL language.
194-201
Electronic Edition (link) BibTeX
- Y. Zhong, S. Ishizuka, R. Enari:
Integrating abstract data types with object-oriented programming by specification-based approach.
202-209
Electronic Edition (link) BibTeX
- J. P. Diaz-Gonzales, Joseph E. Urban:
Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems.
214-225
Electronic Edition (link) BibTeX
- Marco Baldassari, V. Berti, Giorgio Bruno:
Object-oriented conceptual programming based on PROT nets.
226-233
Electronic Edition (link) BibTeX
- Rodney S. Tosten:
Data security in an object-oriented environment such as Smalltalk-80.
234-241
Electronic Edition (link) BibTeX
- Harry Wechsler, David C. Rine:
Object oriented programming (OOP) and its relevance to designing intelligent software systems.
242-248
Electronic Edition (link) BibTeX
- Scott A. Vorthmann, Richard J. LeBlanc:
A naming specification language for syntax-directed editors.
250-257
Electronic Edition (link) BibTeX
- Carl K. Chang, Tsang Ming Jiang, Mikio Aoyama:
A specification language for real-time distributed systems.
258-265
Electronic Edition (link) BibTeX
- Valdis Berzins:
The design of software interfaces in Spec.
266-270
Electronic Edition (link) BibTeX
- S. Natarajan, K.-J. Lin:
FLEX: towards flexible real-time programs.
272-279
Electronic Edition (link) BibTeX
- James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow:
TXL: a rapid prototyping system for programming language dialects.
280-285
Electronic Edition (link) BibTeX
- P. J. Pulli:
Execution of structured analysis specifications with an object oriented Petri net approach.
286-293
Electronic Edition (link) BibTeX
- Janice I. Glasgow, Michael A. Jenkins:
Array theory, logic and the Nial language.
296-303
Electronic Edition (link) BibTeX
- Forouzan Golshani, W. T. Scott, P. D. White:
Languages for intelligent specification systems.
304-311
Electronic Edition (link) BibTeX
- K. Mani Chandy:
Programming parallel computers.
314-321
Electronic Edition (link) BibTeX
- Stephen S. Yau, Xiaoping Jia:
Visual languages and software specifications.
322-328
Electronic Edition (link) BibTeX
- Philip R. Thrift:
Common Lisp relations: an extension of Lisp for logic programming.
332-337
Electronic Edition (link) BibTeX
- Richard C. Waters:
Using obviously synchronizable series expressions instead of loops.
338-346
Electronic Edition (link) BibTeX
- Thom W. Frühwirth:
Type inference by program transformation and partial evaluation.
347-354
Electronic Edition (link) BibTeX
- Samuel O. Aletan, William Lively:
Architectural design methodology for supporting high level programming languages.
356-363
Electronic Edition (link) BibTeX
- Nazim H. Madhavji, Jules Desharnais, L. Pinsonneault, Kamel Toubache:
Adapting modules to an integrated programming environment.
364-371
Electronic Edition (link) BibTeX
- Nikolaos G. Bourbakis:
Specifications for the development of a software environment for evaluation and translation of assembly languages.
372-378
Electronic Edition (link) BibTeX
- M. H. Kim, Young-Chul Shim, C. V. Ramamoorthy:
APAS: the Ada Programming Assistant System.
379-386
Electronic Edition (link) BibTeX
- Yen-Chun Lin, Ferng-Ching Lin:
The use of aFP to design regular array algorithms.
388-395
Electronic Edition (link) BibTeX
- Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene:
Using higher order logic and functional languages to synthesize correct hardware.
396-403
Electronic Edition (link) BibTeX
- C. Y. Roger Chen:
TOBOL - a new methodology for the top-to-bottom level hardware description in VLSI design-automation systems.
404-411
Electronic Edition (link) BibTeX
- Jeffrey J. P. Tsai, Thomas J. Weigert, M. Aoyama:
A declarative approach to software requirement specification languages.
414-421
Electronic Edition (link) BibTeX
- J. G. Snodgrass, David Y. Y. Yun:
Software requirements specification from a cognitive psychology perspective.
422-430
Electronic Edition (link) BibTeX
- W. P. Yin, Murat M. Tanik, David Y. Y. Yun:
Software design representation: design object descriptive attribute notation (DODAN).
431-436
Electronic Edition (link) BibTeX
- Imran A. Zualkernan, Wei-Tek Tsai:
Are knowledge representations the answer to requirement analysis?
437-443
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:16:45 2009
by Michael Ley (ley@uni-trier.de)