Search results for "Modula-2"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Jürgen Koch, Manuel Mall, P. Putfarken	Modula-2 für die VAX: Beschreibung einer Systemübertragung.	PASCAL	1982	DBLP BibTeX RDF
20	Jiri Hoppe	Entwicklung eines Arbeitsplatzrechners mit einer Modula-2-gerechten Architektur.	Personal Computing	1981	DBLP BibTeX RDF
20	Jiri Hoppe	A Simple Nucleus Written in Modula-2: A Case Study.	Softw. Pract. Exp.	1980	DBLP DOI BibTeX RDF
20	Leo Geissmann	Modulkonzept und separate Compilation in der Programmiersprache MODULA-2.	Microcomputing	1979	DBLP BibTeX RDF
18	Cornelis Pronk, Martin Schönhacker	Formal definition of programming language standards.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	Formal Definition Languages, VDM-SL, Prolog, Modula-2
18	Cornelis Pronk, Martin Schönhacker	ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	Modula-2
18	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Jesús M. Milán-Franco	DD-Mod: a library for teaching distributed programming.	ITiCSE	1996	DBLP DOI BibTeX RDF	Modula-2
18	J. Ángel Velázquez-Iturbide, Ana Maria Cosias Rincon, Nuria Llorente Fernanadez	An inexpensive programming toolset for algorithm development.	ITiCSE	1996	DBLP DOI BibTeX RDF	Modula-2
18	Qiang Wang	A Portable Implementation Method of Lucid with Message Passing.	ACM Conference on Computer Science	1994	DBLP DOI BibTeX RDF	Modula-2, LUCID
18	Michael E. Goldsby	A Simple Implementation Technique for Mixin Inheritance.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Modula-2 C
18	Juan Hernández Núñez, Juan Antonio Sanchez	RT-MODULA2: an embedded in MODULA2 language for writing concurrent and real time programs.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	Modula-2
18	Andrew P. Black, Yeshayahu Artsy	Implementing Location Independent Invocation.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	forwarding address, object finding, Modula-2+, remote invocation, volatile memory, Hermes system, location-independent-invocation, temporal location information, object mobility, object-oriented programming, distributed processing, computer networks, distributed applications, threads, wide-area networks, remote procedure call, object oriented systems, office automation, RPC, name services, object migration, stable storage
18	Helmar Burkhart, Roland Millen	Performance-Measurement Tools in a Multiprocessor Environment.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	synchronization traffic analysis, bus load measurements, performance-measurement tools, monitoring facilities, breakpoint monitor, mailbox monitor, bus monitor, multi-monitor mode, common programming-language interface, integrated monitoring tool, MODULA-2 multiprocessor environment, performance evaluation, user interface, user interfaces, debugging, software tools, multiprocessing systems
18	Joseph Bergin, Stuart Greenfield	What does Modular-2 need to fully support object oriented programming?	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Modula-2
18	Scott N. Gerard	Adding an authorization dimension to strong type checking.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Modula-2
18	Barry L. Kurtz, J. Mack Adams	Using concept expansion and level integration in an introductory computer science course.	SIGCSE	1988	DBLP DOI BibTeX RDF	Modula-2
18	Andrew W. Appel, John R. Ellis, Kai Li 0001	Real-Time Concurrent Collection on Stock Multiprocessors.	PLDI	1988	DBLP DOI BibTeX RDF	LISP, Modula-2
18	Hubert D. Kirrmann, Felix Kaufmann	Poolpo - A Pool of Processors for Process Control Applications.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	tightly coupled multiprocessor, Common bus, pool of processors, performance evaluation, embedded systems, parallel processing, Modula 2, real-time operating system
14	Christian Heinlein	Safely Extending Procedure Types to Allow Nested Procedures as Values.	JMLC	2003	DBLP DOI BibTeX RDF
14	Andrey Koltashev	A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification.	JMLC	2003	DBLP DOI BibTeX RDF
14	Anthony J. Cowling	Teaching Data Structures and Algorithms in a Software Engineering Degree: Some Experience with Java.	CSEE&T	2001	DBLP DOI BibTeX RDF
14	Thomas Bräunl	Parallaxis-III: Architecture-Independent Data Parallel Processing.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	virtual architecture, parallel debugger, data visualizer, Data parallel, traffic simulation, virtual processors
14	Krzysztof R. Apt, Andrea Schaerf	The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming.	Correct System Design	1999	DBLP DOI BibTeX RDF
14	Hanspeter Mössenböck, Christoph Steindl	The Oberon-2 Reflection Model and Its Applications.	Reflection	1999	DBLP DOI BibTeX RDF
14	John Gray, Tom Boyle, Colin Smith	A constructivist learning environment implemented in Java.	ITiCSE	1998	DBLP DOI BibTeX RDF	Java
14	Hal Hart, James Caristi, Robert Dewar, Mark S. Gerhardt, J. A. Drew Hamilton Jr., Christopher Haynes, Samuel A. Rebelsky	The future of programming - are fundamental changes in computer science programs coming? (panel).	SIGCSE	1998	DBLP DOI BibTeX RDF
14	Wolfram Amme, Peter Braun 0001, Eberhard Zehendner	Scheduling Parallel Loops for Processing Linear Lists.	EUROMICRO	1997	DBLP DOI BibTeX RDF
14	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
14	Jon. Hallett	Formulating Update Messages.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Smalltalk
14	Vladimir A. Evstigneev, Victor N. Kasyanov	A Program Manipulation System for Fine-Grained Architectures.	Euro-Par	1995	DBLP DOI BibTeX RDF	fine-grain architectures, multifunctional cooperation, parallel processing, transformational approach, program restructuring
14	Ralf Hartmut Güting, Thomas de Ridder, Markus Schneider 0001	Implementation of the ROSE Algebra: Efficient Algorithms for Realm-Based Spatial Data Types.	SSD	1995	DBLP DOI BibTeX RDF	Spatial data types, realm, finite resolution, numerical robustness, ROSE, algebra, efficient algorithms, plane sweep
14	Michael Philippsen	Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs.	PPoPP	1995	DBLP DOI BibTeX RDF
14	Konstantin Läufer, Martin Odersky	Polymorphic Type Inference and Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
14	Stanislaw Chrobot	Where Concurrent Processes Originate.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
14	Doug Bell 0001, Mike Parr	Spreadsheets: A Research Agenda.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
14	Anatoly Petrovich Beltiukov	Automatical Synthesis of Programs with Recursions.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
14	Kris Coolsaet	A quick introduction to the programming language MIKE.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
14	Werner Aßmann	Another Solution of Scoping Problems in Symbol Tables.	CC	1992	DBLP DOI BibTeX RDF
14	Mirjana Ivanovic, Zoran Budimac	Involving coroutines in interaction between functional and conventional language.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
14	Johann Eder, Andreas Rudloff, Florian Matthes, Joachim W. Schmidt	Data Construction with Recursive Set Expressions.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
14	Josef Grosch, Helmut Emmelmann	A Tool Box for Compiler Construction.	CC	1990	DBLP DOI BibTeX RDF
14	Egon Börger	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.	MFCS	1990	DBLP DOI BibTeX RDF
14	Lex Augusteijn	The Elegant Compiler Generator System.	WAGA	1990	DBLP DOI BibTeX RDF
14	Paola Inverardi, Simone Martini 0001, Carlo Montangero	Is Type Checking Practical for System Configuration?	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
14	Klaus-Peter Löhr, Lutz Nentwig, Joachim Müller 0002	DAPHNE-Support for Distributed Computing in Heterogeneous Environments.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
14	Christian S. Collberg	Data Structures, Algorithms, and Software Engineering.	CSEE	1989	DBLP DOI BibTeX RDF
14	Paul A. Luker	Never mind the language, what about the paradigm?	SIGCSE	1989	DBLP DOI BibTeX RDF
14	Max J. Egenhofer, Andrew U. Frank	A precompiler for modular, transportable Pascal.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Pascal
14	Josef Grosch	Generators for High-Speed Front-Ends.	CC	1988	DBLP DOI BibTeX RDF
14	Jean-Pierre Banâtre, Michel Banâtre, P. Lecler, Florimond Ployette, P. Le Certen	Fragmented and replicated objects in the GOTHIC distributed system.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF	Fragmented objects, distributed systems, parallelism, object-oriented language, protection
14	Louis Dewez, Jean-Michel Douin, Philippe Lucas	MODULOG and the MODULA WorkStation.	STACS	1988	DBLP DOI BibTeX RDF	Key-words Workstation, runable specification, object-oriented, logic programming, modularity
14	David D. Redell	Experience with Topaz TeleDebugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
14	Bjarne Stroustrup	What is "Object-Oriented Programming?"	ECOOP	1987	DBLP DOI BibTeX RDF
14	Gene L. Fisher	Student-oriented features of an interactive programming environment.	SIGCSE	1987	DBLP DOI BibTeX RDF
14	Rolf Bahlke, Bernhard Moritz, Gregor Snelting	A generator for language-specific debugging systems.	PLDI	1987	DBLP DOI BibTeX RDF
14	Rolf Bahlke, Gregor Snelting	The PSG System: From Formal Language Definitions to Interactive Programming Environments.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
14	Gregor Snelting, Wolfgang Henhapl	Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.	POPL	1986	DBLP DOI BibTeX RDF
14	Jürg Gutknecht	Concepts of the Text Editor Lara.	Commun. ACM	1985	DBLP DOI BibTeX RDF	Lara
14	Gregor Snelting	Experiences with the PSG - Programming System Generator.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
14	Matti O. Jokinen	The Effect of Parameter Passing and Other Implementation Dependent Mechanisms is Undecedable.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
14	Gebhard Greiter	Remarks on Language Concepts for specifying Process Synchronization.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF