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