Search results for "programming language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Ashok Malhotra, Harry M. Markowitz, Yakov Tsalalikhin, Donald P. Pazel, Luanne M. Burns	An Entity Relationship Programming Language.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	entity-relationship programming language, integrated E-R programming language, general-purpose programming language, entity sets, mutually disjoint, entity type, multiattribute, binary relationships, query language, high level languages, syntax, unique, key
4	Alpana Dubey	Goodness criteria for programming language grammar rules.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	grammar metrics, programming language dialects, programming language grammar
3	Mark W. Bailey	Injecting programming language concepts throughout the curriculum: an inclusive strategy.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming language curriculum
3	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
3	Jiafu Xu, Fangmin Song	Quantum programming languages: A tentative study.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	quantum programming languages, language paradigm, imperative programming language, declarative programming language, lexical analyzer, syntactic analyzer, interpreter, assembler
3	Tetsuo Yokoyama, Robert Glück	A reversible programming language and its invertible self-interpreter.	PEPM	2007	DBLP DOI BibTeX RDF	Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion
3	Diomidis Spinellis	Choosing a Programming Language.	IEEE Software	2006	DBLP DOI BibTeX RDF	programming language, domain-specific languages, type checking, declarative languages, choice
3	Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun	The Atomos transactional programming language.	PLDI	2006	DBLP DOI BibTeX RDF	conditional synchronization, java, transactional memory, multiprocessor architecture
3	Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal	Inferring Grammar Rules of Programming Language Dialects.	ICGI	2006	DBLP DOI BibTeX RDF	Programming language grammars, Dialects, Minimum Description Length Principle
3	Ge Wang, Perry R. Cook	ChucK: a programming language for on-the-fly, real-time audio synthesis and multimedia.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	audio synthesis, multimedia, real-time, compiler, concurrency, synchronization, virtual machine, programming language, signal processing
3	John T. Minor, Laxmi Gewali	Pedagogical Issues in Programming Languages.	ITCC	2004	DBLP DOI BibTeX RDF	Java versus C++, student friendly programming language, programming language
3	Robin J. Popplestone	POP, A Broad-Spectrum Programming Language, 1967-2002.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Imperative, Programming language, Functional, Proof, Symbolic
3	Haiming Chen, Yunmei Dong	Yet another meta-language for programming language processing.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	programming language processing, context-free language, recursive function, meta-language
3	Chris J. Harrison	ICPL: an initial concurrent programming language.	SIGCSE Bulletin	2002	DBLP DOI BibTeX RDF	concurrent programming language, message passing, processes, teaching
3	Chang-Hyun Jo, Allen J. Arnold	The Agent-based Programming Language: APL.	SAC	2002	DBLP DOI BibTeX RDF	agent-based computing, agent-based programming Language, Java, agents, APL, agent-based software engineering
3	Daniela Florescu, Andreas Grünhagen, Donald Kossmann	XL: an XML programming language for web service specification and composition.	WWW	2002	DBLP DOI BibTeX RDF	web service, XML, programming language
3	Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby	ZPL: A Machine Independent Programming Language for Parallel Computers.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	efficient, Portable, parallel programming language
3	Yasuhiro Takemura, Kazuyuki Shima, Ken-ichi Matsumoto, Katsuro Inoue, Koji Torii	Factor Analysis of Comprehension States in the Learning Phases of a Programming Language.	APSEC	1999	DBLP DOI BibTeX RDF	education, Object-orientated, factor analysis, Java programming language
3	Hirofumi Amano, Ken'ichirou Kimura, Akifumi Makinouchi	Improving Dynamic Load Balancing Mechanisms for a Massively Parallel Database Programming Language.	DANTE	1999	DBLP DOI BibTeX RDF	load balancing, parallel processing, object-oriented database, database programming language
3	Amy Bruckman, Elizabeth Edwards	Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language.	CHI	1999	DBLP DOI BibTeX RDF	natural language, end-user programming, programming language design, novice programming
3	Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado	ParaLog_e: A Paraconsistent Evidential Logic Programming Language. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	Paralog e, paraconsistent evidential logic programming language, reasoning automation, formal theories, conflicting beliefs, contradictory information, paraconsistent logic, logic programming languages, inconsistency handling
3	Colin Allison	Developing Distributed Group Communication in pSR.	PDP	1996	DBLP DOI BibTeX RDF	distributed group communication, pSR, persistent SR, concurrent programming language SR, Synchronising Resources, persistent resources, high level programming language, group semantic options, persistent distributed environment, parallel programming, semantics, resource allocation, groupware, parallel languages, IP multicast, shared objects, implementation strategies
3	Rahman Jamal, Lothar Wenzel	The Applicability of the Visual Programming Language LabVIEW to Large Real-World Applications. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	ultrasonic materials testing, laboratory techniques, LabVIEW visual programming language, large real-world applications, graphical programming languages, natural intuitive man-machine interaction, graphical programming tools, programming efficiency, real-time acquisition, simulation, simulation, real-time systems, user interfaces, software tools, programming environments, visual programming, visual languages, data analysis, automatic testing, digital simulation, data acquisition, graphical programming
3	Evaggelia Pitoura	Extending an object-oriented programming language to support the integration of heterogeneous database systems.	HICSS	1995	DBLP DOI BibTeX RDF	heterogeneous database systems, object-oriented programming, integration, distributed databases, object-oriented languages, database systems, heterogeneous systems, object-oriented programming language, data manipulation, data definition, database languages
3	Wayne Citrin, Richard Hall, Benjamin G. Zorn	Programming with Visual Expressions. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables
3	Trevor J. Smedley	A High-Level Visual Language for the Graphical Description of Digital Circuits. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	pulse circuits, high-level visual language, graphical description, programming language systems, digital design systems, full-featured visual programming language, complex circuit specification, repetitive structures, conditional structures, visual languages, circuit analysis computing, circuit CAD, digital circuits, engineering graphics, program structures, digital circuit design
3	Alain Hui-Bon-Hoa	A Bottom-Up Interpreter for a Higher-Order Logic Programming Language.	PLILP	1992	DBLP DOI BibTeX RDF
3	Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine	A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion
3	Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara	KPR: A Logic Programming Language-Oriented Parallel Machine.	LP	1987	DBLP DOI BibTeX RDF	Parallel Inference Machine, High-Level Language Machine, Parallel Processing, Logic Programming Language
3	Jainendra K. Navlakha	REC/SM: a semi structured programming language.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF	Semi-structured programming language, Structured programming, Symbol manipulation
3	Donald I. Good, Richard M. Cohen, Lawrence W. Hunter	A Report On The Development Of Gypsy.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Dynamic storage management, Gypsy, Reliable software, Scope of names, Systems programming language, GYPSY, Concurrency, Programming language, Program verification, Specification language, Correctness, Compiler design, Programming language design
2	Toheed Aslam, Jesse Doherty, Anton Dubrau, Laurie J. Hendren	AspectMatlab: an aspect-oriented scientific programming language.	AOSD	2010	DBLP DOI BibTeX RDF	AspectMatlab compiler, scientific aspect-oriented language
2	Kaiyu Dai, Yiming Zhao, Ronghua Chen	Research and Practice on Constructing the Course of Programming Language.	CIT	2010	DBLP DOI BibTeX RDF	essences of programming, teaching methodology, case-based teaching, Programming Language
2	Sureyya Tarkan, Vibha Sazawal, Allison Druin, Evan Golub, Elizabeth M. Bonsignore, Greg Walsh, Zeina Atrash	Toque: designing a cooking-based programming language for and with children.	CHI	2010	DBLP DOI BibTeX RDF	tangible uis, design, education, children, programming languages
2	James T. Streib, Takako Soma	Using contour diagrams and JIVE to illustrate object-oriented semantics in the Java programming language.	SIGCSE	2010	DBLP DOI BibTeX RDF	contour diagrams, jive, object-oriented semantics, java
2	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
2	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
2	Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley	Z-rays: divide arrays and conquer speed and flexibility.	PLDI	2010	DBLP DOI BibTeX RDF	arraylets, z-rays, compression, arrays, heap
2	Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek	An analysis of the dynamic behavior of JavaScript programs.	PLDI	2010	DBLP DOI BibTeX RDF	program analysis, javascript, execution tracing, dynamic behavior, dynamic metrics
2	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Detlef Plump	The Graph Programming Language GP.	CAI	2009	DBLP DOI BibTeX RDF
2	Minoru Uehara	Design and Implementation of Cafe: A Programming Language for Beginners.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
2	John Plaice, Blanca Mancilla	Cartesian Programming: The TransLucid Programming Language.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Alessandro Zovi, Tullio Vardanega	Requirements on the Target Programming Language for High-Integrity MDE.	Ada-Europe	2009	DBLP DOI BibTeX RDF
2	Nobuhito Yamamoto, Tomoyuki Nishioka, Syoko Shiroma	Building Problem Spaces for Deaf and Hard of Hearing Students' Spatial Cognition in a Programming Language.	HCI	2009	DBLP DOI BibTeX RDF	Hyperlogo, Deaf and Hard of hearing, Turtle graphics, Programming Languages, Spatial Cognition, Communication tool
2	Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao	RCC: A New Programming Language for Reconfigurable Computing.	HPCC	2009	DBLP DOI BibTeX RDF
2	Michael Isard, Yuan Yu	Distributed data-parallel computing using a high-level programming language.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	concurrency, cloud computing, distributed programming
2	Benjamin C. Pierce	Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.	ICFP	2009	DBLP DOI BibTeX RDF	programming languages, pedagogy, proof assistants
2	Conrad Drescher, Stephan Schiffel, Michael Thielscher	A Declarative Agent Programming Language Based on Action Theories.	FroCos	2009	DBLP DOI BibTeX RDF
2	Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi	Flapjax: a programming language for Ajax applications.	OOPSLA	2009	DBLP DOI BibTeX RDF	javascript, web programming, functional reactive programming
2	Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe	PetaBricks: a language and compiler for algorithmic choice.	PLDI	2009	DBLP DOI BibTeX RDF	algorithmic choice, implicitly parallel, adaptive, compiler, language, autotuning
2	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	Analyzing recursive programs using a fixed-point calculus.	PLDI	2009	DBLP DOI BibTeX RDF	recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
2	Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
2	Tillmann Rendel, Klaus Ostermann, Christian Hofer	Typed self-representation.	PLDI	2009	DBLP DOI BibTeX RDF	self interpretation, reflection, types, lambda calculus, language design
2	Christopher T. Johnston, Paul J. Lyons, Donald G. Bailey	User evaluation and overview of a visual language for real time image processing on FPGAs.	CHINZ	2009	DBLP DOI BibTeX RDF	FPGA, image processing, visual programming language, HDL
2	Vikas Aggarwal, Alan D. George, Kishore Yalamanchili, Changil Yoon, Herman Lam, Greg Stitt	Bridging parallel and reconfigurable computing with multilevel PGAS and SHMEM+.	SC-HPRCTA	2009	DBLP DOI BibTeX RDF	parallel programming, programming language, reconfigurable computing, productivity, portability, programming model
2	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Operational Semantics for Declarative Networking.	PADL	2009	DBLP DOI BibTeX RDF	distributed systems, programming language semantics, Declarative networking
2	Paul Tarau, Arun K. Majumdar	Interoperating Logic Engines.	PADL	2009	DBLP DOI BibTeX RDF	Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs
2	Mark A. Sheldon, Franklyn A. Turbak	An aspect-oriented approach to the undergraduate programming language curriculum.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	Peter Sestoft	Programming language concepts for software developers.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	Yangyi Sui, Jun Lin, Xiaotuo Zhang	An automated refactoring tool for dataflow visual programming language.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	dataflow visual programming language, software engineering, refactoring, dataflow
2	Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
2	Mehdi Dastani	2APL: a practical agent programming language.	Autonomous Agents and Multi-Agent Systems	2008	DBLP DOI BibTeX RDF
2	Ian Douglas Sanders, Sasha Langford	Students' perceptions of python as a first programming language at wits.	ITiCSE	2008	DBLP DOI BibTeX RDF	first programming language, student perceptions
2	Takashi Ajiro, Kensei Tsuchida	Visual programming language for bit-level concurrent programming: APECbits.	VL/HCC	2008	DBLP DOI BibTeX RDF
2	Wen-Chih Chang, Yu-Min Chou	Introductory C Programming Language Learning with Game-Based Digital Learning.	ICWL	2008	DBLP DOI BibTeX RDF
2	Ilhyun Moon, Saeron Han, KwanSun Choi, Dongsik Kim, Changwan Jeon, Sunheum Lee, Heunggu Jeon	Virtual Education System for the C Programming Language.	ICWL	2008	DBLP DOI BibTeX RDF	Web-based Virtual Education, Web-based Compiler, PHP, Java Applet, MySQL
2	Wen-Chih Chang, Kuen-Chi Chen	Collaborative Learning Tool Applying to C Programming Language.	ICWL	2008	DBLP DOI BibTeX RDF
2	Leila Goosen, Elsa Mentz, Hercules Nieuwoudt	Eeney, Meeney, Miney, Mo? Selecting a First Programming Language.	Learning to Live in the Knowledge Society	2008	DBLP DOI BibTeX RDF
2	Tuomas Turto	Building Blocks for a Web Programming Language.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
2	Trong Wu	Understanding Programming Language Semantics for the Real World.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	User-defined types, communication between program units and user-defined precision, exception handling, multitasking
2	Salvatore Campana, Luca Spalazzi, Francesco Spegni	XAL: A Web Oriented Programming Language Based on Timed-Automata.	Web Intelligence	2008	DBLP DOI BibTeX RDF
2	Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic	AURA: a programming language for authorization and audit.	ICFP	2008	DBLP DOI BibTeX RDF	access control, type systems, audit, authorization logic
2	Peter Novák	Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations.	ProMAS	2008	DBLP DOI BibTeX RDF
2	Haiwei Jin	An Approach of Multi-Tactics in Programming Language Education.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Christopher Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas	Towards adaptive programming: integrating reinforcement learning into a programming language.	OOPSLA	2008	DBLP DOI BibTeX RDF	adaptive programming, partial programming, object-oriented programming, reinforcement learning
2	Artem Katasonov, Vagan Y. Terziyan	Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web.	ICSC	2008	DBLP DOI BibTeX RDF
2	Zhang Guigang, Shu Wang, ChengZhi Xu, Zhiyuan Gong, Phillip C.-Y. Sheu	A Semantic Programming Language SPL+ - A Preliminary Report.	ICTAI	2008	DBLP DOI BibTeX RDF
2	Mikko-Jussi Laakso, Erkki Kaila, Teemu Rajala, Tapio Salakoski	Define and Visualize Your First Programming Language.	ICALT	2008	DBLP DOI BibTeX RDF
2	Alberto Nuñez, Javier Fernández, José Daniel García, Laura Prada, Jesús Carretero	M-PLAT: Multi-Programming Language Adaptive Tutor.	ICALT	2008	DBLP DOI BibTeX RDF
2	Steven Doran	Anima: a Ada derived programming language for real-time embedded software development.	SIGAda	2008	DBLP DOI BibTeX RDF	reliability, real-time, embedded
2	Nguyen Tuan Duc, Ikuo Takeuchi	Abstraction of Agent Cooperation in Agent Oriented Programming Language.	PRIMA	2008	DBLP DOI BibTeX RDF
2	Daniel Gallardo, Carles Fernandes Julià, Sergi Jordà	TurTan: A tangible programming language for creative exploration.	Tabletop	2008	DBLP DOI BibTeX RDF
2	Bruno Barras, Bruno Bernardo	The Implicit Calculus of Constructions as a Programming Language with Dependent Types.	FoSSaCS	2008	DBLP DOI BibTeX RDF
2	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
2	Michael B. Feldman	SF1: introduction to ada.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, reliability, ada, object-oriented programming, programming language, software, concurrent programming
2	Kenji Saito	Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	P2P, programming language, overlay network, concurrent logic programming
2	Jürg Gutknecht, Roman Mitin	Project Zonnon: A Compositional Language for Distributed Computing.	ICCBSS	2008	DBLP DOI BibTeX RDF	Programming Language Concepts, Distributed Language, Language Interoperability, Zonnon, Concurrent Programming, Computing Model, .NET, Oberon
2	Paul Tarau	Logic Engines as Interactors.	ICLP	2008	DBLP DOI BibTeX RDF	generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming
2	Kurt Svensson	Faster XML data validation in a programming language with XML datatypes.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion
2	Arthur Fleck	Prolog as the first programming language.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	first programming language, logic programming, prolog
2	Janus Dam Nielsen, Michael I. Schwartzbach	A domain-specific programming language for secure multiparty computation.	PLAS	2007	DBLP DOI BibTeX RDF	SMCL, design, implementation, analysis
2	Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng	EPLAS: An Epistemic Programming Language for All Scientists.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Computer-aided scientific discovery, Epistemic process, Strong relevant logic, Scientific methodology
2	Margaret M. West	The Use of a Logic Programming Language in the Animation of Z Specifications.	ICLP	2007	DBLP DOI BibTeX RDF
2	Chet Murthy	Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter.	POPL	2007	DBLP DOI BibTeX RDF	transaction processing, functional languages, enterprise software
2	Michael de la Maza	Luv: A Programming Language for Describing Human Relationships.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Xiaofang Zhao, Hui Fan, Xiaohua Liu	Data Types of DFL Programming Language.	FSKD	2007	DBLP DOI BibTeX RDF
2	Ole Kniemeyer, Winfried Kurth	The Modelling Platform GroIMP and the Programming Language XL.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Lars-Åke Fredlund, Hans Svensson	McErlang: a model checker for a distributed functional programming language.	ICFP	2007	DBLP DOI BibTeX RDF
2	Artem Katasonov, Vagan Y. Terziyan	SmartResource Platform and Semantic Agent Programming Language (S-APL).	MATES	2007	DBLP DOI BibTeX RDF