Search results for "multiparadigm"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Kei Davis, Jörg Striegnitz	Multiparadigm Programming in Object-Oriented Languages: Current Research.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF	Object-oriented, programming, multiparadigm
3	Jorge L. V. Barbosa, Cristiano André da Costa, Adenauer C. Yamin, Cláudio F. R. Geyer	Multiparadigm Model Oriented to Development of Grid Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Blackboard and Grid Systems, Mobility, Multiparadigm
3	Kam-Wing Ng, Linpeng Huang, Yongqiang Sun	A Multiparadigm Language for Developing Agent-oriented Applications.	TOOLS	1998	DBLP DOI BibTeX RDF	multiparadigm languages, mobile agents, agent-oriented programming
3	P. K. C. Pun, Hilary J. Kahn	A Multiparadigm Programming Approach for Developing Knowledge-Based Systems. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	multiparadigm programming, object-oriented programming, logic programming, Knowledge-based systems
3	Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey	General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	general-purpose multiparadigm programming languages, complex system construction, stock market exchange, Leda language, software engineering, object-oriented programming, object-oriented programming, logic programming, logic programming, functional programming, functional programming, systems analysis, heterogeneous systems, multiprogramming, high level languages, telecommunications network, programming paradigms, large systems, enabling technology, imperative programming
2	Jin-Shyan Lee, MengChu Zhou, Pau-Lo Hsu	Multiparadigm Modeling for Hybrid Dynamic Systems Using a Petri Net Framework.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
2	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla	An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	John Healey	Yaccscript: a platform for intersecting high-level languages.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	multiparadigm programming, lisp
2	Jorge Marques Pelizzoni, Maria das Graças Volpe Nunes	Reconciling Parameterization, Configurability and Optimality in Natural Language Generation via Multiparadigm Programming.	CICLing	2005	DBLP DOI BibTeX RDF
2	Scott Schneider, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos	Factory: An Object-Oriented Parallel Programming Substrate for Deep Multiprocessors.	HPCC	2005	DBLP DOI BibTeX RDF	Multithreading substrate, Object-oriented parallel programming, Deep parallel architectures, Multiparadigm parallelism, Portability, Programmability
2	Fred Spiessens, Peter Van Roy	The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language.	MOZ	2004	DBLP DOI BibTeX RDF
2	Jorge L. V. Barbosa, Adenauer C. Yamin, Iara Augustin, Patrícia Kayser Vargas, Cláudio F. R. Geyer	Holoparadigm: a Multiparadigm Model Oriented to Development of Distributed Systems.	ICPADS	2002	DBLP DOI BibTeX RDF
2	Charles D. Knutson, Timothy A. Budd, Hugh Vidos	Multiparadigm Design of a Simple Relational Database.	SIGPLAN Notices	2000	DBLP DOI BibTeX RDF
2	J. Leichtl, Phyllis Crandall, Mark J. Clement	Parallel Programming in Multi-Paradigm Clusters. (PDF / PS)	HPDC	1997	DBLP DOI BibTeX RDF	multi-paradigm clusters, multiprocessor workstations, network overhead, multiparadigm parallelism, shared memory parallel processing, distributed memory parallel processing, message-passing paradigm, shared-memory primitives, Jacobi iteration, parallel programming, parallel programming, message passing, cluster computing, matrix multiplication, numerical integration, programming complexity
2	Pamela Zave, Michael Jackson	Where Do Operations Come From: A Multiparadigm Specification Technique.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	multiparadigm specification, graphical human-computer interfaces, Formal methods, telecommunications, Z, consistency analysis
2	Grigorios Grivas, Alexios Palinginis	Compiling Residuation for a Multiparadigm Symbolic Programming Language.	DISCO	1996	DBLP DOI BibTeX RDF
2	Sanja Vranes, Mladen Stanojevic	Integrating Multiple Paradigms within the Blackboard Framework.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	blackboard model, multiparadigm approach, Artificial intelligence, object-oriented programming, logic programming, expert systems, model-based reasoning, rule-based programming, procedural-programming
2	Tuncer I. Ören, Nasser Ghasem-Aghaee	Multiparadigm (Knowledge-Based and Numerical) Continuous Simulation Environments: Architectural Issues.	CAST	1994	DBLP DOI BibTeX RDF
2	John Placer	The Promise of Multiparadigm Languages as Pedagogical Tools.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
2	John Placer	Integrating destructive assignment and lazy evaluation in the multiparadigm language G-2.	SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
2	José Meseguer	Multiparadigm Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
2	Shigeo Sugimoto, Tetsuo Sakaguchi, Koichi Tabata	Layered architecture of multiple programming language system for multiparadigm programming.	ICCL	1992	DBLP DOI BibTeX RDF
2	Timothy A. Budd	Multiparadigm data structures in Leda.	ICCL	1992	DBLP DOI BibTeX RDF
2	John Placer	Multiparadigm research: a new direction of language design.	SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
2	Suad Alagic	Toward Multiparadigm Database Interfaces.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
2	Gul Agha	Supporting Multiparadigm Programming on Actor Architectures.	PARLE	1989	DBLP DOI BibTeX RDF
1	D. Ghosh	Multiparadigm Data Storage for Enterprise Applications.	IEEE Software	2010	DBLP DOI BibTeX RDF
1	Dean Wampler, Tony Clark	Guest Editors' Introduction: Multiparadigm Programming.	IEEE Software	2010	DBLP DOI BibTeX RDF
1	D. Wampler, T. Clark, Neal Ford, Brian Goetz	Multiparadigm Programming in Industry: A Discussion with Neal Ford and Brian Goetz.	IEEE Software	2010	DBLP DOI BibTeX RDF
1	Petra Hofstedt	The Multiparadigm Programming Language CCFL.	GI Jahrestagung	2010	DBLP BibTeX RDF
1	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
1	Pascal Vezolle, Stéphane Vialle, Xavier Warin	Large scale experiment and optimization of a distributed stochastic control algorithm. Application to energy management problems.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Jörg Striegnitz, Kei Davis	Multiparadigm Programming in Object-Oriented Languages: Current Research.	ECOOP Workshops	2008	DBLP DOI BibTeX RDF
1	Adam Jacobs, Grzegorz Cieslewski, Casey Reardon, Alan D. George	Multiparadigm Computing for Space-Based Synthetic Aperture Radar.	ERSA	2008	DBLP BibTeX RDF
1	Martin Kuhlemann, Sven Apel, Marko Rosenmüller, Roberto E. Lopez-Herrejon	A Multiparadigm Study of Crosscutting Modularity in Design Patterns.	TOOLS	2008	DBLP DOI BibTeX RDF	crosscutting modularity, design patterns, Aspect-oriented programming, collaboration-based design
1	Jeff Parrish, Micah Cooper	A framework for integrated flight simulation and design.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	IFSID, Newt, aerospace design, aerospace editor, multiparadigm modeling, simulation integration, design framework, simulation framework, flight simulation
1	Maurizio Cimadamore, Mirko Viroli	Integrating Java and Prolog through generic methods and type inference.	SAC	2008	DBLP DOI BibTeX RDF	java, prolog, generics, wildcards, multiparadigm
1	Artem Parakhine, John Leaney, Tim O'Neill	Design Guidance Using Simulation-Based Bayesian Belief Networks.	ECBS	2008	DBLP DOI BibTeX RDF	non-functional qualities, agent-based modeling, bayesian belief network, hybrid modeling, design optimisation
1	Moreno Falaschi, Michael J. Maher	Introduction Special Issue on Multiparadigm Languages and Constraint Programming.	TPLP	2007	DBLP DOI BibTeX RDF
1	Maurizio Cimadamore, Mirko Viroli	A Prolog-oriented extension of Java programming based on generics and annotations.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, Prolog, multiparadigm, Java generics
1	Hoang Pham	Special Issue on Critical Reliability Challenges and Practices [Guest Editorial].	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2007	DBLP DOI BibTeX RDF
1	Marc Fisher II, Gregg Rothermel, Tyler Creelan, Margaret M. Burnett	Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets.	ISSRE	2006	DBLP DOI BibTeX RDF
1	José Meseguer	From OBJ to Maude and Beyond.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
1	Jorge L. V. Barbosa, Cristiano André da Costa, Adenauer C. Yamin, Cláudio F. R. Geyer	GHolo: a multiparadigm model oriented to development of grid systems.	Future Generation Comp. Syst.	2005	DBLP DOI BibTeX RDF
1	Peter Van Roy (eds.)	Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers	MOZ	2005	DBLP BibTeX RDF
1	Kevin Marth	Programming in the MPL-RM programming language.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF
1	Viktória Zsók, Zoltán Hernyák, Zoltán Horváth	Designing Distributed Computational Skeletons in D-Clean and D-Box.	CEFP	2005	DBLP DOI BibTeX RDF
1	Tim Wahls	Compiling Formal Specifications to Oz Programs.	MOZ	2004	DBLP DOI BibTeX RDF
1	Hala Mostafa, Reem Bahgat	Using Mozart for Visualizing Agent-Based Simulations.	MOZ	2004	DBLP DOI BibTeX RDF
1	Raphaël Collet	Playing the Minesweeper with Constraints.	MOZ	2004	DBLP DOI BibTeX RDF
1	Torsten Anders, Christina Anagnostopoulou, Michael Alcorn	Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model.	MOZ	2004	DBLP DOI BibTeX RDF
1	Grégoire Dooms, Yves Deville, Pierre Dupont	A Mozart Implementation of CP(BioNet).	MOZ	2004	DBLP DOI BibTeX RDF	Mozart, Graph Domain Variables, Constrained Path Finding, Path Constraint, Constraint Programming, Oz
1	Donatien Grolaux, Kevin Glynn, Peter Van Roy	A Fault Tolerant Abstraction for Transparent Distributed Programming.	MOZ	2004	DBLP DOI BibTeX RDF
1	Valentin Mesaros, Bruno Carton, Peter Van Roy	P2PS: Peer-to-Peer Development Platform for Mozart.	MOZ	2004	DBLP DOI BibTeX RDF
1	Denys Duchier, Joseph Le Roux, Yannick Parmentier	The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture.	MOZ	2004	DBLP DOI BibTeX RDF
1	Renaud De Landtsheer	Solving CSP Including a Universal Quantification.	MOZ	2004	DBLP DOI BibTeX RDF
1	Jean-François Molderez, Christophe Ponsard	Deriving Acceptance Tests from Goal Requirements.	MOZ	2004	DBLP DOI BibTeX RDF
1	Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro	The Structure of Authority: Why Security Is Not a Separable Concern.	MOZ	2004	DBLP DOI BibTeX RDF
1	Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda	An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.	MOZ	2004	DBLP DOI BibTeX RDF
1	Isabelle Dony, Baudouin Le Charlier	A Program Verification System Based on Oz.	MOZ	2004	DBLP DOI BibTeX RDF
1	Guido Tack, Didier Le Botlan	Compositional Abstractions for Search Factories.	MOZ	2004	DBLP DOI BibTeX RDF
1	Juan Francisco Díaz, Javier Andrés Mena	Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming.	MOZ	2004	DBLP DOI BibTeX RDF
1	Gert Smolka	The Development of Oz and Mozart.	MOZ	2004	DBLP DOI BibTeX RDF
1	Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda	Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.	MOZ	2004	DBLP DOI BibTeX RDF
1	Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi	Thread-Based Mobility in Oz.	MOZ	2004	DBLP DOI BibTeX RDF
1	Torbjörn Lager, Fredrik Kronlid	The CURRENT Platform: Building Conversational Agents in Oz.	MOZ	2004	DBLP DOI BibTeX RDF
1	Mahmoud Rafea	Web Technologies for Mozart Applications.	MOZ	2004	DBLP DOI BibTeX RDF
1	Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda	Implementing Semiring-Based Constraints Using Mozart.	MOZ	2004	DBLP DOI BibTeX RDF
1	Juris Reinfelds	Higher Order Programming for Unordered Minds.	MOZ	2004	DBLP DOI BibTeX RDF
1	Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea	Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach.	MOZ	2004	DBLP DOI BibTeX RDF
1	Ralph Debusmann, Denys Duchier, Joachim Niehren	The XDG Grammar Development Kit.	MOZ	2004	DBLP DOI BibTeX RDF
1	Jesús Aranda, Juan Francisco Díaz, V. James Ortíz	The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics.	MOZ	2004	DBLP DOI BibTeX RDF
1	Junlan Zhou, Zhengrong Ji, Mineo Takai, Rajive Bagrodia	MAYA: Integrating hybrid network modeling to the physical world.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	network modeling and simulation, physical network interface, realtime simulation, Fluid flow model, QualNet
1	Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo	Multivariant Non-failure Analysis via Standard Abstract Interpretation.	FLOPS	2004	DBLP DOI BibTeX RDF
1	Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch	Observing Functional Logic Computations.	PADL	2004	DBLP DOI BibTeX RDF
1	Fernando J. Barros	Dynamic structure multiparadigm modeling and simulation.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	Dynamic Structure systems, multirate sampling, variable step integration, hybrid systems
1	Christopher D. Gill, Ron Cytron, Douglas C. Schmidt	Multiparadigm scheduling for distributed real-time embedded computing.	Proceedings of the IEEE	2003	DBLP BibTeX RDF
1	Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte	Logic programming in the context of multiparadigm programming: the Oz experience.	TPLP	2003	DBLP DOI BibTeX RDF
1	José Emilio Labra Gayo, José M. Morales Gil, A. M. Fernández Álvarez, H. Sagastegui Chigne	A generic e-learning multiparadigm programming language system: IDEFIX project.	SIGCSE	2003	DBLP DOI BibTeX RDF	web services, XML, logic programming, functional programming, interpreters
1	Surya Dev Pathak, David M. Dilts, Gautam Biswas	Next generation modeling III - agents: a multi-paradigm simulator for simulating complex adaptive supply chain networks.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte	Logic programming in the context of multiparadigm programming: the Oz experience	CoRR	2002	DBLP BibTeX RDF
1	Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou	Runtime Support for Multigrain and Multiparadigm Parallelism.	HiPC	2002	DBLP DOI BibTeX RDF
1	Kei Davis, Yannis Smaragdakis, Jörg Striegnitz	Multiparadigm Programming with Object-Oriented Languages.	ECOOP Workshops	2002	DBLP DOI BibTeX RDF
1	Fábio Reis Cecin, Jorge L. V. Barbosa, Cláudio F. R. Geyer	Holo Debugger: A Debugger for a Concurrent Multiparadigm Language.	SCCC	2002	DBLP DOI BibTeX RDF
1	Colin Atkinson, Thomas Kühne	Rearchitecting the UML infrastructure.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	UML infrastructure, classification dimensions, deep instantiation, strict metamodeling, classification, unified modeling language, Metamodeling
1	Vladimir Simeunovic, Jelena Jovanovic, Milan Saric, Sanja Vranes	A Generic Framework for Web-Based Intelligent Decision Support Systems.	PAKM	2002	DBLP DOI BibTeX RDF
1	Vladimir Getov, Gregor von Laszewski, Michael Philippsen, Ian T. Foster	Multiparadigm communications in Java for grid computing.	Commun. ACM	2001	DBLP BibTeX RDF
1	Kei Davis, Yannis Smaragdakis, Jörg Striegnitz	Multiparadigm Programming with OO Languages.	ECOOP Workshops	2001	DBLP DOI BibTeX RDF
1	Margaret M. Burnett, Sudheer Kumar Chekka, Rajeev K. Pandey	FAR: An End-User Language to Support Cottage E-Services.	HCC	2001	DBLP DOI BibTeX RDF
1	Axel van Lamsweerde	Building Formal Requirements Models for Reliable Software.	Ada-Europe	2001	DBLP DOI BibTeX RDF
1	Milind A. Bhandarkar, Laxmikant V. Kalé	An Interface Model for Parallel Components.	LCPC	2001	DBLP DOI BibTeX RDF
1	Mario Blazevic, Zoran Budimac, Mirjana Ivanovic	Theoretical Foundations of an Environment-Based Multiparadigm Language.	Informatica, Lith. Acad. Sci.	2000	DBLP BibTeX RDF
1	Gilbert Chen, Boleslaw K. Szymanski, Thomas Caraco	Multiparadigm simulation in modeling spread of Lyme disease.	ESM	2000	DBLP BibTeX RDF
1	Abby A. Ilumoka	Efficient prediction of interconnect crosstalk using neural networks.	ICTAI	2000	DBLP DOI BibTeX RDF	interconnect crosstalk prediction, deep submicron downscaling, wirecells, modular artificial neural networks, multiparadigm prototyping system, equicoupling contours, isocouples, transconductance amplifier, neural networks, delays, delay, finite element method, neural nets, crosstalk, experimental results, circuit CAD, finite element analysis, circuit simulation, circuit simulator, integrated circuit interconnections, wafer-scale integration, wafer scale integration
1	Lynne Blair, Gordon S. Blair	Composition in Multiparadigm Specification Techniques.	FMOODS	1999	DBLP BibTeX RDF
1	Jens Knoop	From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.	TACAS	1999	DBLP DOI BibTeX RDF	data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
1	James Coplien	Multiparadigm Design and Implementation in C++.	TOOLS	1999	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	TOY: A Multiparadigm Declarative System.	RTA	1999	DBLP DOI BibTeX RDF
1	Shin Nakajima	Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Adam Ferrari, Vaidy S. Sunderam	Multiparadigm distributed computing with TPVM.	Concurrency - Practice and Experience	1998	DBLP DOI BibTeX RDF