Conferences in DBLP
Weichang Du , William W. Wadge An intentional language as the basis of a 3-D spreadsheet design. [Citation Graph (0, 0)][DBLP ] Conf ] Yen-Teh Hsia , Allen L. Ambler Programming through pictorial transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel E. Bermudez A unifying model for lookahead LR parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Philip J. Hatcher , J. W. Tuller Efficient retargetable compiler code generation. [Citation Graph (0, 0)][DBLP ] Conf ] Fred Grossman , Robert J. Klerer , Melvin Klerer A language for high-level programming of mathematical applications. [Citation Graph (0, 0)][DBLP ] Conf ] Gurdeep S. Hura , M. A. Costarellam C. G. Buell , M. M. Cvetanovic PNSOFT: a menu-driven software package for Petri-net modeling and analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Rajive Bagrodia , K. Mani Chandy Programming the Connection Machine. [Citation Graph (0, 0)][DBLP ] Conf ] C. Mally Structure and generation of computer languages. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Jouvelot , David K. Gifford The FX-87 Interpreter. [Citation Graph (0, 0)][DBLP ] Conf ] V. J. de Jong Symbolic dimension bound checking in a matrix language. [Citation Graph (0, 0)][DBLP ] Conf ] Henri E. Bal , Andrew S. Tanenbaum Distributed programming with shared data. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay K. Garg , C. V. Ramamoorthy High level communication primitives for concurrent systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Oudshoorn , Chris D. Marlin Describing data control in programming languages. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor Rus , J. P. Le Peau Language specification by multi-axiom grammars. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. Hwang , M. W. Du , C. R. Chou The influence of language semantics on program slices. [Citation Graph (0, 0)][DBLP ] Conf ] Mostafa A. Bassiouni , Mark J. Llewellyn Generalized logical operators for temporal languages. [Citation Graph (0, 0)][DBLP ] Conf ] Carl McCrosky The elimination of intermediate containers in the evaluation of first-class array expressions. [Citation Graph (0, 0)][DBLP ] Conf ] R. F. Kamel , N. D. Gammage Experience with Rendezvous [tasking and communication model]. [Citation Graph (0, 0)][DBLP ] Conf ] H. Herath Languages in electrotechnical laboratory's dataflow machines. [Citation Graph (0, 0)][DBLP ] Conf ] C. K. Chang , John W. Brackett , A. M. Davis , P. C. Grabon , T. Haizuka , P. Hsia Specification languages-assessment and trends. [Citation Graph (0, 0)][DBLP ] Conf ] Saul Amarel On the representation of problems in artificial intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] S. A. DiNitto Jr. Future directions in programming languages. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond T. Yeh Report on a business definition language system. [Citation Graph (0, 0)][DBLP ] Conf ] Mamdouh H. Ibrahim , Fred A. Cummins KSL: a reflective object-oriented programming language. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Sheard , David W. Stemple The precise control of inheritance and the inheritance of theory in the ADABTPL language. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Zhong , S. Ishizuka , R. Enari Integrating abstract data types with object-oriented programming by specification-based approach. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. Diaz-Gonzales , Joseph E. Urban Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Baldassari , V. Berti , Giorgio Bruno Object-oriented conceptual programming based on PROT nets. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney S. Tosten Data security in an object-oriented environment such as Smalltalk-80. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Wechsler , David C. Rine Object oriented programming (OOP) and its relevance to designing intelligent software systems. [Citation Graph (0, 0)][DBLP ] Conf ] Scott A. Vorthmann , Richard J. LeBlanc A naming specification language for syntax-directed editors. [Citation Graph (0, 0)][DBLP ] Conf ] Carl K. Chang , Tsang Ming Jiang , Mikio Aoyama A specification language for real-time distributed systems. [Citation Graph (0, 0)][DBLP ] Conf ] Valdis Berzins The design of software interfaces in Spec. [Citation Graph (0, 0)][DBLP ] Conf ] S. Natarajan , K.-J. Lin FLEX: towards flexible real-time programs. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Cordy , Charles D. Halpern-Hamu , Eric Promislow TXL: a rapid prototyping system for programming language dialects. [Citation Graph (0, 0)][DBLP ] Conf ] P. J. Pulli Execution of structured analysis specifications with an object oriented Petri net approach. [Citation Graph (0, 0)][DBLP ] Conf ] Janice I. Glasgow , Michael A. Jenkins Array theory, logic and the Nial language. [Citation Graph (0, 0)][DBLP ] Conf ] Forouzan Golshani , W. T. Scott , P. D. White Languages for intelligent specification systems. [Citation Graph (0, 0)][DBLP ] Conf ] K. Mani Chandy Programming parallel computers. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen S. Yau , Xiaoping Jia Visual languages and software specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Philip R. Thrift Common Lisp relations: an extension of Lisp for logic programming. [Citation Graph (0, 0)][DBLP ] Conf ] Richard C. Waters Using obviously synchronizable series expressions instead of loops. [Citation Graph (0, 0)][DBLP ] Conf ] Thom W. Frühwirth Type inference by program transformation and partial evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Samuel O. Aletan , William Lively Architectural design methodology for supporting high level programming languages. [Citation Graph (0, 0)][DBLP ] Conf ] Nazim H. Madhavji , Jules Desharnais , L. Pinsonneault , Kamel Toubache Adapting modules to an integrated programming environment. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolaos G. Bourbakis Specifications for the development of a software environment for evaluation and translation of assembly languages. [Citation Graph (0, 0)][DBLP ] Conf ] M. H. Kim , Y. C. Shim , C. V. Ramamoorthy APAS: the Ada Programming Assistant System. [Citation Graph (0, 0)][DBLP ] Conf ] Yen-Chun Lin , Ferng-Ching Lin The use of aFP to design regular array algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Shiu-Kai Chin , Edward P. Stabler , Kevin J. Greene Using higher order logic and functional languages to synthesize correct hardware. [Citation Graph (0, 0)][DBLP ] Conf ] C. Y. Roger Chen TOBOL - a new methodology for the top-to-bottom level hardware description in VLSI design-automation systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey J. P. Tsai , Thomas J. Weigert , M. Aoyama A declarative approach to software requirement specification languages. [Citation Graph (0, 0)][DBLP ] Conf ] J. G. Snodgrass , David Y. Y. Yun Software requirements specification from a cognitive psychology perspective. [Citation Graph (0, 0)][DBLP ] Conf ] W. P. Yin , Murat M. Tanik , David Y. Y. Yun Software design representation: design object descriptive attribute notation (DODAN). [Citation Graph (0, 0)][DBLP ] Conf ] Imran A. Zualkernan , Wei-Tek Tsai Are knowledge representations the answer to requirement analysis? [Citation Graph (0, 0)][DBLP ] Conf ] 