Search results for "syntax"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jens Bleiholder, Felix Naumann	Declarative Data Fusion - Syntax, Semantics, and Implementation.	ADBIS	2005	DBLP DOI BibTeX RDF
16	Markéta Lopatková, Martin Plátek, Vladislav Kubon	Modeling Syntax of Free Word-Order Languages: Dependency Analysis by Reduction.	TSD	2005	DBLP DOI BibTeX RDF
16	Zhou Qiang, Dang Zhengfa	A Syntax and Semantics Linking Algorithm for the Chinese Language.	TSD	2005	DBLP DOI BibTeX RDF
16	Gerald Penn, Frank Richter 0001	The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition.	CSLP	2004	DBLP DOI BibTeX RDF
16	Emily M. Bender, Melanie Siegel	Implementing the Syntax of Japanese Numeral Classifiers.	IJCNLP	2004	DBLP DOI BibTeX RDF
16	Luísa Coheur, Nuno J. Mamede, Gabriel G. Bès	A Multi-use Incremental Syntax-Semantic Interface.	EsTAL	2004	DBLP DOI BibTeX RDF
16	Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen	Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation.	DSD	2004	DBLP DOI BibTeX RDF
16	Jong-Bok Kim, Jaehyung Yang	Projections from Morphology to Syntax in the Korean Resource Grammar: Implementing Typed Feature Structures.	CICLing	2004	DBLP DOI BibTeX RDF
16	Wladyslaw Homenda	Information Structuring in Natural Language Communication: Syntax versus Semantic.	ICAISC	2004	DBLP DOI BibTeX RDF
16	Christopher J. Matheus	SWRLp: An XML-Based SWRL Presentation Syntax.	RuleML	2004	DBLP DOI BibTeX RDF
16	Gerd Wagner 0001, Grigoris Antoniou, Said Tabet, Harold Boley	The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework.	Web Intelligence	2004	DBLP DOI BibTeX RDF
16	Lu Peng 0001, Jih-Kwon Peir, Qianrong Ma, Konrad Lai	Address-free memory access based on program syntax correlation of loads and stores.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
16	Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo	A Syntax-Based Approach to Reasoning about Actions and Events.	LPAR	2003	DBLP DOI BibTeX RDF
16	Alberto Momigliano, Simon Ambler	Multi-level Meta-reasoning with Higher-Order Abstract Syntax.	FoSSaCS	2003	DBLP DOI BibTeX RDF
16	Sylvain Devillers	An Extension of BSDL for Multimedia Bitstream Syntax Description.	Euro-Par	2003	DBLP DOI BibTeX RDF
16	Celia C. Bojarczuk, Heitor S. Lopes, Alex Alves Freitas	An Innovative Application of a Constrained-Syntax Genetic Programming System to the Problem of Predicting Survival of Patients.	EuroGP	2003	DBLP DOI BibTeX RDF
16	Yan Jin, Robert Esser, Jörn W. Janneck	Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.	Diagrams	2002	DBLP DOI BibTeX RDF
16	Simon Ambler, Roy L. Crole, Alberto Momigliano	Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.	TPHOLs	2002	DBLP DOI BibTeX RDF
16	Peter F. Patel-Schneider, Jérôme Siméon	The Yin/Yang web: XML syntax and RDF semantics.	WWW	2002	DBLP DOI BibTeX RDF	XML, semantic web, data models, RDF, model theory
16	Dalit Levy, Tami Lapidot	Shared terminology, private syntax: the case of recursive descriptions.	ITiCSE	2002	DBLP DOI BibTeX RDF	class discourse, recursion, constructivism
16	Mark Richters, Martin Gogolla	OCL: Syntax, Semantics, and Tools.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
16	Bernhard Rumpe	<>OCL Based on New Presentation of the OCL-Syntax.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
16	Gerald Roth	Advanced Scalarization of Array Syntax.	CC	2000	DBLP DOI BibTeX RDF
16	David Tugwell	Towards a Dynamic Syntax for Language Modelling.	TSD	2000	DBLP DOI BibTeX RDF
16	Alexei P. Stolboushkin, Michael A. Taitslin	Safe Stratified Datalog with Integer Order Does Not Have Syntax.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF
16	Thomas Kleymann	Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?	TYPES	1998	DBLP DOI BibTeX RDF
16	Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier	Clone Detection Using Abstract Syntax Trees.	ICSM	1998	DBLP DOI BibTeX RDF	Design Maintenance System, Software maintenance, clone detection, software evaluation
16	Raymond McDowell, Dale Miller 0001	A Logic for Reasoning with Higher-Order Abstract Syntax.	LICS	1997	DBLP DOI BibTeX RDF
16	Tom Schorsch	CAP: an automated self-assessment tool to check Pascal programs for syntax, logic and style errors.	SIGCSE	1995	DBLP DOI BibTeX RDF	Pascal
16	S. C. Leung, Hon Fung Li	A syntax-directed translation for the synthesis of delay-insensitive circuits.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
16	J. H. Jacobs, Mark R. Swanson	Syntax and Semantics of a Persistent Common Lisp.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Common Lisp
16	Andrew D. Gordon 0001	A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion.	HUG	1993	DBLP DOI BibTeX RDF
16	Emil Weydert	Relevance and Revision - About Generalizing Syntax-based Belief Revision.	JELIA	1992	DBLP DOI BibTeX RDF
16	Jozsef A. Toth	Specification of an Object to Object Protocol in Abstract Syntax Notation One (ASN.1).	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
16	Jennifer Widom, Sheldon J. Finkelstein	A Syntax and Semantics for Set-Oriented Production Rules in Relational Database Systems (Extended Abstract).	SIGMOD Rec.	1989	DBLP DOI BibTeX RDF
16	Gordon V. Cormack	An LR Substring Parser for Noncorrecting Syntax Error Recovery.	PLDI	1989	DBLP DOI BibTeX RDF
16	John A. Ruf	A Note Introducing Syntax Through Semantic Routines.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
16	Jonathan Slocum	Concept-lexeme-syntax triangles: A gateway to interlingual translation.	Mach. Transl.	1987	DBLP DOI BibTeX RDF
16	Carole D. Hafner, Kurt Godden	Portability of Syntax and Semantics in Datalog.	ACM Trans. Inf. Syst.	1985	DBLP DOI BibTeX RDF	DATALOG
16	Helmut Richter	Noncorrecting Syntax Error Recovery.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
16	F. E. J. Kruseman Aretz	Syntax diagrams for ISO Pascal standard.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
16	Thomas W. Reps	Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.	POPL	1982	DBLP DOI BibTeX RDF
16	Ajit B. Pai, Richard B. Kieburtz	Global context recovery: A new strategy for parser recovery from syntax errors.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
16	Aravind K. Joshi, Leon S. Levy, Kang Yueh	Local Constraints in the Syntax and Semantics of Programming Languages.	POPL	1978	DBLP DOI BibTeX RDF
15	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
15	Boxing Chen, Min Zhang 0005, AiTi Aw	Two-Stage Hypotheses Generation for Spoken Language Translation.	ACM Trans. Asian Lang. Inf. Process.	2009	DBLP DOI BibTeX RDF	hypotheses generation, statistical machine translation, Spoken language translation
15	Tom Dinkelaker	Versatile language semantics with reflective embedding.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	embedded domain-specific languages, aspect-oriented programming, meta-object protocols
15	Sebastian Ortiz-Chamorro, Gustavo Rossi, Daniel Schwabe	Hypertextual Programming for Domain-Specific End-User Development.	IS-EUD	2009	DBLP DOI BibTeX RDF	hypertextual programming, interfaces for end-user development, domain-specific languages, web engineering, end-user development
15	Makoto Hamana	Initial Algebra Semantics for Cyclic Sharing Structures.	TLCA	2009	DBLP DOI BibTeX RDF
15	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
15	Jonas Tappolet, Abraham Bernstein	Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL.	ESWC	2009	DBLP DOI BibTeX RDF
15	Richard Garner, Tom Hirschowitz, Aurélien Pardon	Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.	CONCUR	2009	DBLP DOI BibTeX RDF
15	Arend Rensink, Eduardo Zambon	A Type Graph Model for Java Programs.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
15	Roy Grønmo, Birger Møller-Pedersen, Gøran K. Olsen	Comparison of Three Model Transformation Languages.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
15	Anis Charfi, Artur Schmidt, Axel Spriestersbach	A Hybrid Graphical and Textual Notation and Editor for UML Actions.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
15	Robert C. Martin, Grigori Melnik	Tests and Requirements, Requirements and Tests: A Möbius Strip.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
15	Frédéric Mallet	Clock constraint specification language: specifying clock constraints with UML/MARTE.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, MARTE, Time model
15	Peter Ljunglöf, Staffan Larsson	A Grammar Formalism for Specifying ISU-Based Dialogue Systems.	GoTAL	2008	DBLP DOI BibTeX RDF
15	Joey Paquet, Serguei A. Mokhov, Xin Tong 0002	Design and Implementation of Context Calculus in the GIPSY Environment.	COMPSAC	2008	DBLP DOI BibTeX RDF	Context-driven computation, Context calculus, Intensional programming
15	Guntur Ravindra, Joseph Thaliath, Ian D. Chakeres	In-network optimal rate reduction for packetized MPEG video.	Q2SWinet	2008	DBLP DOI BibTeX RDF	content inspection, streamed MPEG video, QoS, rate adaptation, knapsack
15	Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel	MontiCore: a framework for the development of textual domain specific languages.	ICSE Companion	2008	DBLP DOI BibTeX RDF	modularity, domain specific languages, extensibility
15	Mark Gabel, Lingxiao Jiang, Zhendong Su 0001	Scalable detection of semantic clones.	ICSE	2008	DBLP DOI BibTeX RDF	software maintenance, refactoring, clone detection, program dependence graph
15	Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler	Xoc, an extension-oriented compiler for systems programming.	ASPLOS	2008	DBLP DOI BibTeX RDF	extension-oriented compilers
15	Gutemberg Guerra-Filho, Yiannis Aloimonos	Grounding Concrete Motion Concepts with a Linguistic Framework.	SETN	2008	DBLP DOI BibTeX RDF	concrete concept grounding, linguistic framework, sensorimotor intelligence
15	Esther Guerra, Juan de Lara	Event-driven grammars: relating abstract and concrete levels of visual languages.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars
15	William Billingsley, Peter Robinson 0001	Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Intelligent book, MathsTiles, Isabelle
15	Erik Wilde, Felix Michel	XML-based XML schema access.	WWW	2007	DBLP DOI BibTeX RDF	SCX, XML, XML schema
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Oriented Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Ke Jiang, Lei Zhang, Shigeru Miyake	OCL4X: An Action Semantics Language for UML Model Execution.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
15	David J. Malan, Henry H. Leitner	Scratch for budding computer scientists.	SIGCSE	2007	DBLP DOI BibTeX RDF	Java, programming, languages, scratch
15	Manuel Wimmer, Michael Strommer, Horst Kargl, Gerhard Kramler	Towards Model Transformation Generation By-Example.	HICSS	2007	DBLP DOI BibTeX RDF
15	William M. Farmer	Biform Theories in Chiron.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
15	Maarten H. van Emden	Compositional Semantics for the Procedural Interpretation of Logic.	ICLP	2006	DBLP DOI BibTeX RDF
15	Jianmin Pang, Paul Callaghan, Zhaohui Luo	LFTOP: An LF-Based Approach to Domain-Specific Reasoning.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	type theory, logical framework, proof assistant, domain-specific, formal reasoning
15	Andrew M. Pitts	Alpha-Structural Recursion and Induction.	TPHOLs	2005	DBLP DOI BibTeX RDF
15	Ivan Kurtev, Klaas van den Berg	Building adaptable and reusable XML applications with model transformations.	WWW	2005	DBLP DOI BibTeX RDF	XML, MDA, model transformations, XML processing, transformation language
15	Benjamin Jung	DICOM-X - Seamless Integration of Medical Images into the EHR.	CBMS	2005	DBLP DOI BibTeX RDF
15	Minghu Jiang, Huiying Cai, Bo Zhang	Self-organizing Map Analysis Consistent with Neuroimaging for Chinese Noun, Verb and Class-Ambiguous Word.	ISNN (3)	2005	DBLP DOI BibTeX RDF
15	Minoru Uehara	Web CC: A WBT System of Programming for Beginners.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
15	Manuel Urueña, David Larrabeiti	Nested Uniform Resource Identifiers.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
15	Stephan Schulz 0002	Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.	TestCom	2004	DBLP DOI BibTeX RDF
15	Bryan Ford	Parsing expression grammars: a recognition-based syntactic foundation.	POPL	2004	DBLP DOI BibTeX RDF	GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF
15	Joachim Fischer, Michael Piefel, Markus Scheidgen	A Metamodel for SDL-2000 in the Context of Metamodelling ULF.	SAM	2004	DBLP DOI BibTeX RDF
15	David Al-Dabass, David J. Evans 0001, Manling Ren	A New Hybrid Methodology for Intelligent Chinese Character Recognition.	HIS	2004	DBLP DOI BibTeX RDF
15	Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons	Amorphous Procedure Extraction.	SCAM	2004	DBLP DOI BibTeX RDF
15	Esther Guerra, Juan de Lara	Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
15	Venkatesh Choppella	Polymorphic Type Reconstruction Using Type Equations.	IFL	2003	DBLP DOI BibTeX RDF
15	Giuliano Antoniol, Massimiliano Di Penta, Ettore Merlo	YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs.	IWPC	2003	DBLP DOI BibTeX RDF	AST navigation, UML, OCL, source code analysis
15	May Dehayni, Louis Féraud	An Approach of Model Transformation Based on Attribute Grammars.	OOIS	2003	DBLP DOI BibTeX RDF
15	Yasuhiko Minamide, Koji Okuma	Verifying CPS transformations in Isabelle/HOL.	MERLIN	2003	DBLP DOI BibTeX RDF	program transformation, theorem proving, correctness proofs
15	Adam Granicz, Jason Hickey	Phobos: A Front-End Approach to Extensible Compilers.	HICSS	2003	DBLP DOI BibTeX RDF
15	Paolo Bottoni, Gennaro Costagliola	On the Definition of Visual Languages and Their Editors.	Diagrams	2002	DBLP DOI BibTeX RDF
15	José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez	A Language Prototyping Tool Based on Semantic Building Blocks.	EUROCAST	2001	DBLP DOI BibTeX RDF
15	Pierre-Louis Curien, Hugo Herbelin	The duality of computation.	ICFP	2000	DBLP DOI BibTeX RDF
15	A. Karabanov, J. Korablev, G. Roche	Dyalog-APL application with threads on the basis of ActiveX data objects.	APL	2000	DBLP DOI BibTeX RDF	APL, ActiveX
15	Roswitha Bardohl, Magnus Niemann, Manuel Schwarze	GenGEd: A Development Environment for Visual Languages.	AGTIVE	1999	DBLP DOI BibTeX RDF	algebraic graph transformation, rule- and constraint-based editor, visual language, constraint solving
15	Alexander Leitsch	Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
15	William G. Griswold, Darren C. Atkinson, Collin McCurdy	Fast, Flexible Syntactic Pattern Matching and Processing.	WPC	1996	DBLP DOI BibTeX RDF	lexical, pattern matching, macros, syntactic
15	Yoshihiro Adachi, Koushi Anzai, Kensei Tsuchida, Takeo Yaku	Hierarchical Program Diagram Editor Based on Attributed Graph Grammar.	COMPSAC	1996	DBLP DOI BibTeX RDF
15	Ralf Reetz, Thomas Kropf	Simplifying Deep Embedding: A Formalised Code Generator.	TPHOLs	1994	DBLP DOI BibTeX RDF