Search results for "SML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Yao-Chuan Tsai	Model integration using SML.	Decis. Support Syst.	1998	DBLP DOI BibTeX RDF
25	Kwangkeun Yi, Sukyoung Ryu	Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs.	SAS	1997	DBLP DOI BibTeX RDF
25	Arthur M. Geoffrion	The SML Language for Structured Modeling: Levels 1 and 2.	Oper. Res.	1992	DBLP DOI BibTeX RDF
25	Arthur M. Geoffrion	The SML Language for Structured Modeling: Levels 3 and 4.	Oper. Res.	1992	DBLP DOI BibTeX RDF
25	Elsa L. Gunter	Why we can't have SML-style datatype Declarations in HOL.	TPHOLs	1992	DBLP BibTeX RDF
25	Eric Cooper, Scott Nettles, Indira Subramanian	Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
25	Dimitris Karagiannis, Wolfgang Salzmann	SML: symbolic manipulation language. A graphic-orientid language for the description of a logic interpreter.	Inf. Syst.	1990	DBLP DOI BibTeX RDF
25	Ronald E. Prather, R. Stephen Elliott	SML: A structured musical language.	Comput. Humanit.	1988	DBLP DOI BibTeX RDF
14	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	interoperability, Operational semantics
14	Stefan Berghofer, Lukas Bulwahn, Florian Haftmann	Turning Inductive into Equational Specifications.	TPHOLs	2009	DBLP DOI BibTeX RDF
14	Aditi Barthwal, Michael Norrish	Verified, Executable Parsing.	ESOP	2009	DBLP DOI BibTeX RDF
14	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
14	Jianwei Zhang 0006, Yizheng Ye, Bin-Da Liu	A Current-Recycling Technique for Shadow-Match-Line Sensing in Content-Addressable Memories.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
14	Anders Schack-Nielsen, Carsten Schürmann	Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
14	Vivek Maik, Dohee Cho, Jeongho Shin, Joon Ki Paik	Regularized Restoration Using Image Fusion for Digital Auto-Focusing.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
14	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch	EWD: A metamodeling driven customizable multi-MoC system modeling framework.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II
14	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	POPL	2007	DBLP DOI BibTeX RDF	multi-language systems, interoperability, operational semantics
14	Andrzej Filinski, Kristian Støvring	Inductive reasoning about effectful data types.	ICFP	2007	DBLP DOI BibTeX RDF	abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning
14	George Kuan, David MacQueen	Efficient type inference using ranked type variables.	ML	2007	DBLP DOI BibTeX RDF	algorithm W, compilers, functional programming, type inference, type checking, standard ML
14	Christopher A. Stone, Robert Harper 0001	Extensional equivalence and singleton types.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	equivalence algorithms, logical relations, Singleton types
14	Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury	Formal semantics of weak references.	ISMM	2006	DBLP DOI BibTeX RDF	weak references, garbage collection, formal semantics
14	Scott Owens, Matthew Flatt	From structures and functors to modules and units.	ICFP	2006	DBLP DOI BibTeX RDF	component, structure, module, unit, functor
14	Konstantine Arkoudas	Simplifying Proofs in Fitch-Style Natural Deduction Systems.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Fitch style, proof simplification, denotational proof languages, NDL, assumption bases, natural deduction, detours
14	Hélène Gagliardi, Ollivier Haemmerlé, Nathalie Pernelle, Fatiha Saïs	A Semantic Enrichment of Data Tables Applied to Food Risk Assessment.	Discovery Science	2005	DBLP DOI BibTeX RDF
14	Olin Shivers, Mitchell Wand	Bottom-Up beta-Reduction: Uplinks and lambda-DAGs.	ESOP	2005	DBLP DOI BibTeX RDF
14	Vivek Maik, Jeongho Shin, Joon Ki Paik	Regularized Image Restoration by Means of Fusion for Digital Auto Focusing.	CIS (2)	2005	DBLP DOI BibTeX RDF
14	Vivek Maik, Jeongho Shin, Joon Ki Paik	Pattern Selective Image Fusion for Multi-focus Image Reconstruction.	CAIP	2005	DBLP DOI BibTeX RDF
14	John Longley, Randy Pollack	Reasoning About CBV Functional Programs in Isabelle/HOL.	TPHOLs	2004	DBLP DOI BibTeX RDF
14	Ramón Zatarain, Ryan Stansifer	A model of CPS translation and interpretation.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	compilers, exception handling, continuation-passing style, functional programming languages
14	Achim D. Brucker, Burkhart Wolff	Symbolic Test Case Generation for Primitive Recursive Functions.	FATES	2004	DBLP DOI BibTeX RDF
14	Qiqian Zhang, Miaoliang Zhu, Benye Gui, Shaojun Xu	The Interactive Simulation Environments of OAIR.	IAT	2004	DBLP DOI BibTeX RDF
14	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001	Automatic Generation of Staged Geometric Predicates.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation
14	Iman Poernomo	Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
14	Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger	A Nominal Theory of Objects with Dependent Types.	ECOOP	2003	DBLP DOI BibTeX RDF
14	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling language definitions: the ASF+SDF compiler.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	language definition, maximal subterm sharing, Compilation, term rewriting
14	Kathleen Fisher, Benjamin C. Pierce	Guest editorial.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF
14	Thomas Wiedemann 0001	Open source initiatives for simulation software: next generation simulation environments founded on open source software and XML-based standard interfaces.	WSC	2002	DBLP DOI BibTeX RDF
14	Danny Dubé, Marc Feeley	A demand-driven adaptive type analysis.	ICFP	2002	DBLP DOI BibTeX RDF	static analysis, type analysis, demand-driven analysis
14	Matthew Fluet, Stephen Weeks	Contification Using Dominators.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
14	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001	Automatic Generation of Staged Geometric Predicates.	ICFP	2001	DBLP DOI BibTeX RDF
14	Perry Cheng, Guy E. Blelloch	A Parallel, Real-Time Garbage Collector.	PLDI	2001	DBLP DOI BibTeX RDF
14	Andrew Cook, Andrew Ireland, Greg Michaelson	Higher Order Function Synthesis Through Proof Planning.	ASE	2001	DBLP DOI BibTeX RDF
14	Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese	MetaKlaim: Meta-programming for Global Computing.	SAIG	2001	DBLP DOI BibTeX RDF
14	Yanbing Li, Miriam Leeser	HML, a novel hardware description language and its translation to VHDL.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
14	Henry Cejtin, Suresh Jagannathan, Stephen Weeks	Flow-Directed Closure Conversion for Typed Languages.	ESOP	2000	DBLP DOI BibTeX RDF
14	Limsoon Wong	The functional guts of the Kleisli query system.	ICFP	2000	DBLP DOI BibTeX RDF
14	Cristiano Calcagno, Eugenio Moggi	Multi-Stage Imperative Languages: A Conservative Extension Result.	SAIG	2000	DBLP DOI BibTeX RDF
14	Koichi Takahashi, Masami Hagiya	Proving as Editing HOL Tactics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Tactic-Based Theorem Prover, User interface, Higher Order Logic, Emacs
14	Hongwei Xi	Dead Code Elimination through Dependent Types.	PADL	1999	DBLP DOI BibTeX RDF
14	Frank Pfenning, Carsten Schürmann	System Description: Twelf - A Meta-Logical Framework for Deductive Systems.	CADE	1999	DBLP DOI BibTeX RDF
14	Bratin Saha, Zhong Shao	Optimal Type Lifting.	Types in Compilation	1998	DBLP DOI BibTeX RDF
14	Lorenz Huelsbergen, Phil Winterbottom	Very Concurrent Mark-&-Sweep Garbage Collection without Fine-Grain Synchronization.	ISMM	1998	DBLP DOI BibTeX RDF
14	Mark E. Woodcock	The wHOLe System.	FM-Trends	1998	DBLP DOI BibTeX RDF
14	Nick Benton, Andrew Kennedy, George Russell	Compiling Standard ML to Java Bytecodes.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language, Java
14	Zhong Shao, Christopher League, Stefan Monnier	Implementing Typed Intermediate Languages.	ICFP	1998	DBLP DOI BibTeX RDF
14	Judicaël Courant	An Applicative Module Calculus.	TAPSOFT	1997	DBLP DOI BibTeX RDF
14	John Launchbury, Amr Sabry	Monadic State: Axiomatization and Type Safety.	ICFP	1997	DBLP DOI BibTeX RDF	Haskell
14	Matthias Blume, Andrew W. Appel	Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.	ICFP	1997	DBLP DOI BibTeX RDF
14	Peter Thiemann 0001	Implementing Memoization for Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF	incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
14	Stephen J. Sullivan, Benjamin G. Zorn	Numerical Analysis Using Nonprocedural Paradigms.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	experimental languages, benchmarks, programming languages, linear algebra, sparse matrices, Gaussian elimination
14	Elsa L. Gunter, Leonid Libkin	Interfacing HOL90 with a Functional Database Query Language.	TPHOLs	1995	DBLP DOI BibTeX RDF
14	Sandip K. Biswas	Higher-Order Functors with Transparent Signatures.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
14	Shree K. Nayar, Yasuo Nakagawa	Shape from Focus.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	shape from focus method, sum-modified-Laplacian operator, image focus quality, depth estimation algorithm, optical microscope, visual inspection tasks, robustness, image sequences, accuracy, image texture
14	Darko Stefanovic, J. Eliot B. Moss	Characterization of Object Behaviour in Standard ML of New Jersey.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Standard ML
14	Mark D. Aagaard, Miriam Leeser	Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification.	CAV	1992	DBLP DOI BibTeX RDF
14	Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. C. Sekar 0001	Fast Parallel Implementation of Lazy Languages - The EQUALS Experience.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
14	Deryck Forsyth Brown, Hermano P. Moura, David A. Watt	Actress: An Action Semantics Directed Compiler Generator.	CC	1992	DBLP DOI BibTeX RDF
14	David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams	Orbit: an optimizing compiler for scheme (with retrospective)	Best of PLDI	1986	DBLP DOI BibTeX RDF